• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Learning Relational Dynamics from State Transition

Research Project

Project/Area Number 17H00763
Research Category

Grant-in-Aid for Scientific Research (A)

Allocation TypeSingle-year Grants
Section一般
Research Field Intelligent informatics
Research InstitutionNational Institute of Informatics

Principal Investigator

Inoue Katsumi  国立情報学研究所, 情報学プリンシプル研究系, 教授 (10252321)

Co-Investigator(Kenkyū-buntansha) 坂間 千秋  和歌山大学, システム工学部, 教授 (20273873)
沖本 天太  神戸大学, 海事科学研究科, 准教授 (10632432)
Nicolas Schwind  国立研究開発法人産業技術総合研究所, 情報・人間工学領域, 主任研究員 (60646397)
Project Period (FY) 2017-04-01 – 2021-03-31
Project Status Completed (Fiscal Year 2021)
Budget Amount *help
¥43,160,000 (Direct Cost: ¥33,200,000、Indirect Cost: ¥9,960,000)
Fiscal Year 2020: ¥10,400,000 (Direct Cost: ¥8,000,000、Indirect Cost: ¥2,400,000)
Fiscal Year 2019: ¥10,920,000 (Direct Cost: ¥8,400,000、Indirect Cost: ¥2,520,000)
Fiscal Year 2018: ¥10,270,000 (Direct Cost: ¥7,900,000、Indirect Cost: ¥2,370,000)
Fiscal Year 2017: ¥11,570,000 (Direct Cost: ¥8,900,000、Indirect Cost: ¥2,670,000)
Keywords推論 / 機械学習 / 知識表現 / 関係学習 / 表現学習 / 状態遷移 / ダイナミクス学習 / 探索・論理・推論アルゴリズム / 制約最適化
Outline of Final Research Achievements

To understand the dynamics of dynamic systems, this study explores methods for learning the transition rules behind the observed state transitions. To this end, we set up the following sub-goals: development of theories for learning relational dynamics, implementation of scalable methods to learn relational dynamics, and application to challenging problems in dynamic environments. On the theoretical side, we extended learning from interpreted transition (LFIT) to handle multi-valued and continuous domains as well as asynchronous updates. On the implementation side, we enabled learning using linear-algebraic methods and neural networks. On the application side, we studied learning in biological systems such as gene regulatory networks, and robustness in agent systems such as team formation and alliance structure formation.

Academic Significance and Societal Importance of the Research Achievements

学術的には、関係ダイナミクス学習理論の構築、およびスケーラブルな関係ダイナミクス学習方式の開発を通して、ダイナミック制約で表現される系を学習するための計算基盤を確立した。また生物学・社会学・工学等に関係する多くのチャレンジ問題において、ダイナミック環境に関係するレジリエントなシステムの設計と応用について多くの知見を得ることができた。社会的には、本研究をより一般化することで、ノイズがある現実世界の環境から機械学習のためのモデルを構築し、記号化された知識を得ることでその上での推論結果を意思決定・問題解決・質問応答に適用することができるため、次世代AIシステムにとって重要な技術となるものである。

Report

(5 results)
  • 2021 Final Research Report ( PDF )
  • 2020 Annual Research Report
  • 2019 Annual Research Report
  • 2018 Annual Research Report
  • 2017 Annual Research Report
  • Research Products

    (122 results)

All 2021 2020 2019 2018 2017 Other

All Int'l Joint Research (11 results) Journal Article (63 results) (of which Int'l Joint Research: 43 results,  Peer Reviewed: 61 results,  Open Access: 30 results) Presentation (40 results) (of which Int'l Joint Research: 13 results,  Invited: 3 results) Book (1 results) Remarks (1 results) Funded Workshop (6 results)

  • [Int'l Joint Research] LS2N / Ecole Centrale de Nantes/CRIL CNRS / University of Artois/LIP6, Sorbonne University(フランス)

    • Related Report
      2020 Annual Research Report
  • [Int'l Joint Research] LS2N / Ecole Centrale de Nantes/CRIL CNRS / University of Artois/LIP6, Sorbonne University(フランス)

    • Related Report
      2019 Annual Research Report
  • [Int'l Joint Research] Technische Universitaet Wien(オーストリア)

    • Related Report
      2019 Annual Research Report
  • [Int'l Joint Research] LS2N / Ecole Centrale de Nantes/CNRS / Universite d'Artois/Sorbonne Universite/ LIP6(フランス)

    • Related Report
      2018 Annual Research Report
  • [Int'l Joint Research] University of Potsdam(ドイツ)

    • Related Report
      2018 Annual Research Report
  • [Int'l Joint Research] Ecole Polytechnique de Montreal(カナダ)

    • Related Report
      2018 Annual Research Report
  • [Int'l Joint Research] TU Wien(オーストリア)

    • Related Report
      2018 Annual Research Report
  • [Int'l Joint Research] Imperial College London(英国)

    • Related Report
      2018 Annual Research Report
  • [Int'l Joint Research] LS2N / Ecole Centrale de Nantes/CRIL CNRS / Universite d'Artois(フランス)

    • Related Report
      2017 Annual Research Report
  • [Int'l Joint Research] University of Potsdam(ドイツ)

    • Related Report
      2017 Annual Research Report
  • [Int'l Joint Research] Ecole Polytechnique de Montreal(カナダ)

    • Related Report
      2017 Annual Research Report
  • [Journal Article] On the computation of probabilistic coalition structures2021

    • Author(s)
      Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis
    • Journal Title

      Autonomous Agents and Multi-Agent Systems

      Volume: 35:14 Issue: 1 Pages: 1-38

    • DOI

      10.1007/s10458-021-09498-7

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Inferring Agents’ Goals from Observing Successful Traces2021

    • Author(s)
      Guillaume Lorthioir, Katsumi Inoue, Gauvain Bourgne
    • Journal Title

      Applied Sciences

      Volume: 11(9) Issue: 9 Pages: 4116-4116

    • DOI

      10.3390/app11094116

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Resilient Team Formation with Stabilisability of Agent Networks for Task Allocation2021

    • Author(s)
      Jose Barambones, Florian Richoux, Ricardo Imbert, Katsumi Inoue
    • Journal Title

      ACM Transactions on Autonomous and Adaptive Systems

      Volume: 15(3) Issue: 3 Pages: 1-24

    • DOI

      10.1145/3463368

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Design Adaptive AI for RTS Game by Learning Player's Build Order2021

    • Author(s)
      Guillaume Lorthioir, Katsumi Inoue
    • Journal Title

      Proceedings of the 29th International Joint Conference on Artificial Intelligence (IJCAI 2020; online, January 7-15, 2021)

      Volume: - Pages: 5194-5195

    • DOI

      10.24963/ijcai.2020/737

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Partial Robustness in Team Formation: Bridging the Gap between Robustness and Resilience2021

    • Author(s)
      Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Jean-Marie Lagniez
    • Journal Title

      Proceedings of the 20th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2021; online)

      Volume: - Pages: 1154-1162

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Interpretable Utility-Based Models Applied to the FightingICE Platform2021

    • Author(s)
      Tianyu Chen, Florian Richoux, Javier M. Torres, Katsumi Inoue
    • Journal Title

      2021 IEEE Conference on Games (CoG 2021; Copenhagen, Denmark, August 17-20)

      Volume: - Pages: 1-8

    • DOI

      10.1109/cog52621.2021.9619121

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Boolean Network Learning in Vector Spaces for Genome-wide Network Analysis2021

    • Author(s)
      Taisuke Sato, Ryosuke Kojima
    • Journal Title

      Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021, Online event)

      Volume: - Pages: 560-569

    • DOI

      10.24963/kr.2021/53

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Parameterized Agent-Type based Coalition Structure Generation Problem2020

    • Author(s)
      加藤 浩晃、沖本 天太、平山 勝敏
    • Journal Title

      電子情報通信学会論文誌D 情報・システム

      Volume: J103-D Issue: 12 Pages: 853-859

    • DOI

      10.14923/transinfj.2020JDT0004

    • ISSN
      1880-4535, 1881-0225
    • Year and Date
      2020-12-01
    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Computational Intractability Law Molds the Topology of Biological Networks2020

    • Author(s)
      AAli A. Atiia, Corbin Hopper, Katsumi Inoue, Silvia Vidal, Jerome Waldispuehl
    • Journal Title

      Applied Network Science

      Volume: 5(1) Issue: 1

    • DOI

      10.1007/s41109-020-00268-0

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Epistemic Argumentation Framework: Theory and Computation2020

    • Author(s)
      Chiaki Sakama, Tran Cao Son
    • Journal Title

      Journal of Artificial Intelligence Research

      Volume: 69 Pages: 1103-1126

    • DOI

      10.1613/jair.1.12121

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Two approximation algorithms for probabilistic coalition structure generation with quality bound2020

    • Author(s)
      Matsumura Kouki、Kodric Bojana、Okimoto Tenda、Hirayama Katsutoshi
    • Journal Title

      Autonomous Agents and Multi-Agent Systems

      Volume: 34 Issue: 1

    • DOI

      10.1007/s10458-020-09449-8

    • NAID

      120006818757

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Logical inference as cost minimization in vector spaces2020

    • Author(s)
      Taisuke Sato, Ryosuke Kojima
    • Journal Title

      In: Amal El Fallah Seghrouchni, David Sarne (Eds.), Artificial Intelligence, IJCAI 2019 International Workshops, Revised Selected Best Papers, Lecture Notes in Artificial Intelligence

      Volume: 12158 Pages: 239-252

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Learning Logic Programs from Noisy State Transition Data2020

    • Author(s)
      Yin Jun Phua, Katsumi Inoue
    • Journal Title

      In: Dimitar Kazakov (ed.), Inductive Logic Programming: Proceedings of the 29th International Conference (ILP 2019), Lecture Notes in Artificial Intelligence

      Volume: 11770 Pages: 72-80

    • DOI

      10.1007/978-3-030-49210-6_7

    • NAID

      130007658348

    • ISBN
      9783030492090, 9783030492106
    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A New Algorithm for Computing Least Generalization of a Set of Atoms2020

    • Author(s)
      Hien D. Nguyen, Chiaki Sakama
    • Journal Title

      In: Dimitar Kazakov (ed.), Inductive Logic Programming: Proceedings of the 29th International Conference (ILP 2019), Lecture Notes in Artificial Intelligence

      Volume: 11770 Pages: 81-97

    • DOI

      10.1007/978-3-030-49210-6_8

    • ISBN
      9783030492090, 9783030492106
    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Static Analysis and Stochastic Search for Reachability Problem2020

    • Author(s)
      Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
    • Journal Title

      Proceedings of the 9th International Workshop on Static Analysis and Systems Biology, Electronic Notes in Theoretical Computer Science

      Volume: 350 Pages: 139-158

    • DOI

      10.1016/j.entcs.2020.06.008

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Computational Modeling and Simulation of Viral Load Kinetics in SARS-CoV-2 Replication2020

    • Author(s)
      Mitsuhiro Odaka, Katsumi Inoue
    • Journal Title

      Proceedings of the 11th International Conference on Computational Systems-Biology and Bioinformatics (CSBio 2020; online)

      Volume: - Pages: 75-82

    • DOI

      10.1145/3429210.3429214

    • Related Report
      2020 Annual Research Report
    • Peer Reviewed
  • [Journal Article] From 3-Valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces2020

    • Author(s)
      Taisuke Sato, Chiaki Sakama, Katsumi Inoue
    • Journal Title

      Proceedings of the 12th International Conference on Agents and Artificial Intelligence (ICAART 2020)

      Volume: 2 Pages: 758-765

    • DOI

      10.5220/0009093407580765

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Learning Logic Programs from Noisy State Transition Data2020

    • Author(s)
      Yin Jun Phua, Katsumi Inoue
    • Journal Title

      Proceedings of the 29th International Conference on Inductive Logic Programming (ILP 2019), Lecture Notes in Artificial Intelligence

      Volume: -

    • NAID

      130007658348

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] A New Algorithm for Computing Least Generalization of a Set of Atoms2020

    • Author(s)
      Hien D. Nguyen, Chiaki Sakama
    • Journal Title

      Proceedings of the 29th International Conference on Inductive Logic Programming (ILP 2019), Lecture Notes in Artificial Intelligence

      Volume: -

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Learning Inference Rules from Data2019

    • Author(s)
      Chiaki Sakama, Katsumi Inoue, Tony Ribeiro
    • Journal Title

      Kuenstliche Intelligenz

      Volume: 33(3) Issue: 3 Pages: 267-278

    • DOI

      10.1007/s13218-019-00597-y

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] 推論とAIプログラミング2019

    • Author(s)
      井上 克巳, 坂間 千秋, 佐藤 泰介
    • Journal Title

      人工知能学会誌

      Volume: 34(5) Pages: 703-713

    • Related Report
      2019 Annual Research Report
  • [Journal Article] Disjunctive Abduction2019

    • Author(s)
      Katsumi Inoue, Chiaki Sakama
    • Journal Title

      New Generation Computing

      Volume: 37(2) Issue: 2 Pages: 219-243

    • DOI

      10.1007/s00354-019-00059-x

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] From Fifth Generation Computing to Skill Science: A Biographical Essay of Koichi Furukawa2019

    • Author(s)
      Tomonobu Ozaki, Randy Goebel, Katsumi Inoue
    • Journal Title

      New Generation Computing

      Volume: 37(2) Issue: 2 Pages: 141-158

    • DOI

      10.1007/s00354-019-00058-y

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge2019

    • Author(s)
      Yin Jun Phua, Tony Ribeiro, Katsumi Inoue
    • Journal Title

      Journal of Applied Logics

      Volume: 6(4) Pages: 695-708

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Identifying Belief Sequences in a Network of Communicating Agents2019

    • Author(s)
      Gauvain Bourgne, Yutaro Totsuka, Nicolas Schwind, Katsumi Inoue
    • Journal Title

      Proceedings of the 22nd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA'19), Lecture Notes in Artificial Intelligence

      Volume: 11873 Pages: 370-386

    • DOI

      10.1007/978-3-030-33792-6_23

    • ISBN
      9783030337919, 9783030337926
    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Ordering Argumentation Frameworks2019

    • Author(s)
      Chiaki Sakama, Katsumi Inoue
    • Journal Title

      Proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2019), Lecture Notes in Artificial Intelligence

      Volume: 11726 Pages: 87-98

    • DOI

      10.1007/978-3-030-29765-7_8

    • ISBN
      9783030297640, 9783030297657
    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Epistemic Argumentation Framework2019

    • Author(s)
      Chiaki Sakama, Tran Cao Son
    • Journal Title

      Proceedings of the 16th Pacific Rim International Conference on Artificial Intelligence (PRICAI 2019), Lecture Notes in Artificial Intelligence

      Volume: 11670 Pages: 718-732

    • DOI

      10.1007/978-3-030-29908-8_56

    • ISBN
      9783030299071, 9783030299088
    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Meta-Interpretive Learning Using HEX-Programs2019

    • Author(s)
      Tobias Kaminski, Thomas Eiter, Katsumi Inoue
    • Journal Title

      Proceedings of the 28th International Joint Conference on Artificial Intelligence (IJCAI-19)

      Volume: - Pages: 6186-6190

    • DOI

      10.24963/ijcai.2019/860

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] What Has Been Said? Identifying the Change Formula in a Belief Revision Scenario2019

    • Author(s)
      Nicolas Schwind, Katsumi Inoue, Sebastien Konieczny, Jean-Marie Lagniez, Pierre Marquis
    • Journal Title

      The 28th International Joint Conference on Artificial Intelligence (IJCAI'19)

      Volume: - Pages: 1865-1871

    • DOI

      10.24963/ijcai.2019/258

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Identifying Influential Variables in CSP2019

    • Author(s)
      Tenda Okimoto, Katsutoshi Hirayama
    • Journal Title

      Proceedings of the 20th International Symposium on Advanced Intelligent Systems

      Volume: - Pages: 320-325

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Resilient Nurse Scheduling Problem2019

    • Author(s)
      Motoki Yoshida, Tenda Okimoto, Katsutoshi Hirayama
    • Journal Title

      Proceedings of International Symposium on Scheduling 2019

      Volume: - Pages: 162-167

    • Related Report
      2019 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Computational Intractability Law Molds the Topology of Biological Networks2019

    • Author(s)
      Ali A Atiia, Corbin Hopper, Katsumi Inoue, Silvia Vidal, Jerome Waldispuh
    • Journal Title

      bioRxiv

      Volume: 510495

    • DOI

      10.1101/510495

    • Related Report
      2018 Annual Research Report
    • Open Access / Int'l Joint Research
  • [Journal Article] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2018

    • Author(s)
      Mutsunori Banbara, Katsumi Inoue, Benjamin Kaufmann, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura, Philipp Wanko
    • Journal Title

      Annals of Operations Research

      Volume: - Issue: 1 Pages: 3-37

    • DOI

      10.1007/s10479-018-2757-7

    • Related Report
      2019 Annual Research Report 2018 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Assessing the Resilience of Stochastic Dynamic Systems Under Partial Observability2018

    • Author(s)
      Jacopo Panerati, Nicolas Schwind, Stefan Zeltner, Katsumi Inoue, Giovanni Beltrame
    • Journal Title

      PLoS ONE

      Volume: 13(8): e0202337 Issue: 8 Pages: 1-21

    • DOI

      10.1371/journal.pone.0202337

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning2018

    • Author(s)
      Tobias Kaminski, Thomas Eiter, Katsumi Inoue
    • Journal Title

      Theory and Practice of Logic Programming

      Volume: 18(3-4) Issue: 3-4 Pages: 571-588

    • DOI

      10.1017/s1471068418000261

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Computing Logic Programming Semantics in Linear Algebra2018

    • Author(s)
      Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue
    • Journal Title

      In: Proceedings of the 12th International Conference on Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2018), Lecture Notes in Computer Science

      Volume: 11248 Pages: 32-48

    • DOI

      10.1007/978-3-030-03014-8_3

    • ISBN
      9783030030131, 9783030030148
    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Identifying Goals of Agents by Learning from Observations2018

    • Author(s)
      Guillaume Lorthioir, Gauvain Bourgne, Katsumi Inoue
    • Journal Title

      In: Proceedings of the 12th International Conference on Multi-disciplinary Trends in Artificial Intelligence (MIWAI 2018), Lecture Notes in Computer Science

      Volume: 11248 Pages: 125-138

    • DOI

      10.1007/978-3-030-03014-8_11

    • ISBN
      9783030030131, 9783030030148
    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Robust Coalition Structure Generation2018

    • Author(s)
      Tenda Okimoto, Nicolas Schwind, Emir Demirovic, Katsumi Inoue, Pierre Marquis
    • Journal Title

      In: Proceedings of the 21st International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2018), Lecture Notes in Computer Sciencei

      Volume: 11224 Pages: 140-157

    • DOI

      10.1007/978-3-030-03098-8_9

    • ISBN
      9783030030971, 9783030030988
    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Probabilistic Coalition Structure Generation2018

    • Author(s)
      Nicolas Schwind, Tenda Okimoto, Katsumi Inoue, Katsutoshi Hirayama, Jean-Marie Lagniez, Pierre Marquis
    • Journal Title

      In: Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018).

      Volume: 0 Pages: 663-664

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Partial Evaluation of Logic Programs in Vector Spaces2018

    • Author(s)
      Chiaki Sakama, Hien D. Nguyen, Taisuke Sato, Katsumi Inoue
    • Journal Title

      In: Proceedings of the 11th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018), CoRR abs

      Volume: 1811.11435 Pages: 1-14

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Learning Dynamics with Synchronous, Asynchronous and General Semantics2018

    • Author(s)
      Tony Ribeiro, Maxime Folschette, Morgan Magnin, Olivier F. Roux, Katsumi Inoue
    • Journal Title

      In: Proceedings of the 28th International Conference on Inductive Logic Programming (ILP 2018), Lecture Notes in Computer Science

      Volume: 11105 Pages: 118-140

    • DOI

      10.1007/978-3-319-99960-9_8

    • ISBN
      9783319999593, 9783319999609
    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Efficiently Encoding Meta-Interpretive Learning by Answer Set Programming2018

    • Author(s)
      Tobias Kaminski, Thomas Eiter, Katsumi Inoue
    • Journal Title

      The 28th International Conference on Inductive Logic Programming (ILP 2018)

      Volume: 0

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Using Reachability Properties of Logic Program for Revising Biological Models2018

    • Author(s)
      Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier Roux, Katsumi Inoue
    • Journal Title

      The 28th International Conference on Inductive Logic Programming (ILP 2018)

      Volume: 0

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Static Analysis and Stochastic Search for Reachability Problem2018

    • Author(s)
      Xinwei Chai, Tony Ribeiro, Morgan Magnin, Olivier Roux, Katsumi Inoue
    • Journal Title

      Static Analysis in Systems Biology (SASB 2018), affiliated with Static Analysis Symposium

      Volume: 0

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Learning Representation of Relational Dynamics with Delays and Refining with Prior Knowledge2018

    • Author(s)
      Yin Jun Phua, Tony Ribeiro, Katsumi Inoue
    • Journal Title

      The 13th International Workshop on Neural-Symbolic Learning and Reasoning (NeSy 2018)

      Volume: 0

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Abducing Relations in Continuous Spaces2018

    • Author(s)
      Taisuke Sato, Katsumi Inoue, Chiaki Sakama
    • Journal Title

      In: Proceedings of the 27th International Joint Conference on Artificial Intelligence (IJCAI 2018)

      Volume: 0 Pages: 1956-1962

    • DOI

      10.24963/ijcai.2018/270

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Learning Commonsense Knowledge Through Interactive Dialogue2018

    • Author(s)
      Benjamin Wu, Alessandra Russo, Mark Law, Katsumi Inoue
    • Journal Title

      Technical Communications of the 34th International Conference on Logic Programming (ICLP 2018), OASICS

      Volume: 64(12) Pages: 1-12

    • DOI

      10.4230/OASICS.ICLP.2018.12

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Recoverable Team Formation: Building Teams Resilient to Change2018

    • Author(s)
      Emir Demirovic, Nicolas Schwind, Tenda Okimoto, Katsumi Inoue
    • Journal Title

      In: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)

      Volume: 0 Pages: 1362-1370

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Multi-Objective Distributed Pseudo-Tree Optimization2018

    • Author(s)
      Maxime Clement, Tenda Okimoto, Katsumi Inoue
    • Journal Title

      In: Proceedings of the 17th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2018)

      Volume: 0 Pages: 1903-1905

    • Related Report
      2018 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Solving Problems on a Knowledge Model of Operators and Application2018

    • Author(s)
      Hien Nguyen, Nhon Do, Vuong Pham, Katsumi Inoue
    • Journal Title

      International Journal of Digital Enterprise Technology

      Volume: 1(1-2) Issue: 1/2 Pages: 37-59

    • DOI

      10.1504/ijdet.2018.092632

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Learning Programs with Continuous Domains from State Transitions2018

    • Author(s)
      Tony Ribeiro, Sophie Tourret, Maxime Folschette, Morgan Magnin, Domenico Borzacchiello, Francisco Chinesta, Olivier Roux, Katsumi Inoue
    • Journal Title

      In: Inductive Logic Programming: Revised Selected Papers from the 27th International Conference (ILP 2017), Lecture Notes in Computer Science

      Volume: 10759 Pages: 124-139

    • DOI

      10.1007/978-3-319-78090-0_9

    • ISBN
      9783319780894, 9783319780900
    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Learning Logic Program Representation for Delayed Systems with Limited Training Data2018

    • Author(s)
      Yin Jun Phua, Sophie Tourret, Katsumi Inoue
    • Journal Title

      In: Late Breaking Papers of the 27th International Conference on Inductive Logic Programming (ILP 2017), CEUR Workshop Proceedings

      Volume: 2085 Pages: 27-33

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Distributed Pareto Local Search for Multi-Objective DCOPs2017

    • Author(s)
      Maxime Clement, Tenda Okimoto, Katsumi Inoue
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E100.D Issue: 12 Pages: 2897-2905

    • DOI

      10.1587/transinf.2016AGP0006

    • NAID

      130006236637

    • ISSN
      0916-8532, 1745-1361
    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access
  • [Journal Article] Special Issue on Inductive Logic Programming2017

    • Author(s)
      Katsumi Inoue, Hayato Ohwada, Akihiro Yamamoto
    • Journal Title

      Machine Learning

      Volume: 106(12) Issue: 12 Pages: 1863-1865

    • DOI

      10.1007/s10994-017-5679-8

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Relational Reinforcement Learning for Planning with Exogenous Effects2017

    • Author(s)
      David Martinez, Guillem Alenya, Carme Torras, Tony Ribeiro, Katsumi Inoue
    • Journal Title

      Journal of Machine Learning Research

      Volume: 18(78) Pages: 1-78

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] Representing Argumentation Frameworks in Answer Set Programming2017

    • Author(s)
      Chiaki Sakama
    • Journal Title

      Fundamenta Informaticae

      Volume: 155(3) Issue: 3 Pages: 261-292

    • DOI

      10.3233/fi-2017-1585

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Balanced Clustering Based Decomposition Applied to Master Thesis Defense Timetabling Problem2017

    • Author(s)
      Huynh Thanh Trung, Pham Quang Dung, Emir Demirovic, Maxime Clement, Katsumi Inoue
    • Journal Title

      In: Proceedings of the 8th Multidisciplinary International Conference on Scheduling: Theory and Applications (MISTA 2017)

      Volume: 0 Pages: 214-228

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Journal Article] A Causal Theory of Speech Acts2017

    • Author(s)
      Chiaki Sakama
    • Journal Title

      In: Proceedings of the 6th International Workshop on Logic, Rationality, and Interaction (LORI 2017), Lecture Notes in Computer Science

      Volume: 10455 Pages: 658-663

    • DOI

      10.1007/978-3-662-55665-8_48

    • ISBN
      9783662556641, 9783662556658
    • Related Report
      2017 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Linear Algebraic Characterization of Logic Programs2017

    • Author(s)
      Chiaki Sakama, Katsumi Inoue, Taisuke Sato
    • Journal Title

      In: Proceedings of the 10th International Conference on Knowledge Science, Engineering and Management: (KSEM 2017), Lecture Notes in Artificial Intelligence

      Volume: 10412 Pages: 520-533

    • DOI

      10.1007/978-3-319-63558-3_44

    • ISBN
      9783319635576, 9783319635583
    • Related Report
      2017 Annual Research Report
    • Peer Reviewed
  • [Journal Article] Modeling Trans-Device Content Experience and Knowledge Development for Detection of TV Audiences2017

    • Author(s)
      Kotaro Okazaki, Katsumi Inoue
    • Journal Title

      In: Proceedings of the 19th IEEE International Conference on Business Informatics (CBI 2017)

      Volume: 1 Pages: 53-61

    • DOI

      10.1109/cbi.2017.87

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed
  • [Journal Article] catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming2017

    • Author(s)
      Mutsunori Banbara, Katsumi Inoue, Hiromasa Kaneyuki, Tenda Okimoto, Torsten Schaub, Takehide Soh, Naoyuki Tamura
    • Journal Title

      Proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017)

      Volume: 10377 Pages: 265-278

    • DOI

      10.1007/978-3-319-61660-5_24

    • ISBN
      9783319616599, 9783319616605
    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Learning Human-Understandable Description of Dynamical Systems from Feed-Forward Neural Networks2017

    • Author(s)
      Sophie Tourret, Enguerrand Gentet, Katsumi Inoue
    • Journal Title

      In: Advances in Neural Networks: Proceedings of the 14th International Symposium (ISNN 2017), Lecture Notes in Computer Science

      Volume: 10261 Pages: 483-492

    • DOI

      10.1007/978-3-319-59072-1_57

    • ISBN
      9783319590714, 9783319590721
    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Int'l Joint Research
  • [Journal Article] Learning from Interpretation Transition using Feed-Forward Neural Networks2017

    • Author(s)
      Enguerrand Gentet, Sophie Tourret, Katsumi Inoue
    • Journal Title

      In: Late Breaking Papers of the 26th International Conference on Inductive Logic Programming (ILP 2016), CEUR Workshop Proceedings

      Volume: 1865 Pages: 27-33

    • Related Report
      2017 Annual Research Report
    • Peer Reviewed / Open Access / Int'l Joint Research
  • [Presentation] 解集合プログラミングによる決定木アンサンブルからのルール抽出2020

    • Author(s)
      竹村 彰浩
    • Organizer
      第34回人工知能学会全国大会 (JSAI 2020)
    • Related Report
      2020 Annual Research Report
  • [Presentation] 説明可能な論理規則のグラフ埋め込みによる学習2020

    • Author(s)
      ポア インジュン
    • Organizer
      第34回人工知能学会全国大会 (JSAI 2020)
    • Related Report
      2020 Annual Research Report
  • [Presentation] Inferring Player’s Strategy to Design Adaptive Agents in RTS Game2020

    • Author(s)
      Guillaume Lorthioir
    • Organizer
      The 34th Annual Conference of the Japanese Society for Artificial Intelligence (JSAI 2020 International Session)
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] U12バスケットボールにおけるブレーク数最小化問題2020

    • Author(s)
      井上 隆太
    • Organizer
      第34回人工知能学会全国大会 (JSAI 2020)
    • Related Report
      2020 Annual Research Report
  • [Presentation] 患者の症状と看護師の医療スキルを考慮したナース・スケジューリング問題2020

    • Author(s)
      吉田 基輝
    • Organizer
      第18回科学技術フォーラム
    • Related Report
      2020 Annual Research Report
  • [Presentation] 記号推論と科学2020

    • Author(s)
      井上 克巳
    • Organizer
      JST-CRDS 俯瞰セミナーシリーズ「機械学習と科学」
    • Related Report
      2020 Annual Research Report
    • Invited
  • [Presentation] 例による信念改訂関数の推論 (in English)2020

    • Author(s)
      戸塚 悠太郎
    • Organizer
      人工知能基本問題研究会(第112回)
    • Related Report
      2020 Annual Research Report
  • [Presentation] Rule Extraction from Decision Tree Ensembles by Answer Set Programming2020

    • Author(s)
      Akihiro Takemura
    • Organizer
      The 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020; online)
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] GULA: Learning (from any) Semantics of a Biological Regulatory Network2020

    • Author(s)
      Maxime Folschette, Tony Ribeiro
    • Organizer
      Journees Bioss-IA (4eme edition), Groupe de travail sur la biologie systemique symbolique, France (virtual)
    • Related Report
      2020 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 解釈遷移からの学習を用いた遺伝子制御ネットワーク推論手法の開発2020

    • Author(s)
      池田 光
    • Organizer
      人工知能学会 第112回人工知能基本問題研究会 (SIG-FPAI)
    • Related Report
      2019 Annual Research Report
  • [Presentation] Inducing belief revision operator from examples2020

    • Author(s)
      戸塚 悠太郎
    • Organizer
      人工知能学会 第112回人工知能基本問題研究会 (SIG-FPAI)
    • Related Report
      2019 Annual Research Report
  • [Presentation] CEGARと反例の共有を用いたSAT型CSPソルバーの並列化方法の考察2020

    • Author(s)
      宋 剛秀
    • Organizer
      人工知能学会 第112回人工知能基本問題研究会 (SIG-FPAI)
    • Related Report
      2019 Annual Research Report
  • [Presentation] 解集合ソルバーを用いた様相命題論理の充足可能性判定2020

    • Author(s)
      飯野 有軌
    • Organizer
      日本ソフトウェア科学会 第22回プログラミングおよびプログラミング言語ワークショップ (PPL 2020)
    • Related Report
      2019 Annual Research Report
  • [Presentation] Scalable Learning of Logic Programs with Neural Networks2019

    • Author(s)
      Yin Jun Phua
    • Organizer
      The 3rd International Workshop on Symbolic-Neural Learning (SNL 2019)
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Identifying Influential Variables in CSP2019

    • Author(s)
      Tenda Okimoto
    • Organizer
      The 20th International Symposium on Advanced Intelligent Systems
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Resilient Nurse Scheduling Problem2019

    • Author(s)
      Motoki Yoshida
    • Organizer
      International Symposium on Scheduling 2019
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] エージェントのタイプを用いた特性関数の簡略表記法に基づく制限付き提携構造形成問題2019

    • Author(s)
      加藤 浩晃
    • Organizer
      第18回科学技術フォーラム
    • Related Report
      2019 Annual Research Report
  • [Presentation] U12バスケットボールにおけるリーグ戦スケジューリング2019

    • Author(s)
      沖本 天太
    • Organizer
      第33回人工知能学会全国大会 (JSAI 2019)
    • Related Report
      2019 Annual Research Report
  • [Presentation] ノイズを含む遷移データからの論理プログラム学習2019

    • Author(s)
      ポア インジュン
    • Organizer
      第33回人工知能学会全国大会 (JSAI 2019)
    • Related Report
      2019 Annual Research Report
  • [Presentation] Inferring Agent's Goals from Observing Successful Traces2019

    • Author(s)
      Guillaume Lorthioir
    • Organizer
      The 33th Annual Conference of the Japanese Society for Artificial Intelligence, 2019 (JSAI 2019)
    • Related Report
      2019 Annual Research Report
    • Int'l Joint Research
  • [Presentation] エージェントのタイプに基づく制限付き提携構造形成問題2019

    • Author(s)
      加藤 浩晃
    • Organizer
      情報処理学会第81回全国大会 (IPSJ 2019)
    • Related Report
      2018 Annual Research Report
  • [Presentation] 不確実性を考慮したタイプ付き提携構造形成アルゴリズム2019

    • Author(s)
      藤本 真育
    • Organizer
      情報処理学会第81回全国大会 (IPSJ 2019)
    • Related Report
      2018 Annual Research Report
  • [Presentation] スポーツ・スケジューリング:ミニバスケットボールにおける戦作成問題2019

    • Author(s)
      西村 一輝
    • Organizer
      情報処理学会第81回全国大会 (IPSJ 2019)
    • Related Report
      2018 Annual Research Report
  • [Presentation] 0-1 整数計画法によるレジリエントなナース・スケジューリング2019

    • Author(s)
      吉田 基輝
    • Organizer
      情報処理学会第81回全国大会 (IPSJ 2019)
    • Related Report
      2018 Annual Research Report
  • [Presentation] レジリエントなナース・スケジューリング問題2018

    • Author(s)
      沖本 天太
    • Organizer
      第 17 回科学技術フォーラム (FIT-2018)
    • Related Report
      2018 Annual Research Report
  • [Presentation] Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning2018

    • Author(s)
      Tobias Kaminski
    • Organizer
      The 31st International Conference on Logic Programming (ICLP 2018)
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Learning from Noisy Transition Data2018

    • Author(s)
      Yin Jun Phua
    • Organizer
      The 2nd International Workshop on Symbolic-Neural Learning (SNL-2017)
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] Recoverable Team Formation: Building Teams Resilient to Change2018

    • Author(s)
      Emir Demirovic
    • Organizer
      The 15th International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research (CPAIOR 2018)
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] teaspoon: Solving the Curriculum-Based Course Timetabling Problems with Answer Set Programming2018

    • Author(s)
      Mutsunori Banbara
    • Organizer
      The 28th International Conference on Automated Planning and Scheduling (ICAPS 2018),
    • Related Report
      2018 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 重み予測を用いたMLPの初期化による少数例からのダイナミクス深層学習2018

    • Author(s)
      ポア インジュン
    • Organizer
      第32回人工知能学会全国大会 (JSAI 2018)
    • Related Report
      2018 Annual Research Report
  • [Presentation] Neural Programmer-Interpretersの拡張と四則演算を用いる文章問題の解答2018

    • Author(s)
      勝俣 翔太
    • Organizer
      第32回人工知能学会全国大会 (JSAI 2018)
    • Related Report
      2018 Annual Research Report
  • [Presentation] 公平性を考慮した麻酔科医スケジューリング問題に関する一検討2018

    • Author(s)
      山中 悠介
    • Organizer
      情報処理学会第80回全国大会 (IPSJ 2018)
    • Related Report
      2017 Annual Research Report
  • [Presentation] システムズレジリエンスへの数理アプローチ2018

    • Author(s)
      井上 克巳
    • Organizer
      「レジリエンス・エンジニアリング理論の医療の質・安全における実用化研究」研究会議
    • Related Report
      2017 Annual Research Report
    • Invited
  • [Presentation] Learning Programs from Observations2017

    • Author(s)
      Katsumi Inoue
    • Organizer
      Dagstuhl Seminar 17382: Approaches and Applications of Inductive Programming
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research / Invited
  • [Presentation] 確率的な提携構造形成フレームワークの提案2017

    • Author(s)
      沖本 天太
    • Organizer
      第16回科学技術フォーラム (FIT-2017)
    • Related Report
      2017 Annual Research Report
  • [Presentation] Learning Logic Program Representation from Delayed Interpretation Transition Using Recurrent Neural Networks2017

    • Author(s)
      Yin Jun Phua
    • Organizer
      The 1st International Workshop on Symbolic-Neural Learning (SNL-2017)
    • Related Report
      2017 Annual Research Report
    • Int'l Joint Research
  • [Presentation] 不確実性を考慮した提携構造形成問題に関する一検討2017

    • Author(s)
      沖本 天太
    • Organizer
      第31回人工知能学会全国大会 (JSAI 2017)
    • Related Report
      2017 Annual Research Report
  • [Presentation] Building Teams Resilient to Change.2017

    • Author(s)
      Nicolas Schwind
    • Organizer
      第31回人工知能学会全国大会 (JSAI 2017)
    • Related Report
      2017 Annual Research Report
  • [Presentation] リカレントニューラルネットワークによる遅延を伴う解釈遷移からの論理プログラム表現学習2017

    • Author(s)
      ポア インジュン
    • Organizer
      第31回人工知能学会全国大会 (JSAI 2017)
    • Related Report
      2017 Annual Research Report
  • [Presentation] 多デバイス接触履歴からの視聴行動モデル化と知識更新2017

    • Author(s)
      岡崎 孝太郎
    • Organizer
      第31回人工知能学会全国大会 (JSAI 2017)
    • Related Report
      2017 Annual Research Report
  • [Book] Les enjeux de l'inference de mode`les dynamiques des syste`mes biologiques a` partir de series temporelles. In: Elisabeth Remy, Cedric Lhoussaine (eds.), Approches Symboliques de la Modelisation et de l'Analyse des Syste`mes Biologiques2020

    • Author(s)
      Tony Ribeiro, Maxime Folschette, Laurent Trilling, Nicolas Glade, Katsumi Inoue, Morgan Magnin, Olivier Roux
    • Total Pages
      40
    • Publisher
      ISTE Sciences
    • Related Report
      2019 Annual Research Report
  • [Remarks] 井上研究室ホームページ

    • URL

      http://research.nii.ac.jp/il/

    • Related Report
      2020 Annual Research Report 2019 Annual Research Report
  • [Funded Workshop] “Franco-Japanese Meeting on Knowledge Representation and Reasoning in CRIL” (Lens, France)2019

    • Related Report
      2019 Annual Research Report
  • [Funded Workshop] “Franco-Japanese Meeting on Learning and Reasoning about Dynamics in LIP6" (Paris, France)2019

    • Related Report
      2019 Annual Research Report
  • [Funded Workshop] "Learning Relational Dynamics from State Transition" The 4th Project Meeting (Fukuoka)2019

    • Related Report
      2018 Annual Research Report
  • [Funded Workshop] "Learning Relational Dynamics from State Transition" The 3rd Project Meeting (Kobe)2018

    • Related Report
      2018 Annual Research Report
  • [Funded Workshop] "Learning Relational Dynamics from State Transition" The 2nd Project Meeting (Kanazawa)2018

    • Related Report
      2017 Annual Research Report
  • [Funded Workshop] "Learning Relational Dynamics from State Transition" The 1st Project Meeting (Kobe)2017

    • Related Report
      2017 Annual Research Report

URL: 

Published: 2017-04-28   Modified: 2023-01-30  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi