Sakama Chiaki 坂間千秋

… Alternative Names

SAKAMA Chiaki 坂間千秋

Less

Researcher Number	20273873
Other IDs
External Links
Affiliation (Current)	2025: 和歌山大学, システム工学部, 教授
Affiliation (based on the past Project Information) *help	2017 – 2024: 和歌山大学, システム工学部, 教授 2005 – 2015: 和歌山大学, システム工学部, 教授 2003 – 2004: 和歌山大学, システム情報学センター, 教授 2003: Wakayama University, Center for Informatics Science, Professor, 情報学センター, 教授 2002: 和歌山大学, システム工学部, 教授 1998 – 2001: 和歌山大学, システム工学部, 助教授
Review Section/Research Field	Principal Investigator Intelligent informatics / Intelligent informatics / Basic Section 61030:Intelligent informatics-related Except Principal Investigator Intelligent informatics / Intelligent informatics / Medium-sized Section 61:Human informatics and related fields / Intelligent informatics
Keywords	Principal Investigator アブダクション / 帰納推論 / デフォルト推論 / 解集合プログラミング / マルチエージェントシステム / 論理プログラミング / エージェント間交渉 / 知識ベース更新 / 量子化 / 人工知能 … More / 近似計算 / 高次推論 / 知識グラフ / 部分計算 / スパース行列 / 論理推論 / 演繹推論 / 線形代数計算 / テンソル空間 / program transformation / negotiation / consensus / coordination / answer set programming / multiagent systems / プログラム合成 / 信念の調整 / 条件緩和 / プログラム変換 / 交渉 / 合意形成 / 信念調整 / マルチェージェントシステム / inductive logic programming / program ordering / nonmonotonic logic programming / default reasoning / 順序化 / 多値論理 / デフォルト理論 / 帰納論理プログラミング / プログラムの順序化 / 非単調論理プログラミング / Inverse Entailment / Logic Programming / Induction / Nonmonotonic Reasoning / 非単調論理 / 帰納理論プログラミング / 逆伴意法 / 非単調推論 / 不誠実なエージェント / 創発 / 論争ゲーム / エージェント / 反事実推論 / 信念の論理 / 欺瞞 / 誘導推論 / 利己的なエージェント / 会話の含意 / エージェント交渉 / 議論フレームワーク / 認識論理 / 利己的エージェント / 不誠実推論 / 共同プランニング / 様相論理 / 交渉プロトコル / 不誠実な推論 / 推論 / 論理 / 知識発見 / 拡張アブダクション / 機能推論 / 帰納的学習 / アブダクティブな特殊化 / アブダクティブな一般化 … More Except Principal Investigator 機械学習 / アブダクション / 不完全通信 / マルチエージェント / 状態遷移 / 推論 / 論理プログラミング / ニューロシンボリックAI / ロバストAI / 知識表現・推論 / 制約最適化 / 探索・論理・推論アルゴリズム / ダイナミクス学習 / 表現学習 / 関係学習 / 知識表現 / Abduction / Distributed problem solving / Speculative computation / Incomplete communication / Multi-agent systems / 分散強調問題解決 / 分散協調問題解決 / 先行投機的処理 / マルチエージェントシステム / default reasoning / abductive logic programming / abduction / speculative computation / incomplete information / multi agent system / 仮設推論 / 仮設論理型プログラミング / 仮説論理型プログラミンク / 仮説推論 / 仮説論理型プログラミング / 投機的計算 / 遺伝子制御ネットワーク学習 / 論理発見 / 行動規則学習 / ブーリアンネットワーク / セルオートマトン / 帰納論理プログラミング / 確率推論 / 結論発見 / 仮説発見 / システム生物学 / 人工知能 Less

Robust AI by Integration of Knowledge Representation and Machine Learning
- Principal Investigator
  
  井上克巳
- Project Period (FY)
  2021 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Review Section
  
  Medium-sized Section 61:Human informatics and related fields
- Research Institution
  National Institute of Informatics
Development of advanced inference technologies for huge knowledge graphs in tensor spacesPrincipal Investigator
- Principal Investigator
  
  Sakama Chiaki
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 61030:Intelligent informatics-related
- Research Institution
  Wakayama University
Learning Relational Dynamics from State Transition
- Principal Investigator
  
  Inoue Katsumi
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
Learning Cellular Automata Represented as Logic Programs
- Principal Investigator
  
  INOUE KATSUMI
- Project Period (FY)
  2014 – 2015
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
A study on dishonest agentsPrincipal Investigator
- Principal Investigator
  
  SAKAMA Chiaki
- Project Period (FY)
  2012 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Wakayama University
Inference-based Hypothesis-finding and its Application to Systems Biology
- Principal Investigator
  
  INOUE Katsumi
- Project Period (FY)
  2008 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
Inference Mechanism of Social Intelligence in Multiagent SystemsPrincipal Investigator
- Principal Investigator
  
  SAKAMA Chiaki
- Project Period (FY)
  2008 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Wakayama University
Computational Logic for Social Abilities in Multiagent SystemsPrincipal Investigator
- Principal Investigator
  
  SAKAMA Chiaki
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Wakayama University
Ordering Nonmonotonic Logic Program and its Application to Inductive LearningPrincipal Investigator
- Principal Investigator
  
  SAKAMA Chiaki
- Project Period (FY)
  2003 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Wakayama University
Construction of multi-agent systems with speculative computation
- Principal Investigator
  
  SATOH Ken
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  Intelligent informatics
- Research Institution
  National Institute of Informatics
Research on Inverse Entailment in Nonmonotonic Logic ProgrammingPrincipal Investigator
- Principal Investigator
  
  SAKAMA Chiaki
- Project Period (FY)
  2000 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Intelligent informatics
- Research Institution
  Wakayama University
アブダクションと帰納推論の融合による知識発見に関する研究Principal Investigator
- Principal Investigator
  
  坂間千秋
- Project Period (FY)
  1999
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (A)
- Research Institution
  Wakayama University
Construction of Logical Multi-Agent System under Incomplete Information Environment
- Principal Investigator
  
  SATOH Ken
- Project Period (FY)
  1999 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research (B).
- Research Field
  
  Intelligent informatics
- Research Institution
  HOKKAIDO UNIVERSITY
アブダクションを使った帰納的学習に関する研究Principal Investigator
- Principal Investigator
  
  坂間千秋
- Project Period (FY)
  1998 – 1999
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  Intelligent informatics
- Research Institution
  Wakayama University

[Book] Abductive Logic Programming and Linear Algebraic Computation, in: Lorenzo Magnani (ed.), Handbook of Abductive Cognition2023
- Author(s)
  Tuan Nguyen Quoc,Katsumi Inoue, Chiaki Sakama
- Total Pages
  21
- Publisher
  Springer
- ISBN
  9783031101342
- Data Source
  KAKENHI-PROJECT-21H04905
[Book] Inductive Logic Programming, Lecture Notes in Artificial Intelligence 78422013
- Author(s)
  Chiaki Sakama
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-24500174
[Book] Frontiers in Artificial Intelligence and Applications 245, Computational Models of Argument2012
- Author(s)
  Chiaki Sakama
- Publisher
  IOS Press
- Data Source
  KAKENHI-PROJECT-24500174
[Book] Logic Programming, Knowledge Representation and Nonmonotonic Reasoning2011
- Author(s)
  Katsumi Inoue, Chiaki Sakama
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-20500134
[Book] Logic Programming, Knowledge Representation and Nonmonotonic Reasoning2011
- Author(s)
  Katsumi Inoue and Chiaki Sakama
- Publisher
  Springer
- Data Source
  KAKENHI-PROJECT-20500134
[Book] Proceedings of the 16th International Symposium on Logic-Based Program Synthesis and Transformations2007
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Publisher
  Springer-Verlag
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500095
[Book] Proceedings of the 6th International Workshop on Computational Logic in Multi-Agent Systems2006
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Publisher
  Springer-Verlag
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500095
[Book] Proceedings of the 5th International Workshop on Computational Logic in Multi-Agent Systems2005
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Publisher
  Springer-Verlag
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500095
[Book] Proceedings of the 18^<th> International Joint Conference on Artificial Intelligence2003
- Author(s)
  Chiaki Sakama
- Publisher
  Morgan Kaufmann
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500092
[Book] Proceedings of the 18<th> International Joint Conference on Artificial Intelligence (IJCAI-03)2003
- Author(s)
  Chiaki Sakama
- Publisher
  Morgan Kaufmann
- Data Source
  KAKENHI-PROJECT-15500092
[Journal Article] Linear Algebraic Abduction with Partial Evaluation2023
- Author(s)
  Tuan Nguyen, Katsumi Inoue, Chiaki Sakama
- Journal Title
  
  Proceedings of the 25th International Symposium (PADL 2023; Boston, MA, USA, January 16-17, 2023), Lecture Notes in Computer Science
  
  Volume: 13880 Pages: 197-215
- DOI
  10.1007/978-3-031-24841-2_13
- ISBN
  9783031248405, 9783031248412
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] Interlinking Logic Programs and Argumentation Frameworks2022
- Author(s)
  Chiaki Sakama, Tran Cao Son
- Journal Title
  
  In: Daniela Inclezan, Mar Proceedings of the 16th International Conference (LPNMR 2022; Genova Nervi, Italy, September 5-9, 2022), Lecture Notes in Artificial Intelligence, Springer
  
  Volume: 13416 Pages: 322-335
- DOI
  10.1007/978-3-031-15707-3_25
- ISBN
  9783031157066, 9783031157073
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] Feature Learning by Least Generalization2022
- Author(s)
  Hien D. Nguyen, Chiaki Sakama
- Journal Title
  
  In: Nikos Katzouris, Alexander Artikis (Eds.): Inductive Logic Programming, Proceedings of the 30th International Conference (ILP 2020-2021; Virtual Event), Lecture Notes in Artificial Intelligence
  
  Volume: 13191 Pages: 193-202
- DOI
  10.1007/978-3-030-97454-1_14
- ISBN
  9783030974534, 9783030974541
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] Logic programming in tensor spaces2021
- Author(s)
  Chiaki Sakama, Katsumi Inoue, Taisuke Sato
- Journal Title
  
  Annals of Mathematics and AI
  
  Volume: 89 Issue: 12 Pages: 1133-1153
- DOI
  10.1007/s10472-021-09767-x
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-18H03288
[Journal Article] Enhancing linear algebraic computation of logic programs using sparse representation2021
- Author(s)
  Nguyen Tuan Quoc, Katsumi Inoue, Chiaki Sakama
- Journal Title
  
  New Generation Computing
  
  Volume: - Issue: 1 Pages: 225-254
- DOI
  10.1007/s00354-021-00142-2
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03288, KAKENHI-PROJECT-21H04905
[Journal Article] Linear Algebraic Computation of Propositional Horn Abduction2021
- Author(s)
  Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
- Journal Title
  
  Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2021; Washington, DC)
  
  Volume: - Pages: 240-247
- DOI
  10.1109/ictai52525.2021.00040
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-21H04905
[Journal Article] An efficient reasoning method on logic programming using partial evaluation in vector spaces2021
- Author(s)
  Hien D Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue
- Journal Title
  
  Journal of Logic and Compuation
  
  Volume: 31 Issue: 5 Pages: 1298-1316
- DOI
  10.1093/logcom/exab010
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03288
[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
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[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: -
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[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
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H00763, KAKENHI-PROJECT-18H03288
[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
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[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
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] 推論とAIプログラミング2019
- Author(s)
  井上克巳, 坂間千秋, 佐藤泰介
- Journal Title
  
  人工知能学会誌
  
  Volume: 34(5) Pages: 703-713
- Data Source
  KAKENHI-PROJECT-17H00763
[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
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H00763
[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
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H00763, KAKENHI-PROJECT-18H03288
[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
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[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
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-17H00763, KAKENHI-PROJECT-18H03288
[Journal Article] Partial Evaluation of Logic Programs in Vector Spaces2018
- Author(s)
  Chiaki Sakama, Hien D. Nguyen, Taisuke Sato, Katsumi Inoue
- Journal Title
  
  Proceedings of the 11th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2018), CoRR abs
  
  Volume: 1811.11435 Pages: 1-14
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03288
[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
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763, KAKENHI-PROJECT-18H03288
[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
- Peer Reviewed / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[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
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H00763
[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
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17H00763
[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
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17H00763
[Journal Article] Abduction, Conversational Implicature and Misleading in Human Dialogues2016
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Logic Journal of the IGPL
  
  Volume: 未定 Issue: 6 Pages: 1075-1093
- DOI
  10.1093/jigpal/jzu027
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-24500174, KAKENHI-PROJECT-26540122
[Journal Article] Learning Deduction Rules by Induction2016
- Author(s)
  Chiaki Sakama, Tony Ribeiro, Katsumi Inoue
- Journal Title
  
  Inductive Logic Programming: Revised and Selected Papers from the 25th International Conference ,Lecture Notes in Artificial Intelligence
  
  Volume: 9575
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26540122
[Journal Article] Learning Prime Implicant Conditions from Interpretation Transition2015
- Author(s)
  Tony Ribeiro, Katsumi Inoue
- Journal Title
  
  Revised Selected Papers from the 24th International Conference, Lecture Notes in Artificial Intelligence
  
  Volume: 9046 Pages: 108-125
- DOI
  10.1109/icmla.2015.19
- Peer Reviewed / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540122
[Journal Article] Can Machine Learn Logics?2015
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Artificial General Intelligence: Proceedings of the 8th International Conference , Lecture Notes in Artificial Intelligence
  
  Volume: 9205 Pages: 341-351
- DOI
  10.1007/978-3-319-21365-1_35
- ISBN
  9783319213644, 9783319213651
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26540122
[Journal Article] Learning Delayed Influences of Biological Systems2015
- Author(s)
  Tony Ribeiro, Morgan Magnin, Katsumi Inoue, Chiaki Sakama
- Journal Title
  
  Frontiers in Bioengineering and Biotechnology
  
  Volume: 2
- DOI
  10.3389/fbioe.2014.00081
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-26540122
[Journal Article] A Formal Account of Dishonesty2015
- Author(s)
  Chiaki Sakama, Martin Caminada, Andreas Herzig
- Journal Title
  
  Logic Journal of the IGPL
  
  Volume: 23 Issue: 2 Pages: 259-294
- DOI
  10.1093/jigpal/jzu043
- Peer Reviewed / Acknowledgement Compliant / Open Access / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24500174
[Journal Article] Abduction and Conversational Implicature (Extended Abstract)2015
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  The 12th International Symposium on Logical Formalizations of Commonsense Reasoning (COMMONSENSE 2015; Stanford University, Stanford, CA, USA, March 23-25, 2015)
  
  Volume: - Pages: 130-133
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26540122
[Journal Article] Can Machines Learn Logics?2015
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  The UNILOG 2015 Workshop on Emergent Computational Logics (Istanbul, Turkey, June 28th, 2015)
  
  Volume: -
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26540122
[Journal Article] Learning from Interpretation Transition2014
- Author(s)
  Katsumi Inoue, Tony Ribeiro, and Chiaki Sakama
- Journal Title
  
  Machine Learning
  
  Volume: 94(1) Issue: 1 Pages: 51-79
- DOI
  10.1007/s10994-013-5353-8
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-24500174
[Journal Article] Formalizing Negotiations Using Logic Programming2014
- Author(s)
  Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen and Chiaki Sakama
- Journal Title
  
  ACM Transactions on Computational Logic
  
  Volume: vol.15 Issue: 2 Pages: 12-12
- DOI
  10.1145/2526270
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24500174
[Journal Article] A BDD-Based Algorithm for Learning from Interpretation Transition2014
- Author(s)
  Tony Ribeiro, Katsumi Inoue, Chiaki Sakama
- Journal Title
  
  Inductive Logic Programming: Revised Selected Papers from the 23rd International Conference (ILP 2013)
  
  Volume: Vol.8812 Pages: 47-63
- DOI
  10.1007/978-3-662-44923-3_4
- ISBN
  9783662449226, 9783662449233
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-26540122
[Journal Article] Abduction, Unpredictability and Garden of Eden2013
- Author(s)
  Chiaki Sakama and Katsumi Inoue
- Journal Title
  
  Logic Journal of the IGPL
  
  Volume: 21(6) Issue: 6 Pages: 980-998
- DOI
  10.1093/jigpal/jzt015
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24300007, KAKENHI-PROJECT-24500174
[Journal Article] Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming2011
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Machine Learning
  
  Volume: 83(1) Issue: 1 Pages: 1-29
- DOI
  10.1007/s10994-010-5189-4
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-20500134
[Journal Article] Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming2011
- Author(s)
  Chiaki Sakama, Katsumi Inoue.
- Journal Title
  
  Machine Learning(Springer) 83
  
  Pages: 1-29
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500134
[Journal Article] Exploring Relations between Answer Set Programs2011
- Author(s)
  Katsumi Inoue, Chiaki Sakama
- Journal Title
  
  Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning : Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday, Lecture Notes in Artificial Intelligence
  
  Volume: 6565 Pages: 91-110
- DOI
  10.1007/978-3-642-20832-4_7
- ISBN
  9783642208317, 9783642208324
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming.2011
- Author(s)
  Chiaki Sakama, Katsumi Inoue.
- Journal Title
  
  Machine Learning 83(1)
  
  Pages: 1-29
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] A Logical Account of Lying2010
- Author(s)
  Chiaki Sakama
- Journal Title
  
  Logics in Artificial Intelligence, Lecture Notes in Artificial Intelligence(Tomi Janhunen and Ilkka Niemela (eds.))
  
  Volume: 6341 Pages: 286-299
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] 解集合プログラミング2010
- Author(s)
  坂間千秋
- Journal Title
  
  人工知能学会誌
  
  Volume: 25(3) Pages: 368-378
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Equivalence Issues in Abduction and Induction2009
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Journal of Applied Logic
  
  Volume: 7(3) Issue: 3 Pages: 318-328
- DOI
  10.1016/j.jal.2008.10.006
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-20500134
[Journal Article] Equivalence Issues in Abduction and Induction2009
- Author(s)
  Chiaki Sakama
- Journal Title
  
  Journal of Applied Logic 7
  
  Pages: 318-328
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Brave Induction : A Logical Framework for Learning from Incomplete Information.2009
- Author(s)
  Chiaki Sakama, Katsumi Inoue.
- Journal Title
  
  Machine Learning 76(1)
  
  Pages: 3-35
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Brave Induction : a logical framework for learning from incomplete infor mation2009
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Machine Learning 76
  
  Pages: 3-35
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500134
[Journal Article] Brave Induction : A Logical Framework for Learning from Incomplete Information2009
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Machine Learning
  
  Volume: 76(1) Issue: 1 Pages: 3-35
- DOI
  10.1007/s10994-009-5113-y
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016, KAKENHI-PROJECT-20500134
[Journal Article] Brave Induction : a logical framework for learning from incomplete information2009
- Author(s)
  Chiaki Sakama, Katsumi Inoue.
- Journal Title
  
  Machine Learning(Springer) 76
  
  Pages: 3-35
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500134
[Journal Article] Equivalence Issues in Abduction and Induction2009
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Journal of Applied Logic 7
  
  Pages: 318-328
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500134
[Journal Article] Equivalence Issues in Abduction and Induction2009
- Author(s)
  Chiaki Sakama, Katsumi Inoue.
- Journal Title
  
  Journal of Applied Logic(Elsevier) 7(3)
  
  Pages: 318-328
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500134
[Journal Article] Brave Induction : a logical framework for learning from incomplete information2009
- Author(s)
  Chiaki Sakama
- Journal Title
  
  Machine Learning 76
  
  Pages: 3-35
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Coordination in Answer Set Programming2008
- Author(s)
  Chiaki Sakama, Katsumi Inoue.
- Journal Title
  
  ACM Transactions on Computational Logic 9(2)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20500134
[Journal Article] Coordination in Answer Set Programming2008
- Author(s)
  Sakama, Chiaki
- Journal Title
  
  ACM Transactions on Computational logic 9 (2)
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-20240016
[Journal Article] Coordination in Answer Set Programming ACM2008
- Author(s)
  Chiaki Sakama and Katsumi Inoue
- Journal Title
  
  Transactions on Computational Logic
  
  Volume: 9(2) Issue: 2 Pages: 1-30
- DOI
  10.1145/1342991.1342993
- Data Source
  KAKENHI-PROJECT-20500134
[Journal Article] Coordination in Answer Set Programming2008
- Author(s)
  Chiaki, Sakama, Katsumi, Inoue
- Journal Title
  
  ACM Transactions of Computational Logic Vol. 9, No. 2
  
  Pages: 1-30
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500095
[Journal Article] Coordination in Answer Set Programming2008
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  ACM Transactions on Computational Logic Vol.9(2)
  
  Pages: 1-30
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500095
[Journal Article] Coordination in Answer Set Programming2008
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  ACM Transactions of Computational Logic 9(2)
  
  Pages: 1-30
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500095
[Journal Article] Coordination in Answer Set Programming2007
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  ACM Transactions of Computational Logic (印刷中)
- Data Source
  KAKENHI-PROJECT-17500095
[Journal Article] Constructing Consensus Logic Programs2007
- Author(s)
  Chiaki, Sakama, Katsumi, Inoue
- Journal Title
  
  Proceedings of the 16th International Symposium on Logic-Based Program Synthesis and Transformations Lecture Notes in Computer Science Vol. 4407
  
  Pages: 26-42
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500095
[Journal Article] Constructing Consensus Logic Programs2007
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Lecture Notes in Computer Science 4407
  
  Pages: 26-42
- Data Source
  KAKENHI-PROJECT-17500095
[Journal Article] Combining answer sets of nonmonotonic logic programs2006
- Author(s)
  Chiaki Sakama
- Journal Title
  
  Lecture Notes in Artificial Intelligence(Springer-Verlag) 3900
  
  Pages: 320-339
- Data Source
  KAKENHI-PROJECT-17500095
[Journal Article] Generality Relations in Answer Set Programming2006
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Lecture Notes in Computer Science 4079
  
  Pages: 211-225
- Data Source
  KAKENHI-PROJECT-17500095
[Journal Article] Inoue Combining Answer Sets of Nonmonotonic Logic Programs2006
- Author(s)
  Chiaki, Sakama, Katsumi, Inoue
- Journal Title
  
  Proceedings of the 6th International Workshop on Computational Logic in Multi-Agent Systems, Lecture Notes in Artificial Intelligence Vol. 3900
  
  Pages: 320-339
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500095
[Journal Article] Ordering default theories and nonmonotonic logic programs2005
- Author(s)
  Chiaki Sakama
- Journal Title
  
  Theoretical Computer Science (in press)
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500092
[Journal Article] Induction from Answer Sets in Nonmonotonic Logic Programs2005
- Author(s)
  Chiaki Sakama
- Journal Title
  
  ACM Transactions of Computational Logic 6
  
  Pages: 203-231
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500092
[Journal Article] Ordering Default Theories and Nonmonotonic Logic Programs2005
- Author(s)
  Chiaki Sakama
- Journal Title
  
  Theoretical Computer Science (in press)
- Data Source
  KAKENHI-PROJECT-15500092
[Journal Article] Induction from answer sets in nonmonotonic logic programs2005
- Author(s)
  Chiaki Sakama
- Journal Title
  
  ACM Transactions of Computational Logic vol.6(2)
  
  Pages: 203-231
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500092
[Journal Article] Coordination between Logical Agents2005
- Author(s)
  Chiaki, Sakama ,Katsumi, Inoue
- Journal Title
  
  Proceedings of the 5th International Workshop on Computational Logic in Multi-Agent Systems, Lecture Notes in Artificial Intelligence Vol. 3487
  
  Pages: 161-177
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500095
[Journal Article] Coordination between logical agents2005
- Author(s)
  Chiaki Sakama
- Journal Title
  
  Lecture Notes in Artificial Intelligence(Springer-Verlag) 3487
  
  Pages: 161-177
- Data Source
  KAKENHI-PROJECT-17500095
[Journal Article] Ordering Default Theories and Nonmonotonic Logic Programs2005
- Author(s)
  Chiaki Sakama
- Journal Title
  
  Theoretical Computer Science (印刷中)
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-15500092
[Journal Article] Coordination between logical agents2004
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Journal Title
  
  Proceedings of the 5^<th> International Workshop on Computational Logic in Multi-agent Systems
  
  Pages: 98-113
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500092
[Journal Article] Ordering default theories2003
- Author(s)
  Chiaki Sakama
- Journal Title
  
  Proceedings of the 18^<th> International Joint Conference on Artificial Intelligence
  
  Pages: 839-844
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-15500092
[Presentation] 詰将棋における指し手の意味の説明が可能なAIシステムの構築2023
- Author(s)
  森岡勇介, 坂間千秋
- Organizer
  情報処理学会第49回ゲーム情報学研究発表会
- Data Source
  KAKENHI-PROJECT-21H04905
[Presentation] Linear Algebraic Abduction with Partial Evaluation2022
- Author(s)
  Nguyen Tuan Quoc, Katsumi Inoue, Chiaki Sakama
- Organizer
  25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03288
[Presentation] Linear Algebraic Computation of Propositional Horn Abduction2021
- Author(s)
  Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
- Organizer
  IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03288
[Presentation] From 3-valued semantics to supported model computation for logic programs in vector spaces2020
- Author(s)
  Taisuke Sato, Chiaki Sakama, Katsumi Inoue
- Organizer
  12th International Conference on Agents and Artificial Intelligence (ICAART 2020)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03288
[Presentation] Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation2020
- Author(s)
  Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
- Organizer
  36th International Conference on Logic Programming (ICLP)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-18H03288
[Presentation] A Formal Account of Deception2015
- Author(s)
  Chiaki Sakama
- Organizer
  Proceedings of the AAAI Fall 2015 Symposium on Deceptive and Counter-Deceptive Machines
- Place of Presentation
  Arlington, Virginia, USA
- Year and Date
  2015-11-12
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24500174
[Presentation] Can Machines Learn Logics?2015
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Organizer
  Proceedings of the 8th International Conference on Artificial General Intelligence (AGI-15)
- Place of Presentation
  Berlin, Germany
- Year and Date
  2015-07-22
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24500174
[Presentation] Abduction, Conversational Implicature and Misleading2015
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Organizer
  7th International Conference on Model-based Reasoning in Scientific and Technology (MBR'15)
- Place of Presentation
  Sestri Levante, Italy
- Year and Date
  2015-06-25
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24500174
[Presentation] Persistence and Monotonicity Properties of Argumentation Semantics2015
- Author(s)
  Tjitze Rienstra, Chiaki Sakama, Leendert van der Torre
- Organizer
  3rd International Workshop on Theory and Applications of Formal Argument (TAFA-15)
- Place of Presentation
  Buenos Aires, Argentina
- Year and Date
  2015-07-25
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24500174
[Presentation] Multiagent Collaborative Search with Self-Interested Agents2015
- Author(s)
  Ryuki Shimoji, Chiaki Sakama
- Organizer
  Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'15)
- Place of Presentation
  Singapore
- Year and Date
  2015-12-06
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24500174
[Presentation] Learning Deduction Rules by Induction2015
- Author(s)
  Chiaki Sakama, Tony Ribeiro, Katsumi Inoue
- Organizer
  25th International Conference on Inductive Logic Programming (ILP 2015)
- Place of Presentation
  Kyoto, Japan
- Year and Date
  2015-08-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24500174
[Presentation] On the Issue of Argumentation and Informedness2015
- Author(s)
  Martin Caminada, Chiaki Sakama
- Organizer
  2nd International Workshop on Argument for Agreement and Assurance (AAA 2015)
- Place of Presentation
  Kanagawa, Japan
- Year and Date
  2015-11-17
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24500174
[Presentation] Learning Multi-Valued Biological Models with Delayed Influence from Time-Series Observations2015
- Author(s)
  Tony Ribeiro, Morgan Magnin, Katsumi Inoue, Chiaki Sakama
- Organizer
  The 25th International Conference on Inductive Logic Programming
- Place of Presentation
  京都大学
- Year and Date
  2015-08-20
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540122
[Presentation] Abduction, Conversational Implicature, and Misleading2015
- Author(s)
  Chiaki Sakama, Katsumi Inou
- Organizer
  The International Conference on Model-Based Reasoning in Science and Technology
- Place of Presentation
  Sestri Levante, Italy
- Year and Date
  2015-06-25
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540122
[Presentation] Representing Argumentation Frameworks in Answer Set Programming2015
- Author(s)
  Chiaki Sakama, Tjitze Rienstra
- Organizer
  1st International Workshop on Argumentation and Logic Programming (ArgLP 2015)
- Place of Presentation
  Cork, Ireland
- Year and Date
  2015-08-31
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24500174
[Presentation] Can Machine Learn Logics?2015
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Organizer
  The UNILOG 2015 Workshop on Emergent Computational Logics
- Place of Presentation
  Istanbul, Turkey
- Year and Date
  2015-06-28
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26540122
[Presentation] Debate Games in Logic Programming2013
- Author(s)
  Chiaki Sakama
- Organizer
  27th Workshop on Logic Programming (WLP)
- Place of Presentation
  Kiel, Germany
- Data Source
  KAKENHI-PROJECT-24500174
[Presentation] Evolution of Self-Interested Agents: An Experimental Study2013
- Author(s)
  Naoki Yamada and Chiaki Sakama
- Organizer
  7th Multi-Disciplinary International Workshop on Artificial Intelligence (MIWAI)
- Place of Presentation
  Krabi, Thailand
- Data Source
  KAKENHI-PROJECT-24500174
[Presentation] Abduction in Argumentation Frameworks and its Use in Debate Games2013
- Author(s)
  Chiaki Sakama
- Organizer
  1st International Workshop on Argument for Agreement and Assurance (AAA)
- Place of Presentation
  Kanagawa, Japan
- Data Source
  KAKENHI-PROJECT-24500174
[Presentation] Learning Dishonesty2012
- Author(s)
  Chiaki Sakama
- Organizer
  22nd International Conference on Inductive Logic Programming (ILP 2012)
- Place of Presentation
  Dubrovnik, Croatia
- Data Source
  KAKENHI-PROJECT-24500174
[Presentation] Abduction, Unpredictability and Garden of Eden2012
- Author(s)
  Chiaki Sakama and Katsumi Inoue
- Organizer
  Model-based reasoning in Science and Technology (MBR 2012)
- Place of Presentation
  Sestri Levante, Italy
- Data Source
  KAKENHI-PROJECT-24500174
[Presentation] A Formal Model of Dishonest Communication2012
- Author(s)
  Chiaki Sakama
- Organizer
  Workshop on Formal Models of Communication
- Place of Presentation
  Opole, Poland
- Data Source
  KAKENHI-PROJECT-24500174
[Presentation] Dishonest Arguments in Debate Games2012
- Author(s)
  Chiaki Sakama
- Organizer
  4th International Conference on Computational Models of Argument (COMMA 2012)
- Place of Presentation
  Vienna, Austria
- Data Source
  KAKENHI-PROJECT-24500174
[Presentation] Dishonest reasoning by abduction2011
- Author(s)
  Chiaki Sakama
- Organizer
  22^<nd> International Joint Conference on Artificial Intelligence
- Place of Presentation
  Barcelona (Spain)
- Year and Date
  2011-07-21
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Dishonest reasoning by abduction2011
- Author(s)
  Chiaki Sakama
- Organizer
  The 22nd International Joint Conference on Artificial Intelligence (IJCAI-11)
- Place of Presentation
  Barcelona, Spain
- Year and Date
  2011-07-21
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] A Logical Formulation for Negotiation Among Dishonest Agents2011
- Author(s)
  Chiaki Sakama, Tran Cao Son, and Enrico Pontelli
- Organizer
  Proceedings of the 22nd International Joint Conference on Artificial Intelligence(IJCAI-11)
- Place of Presentation
  Barcelona, Spain
- Year and Date
  2011-07-22
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Dishonest Reasoning by Abduction2011
- Author(s)
  Chiaki Sakama
- Organizer
  Proceedings of the 22nd International Joint Conference on Artificial Intelligence(IJCAI-11)
- Place of Presentation
  Barcelona, Spain
- Year and Date
  2011-07-21
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction2011
- Author(s)
  Lena Wiese, Katsumi Inoue, and Chiaki Sakama
- Organizer
  Proceedings of the 19th International Conference on Applications of Declarative Programming and Knowledge Management(INAP 2011)
- Place of Presentation
  Vienna, Austria
- Year and Date
  2011-09-29
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] ASP-Prolog for negotiation among dishonest agents2011
- Author(s)
  N-H.Nguyen, T.C.Son, E.Pontelli, C.Sakama
- Organizer
  11th International Conference on Logic Programming and Nonmonotonic Reasoning
- Place of Presentation
  Vancouver (Canada)
- Year and Date
  2011-05-18
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Logical Definitions of Lying2011
- Author(s)
  Chiaki Sakama
- Organizer
  Proceedings of the 14th International Workshop on Trust in Agent Societies(TRUST11)
- Place of Presentation
  Taipei, Taiwan
- Year and Date
  2011-05-02
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Dishonest Reasoning by Abduction2011
- Author(s)
  Chiaki Sakama
- Organizer
  The 22nd International Joint Conference on Artificial Intelligence(IJCAI-11)
- Place of Presentation
  Barcelona, Spain
- Year and Date
  2011-07-22
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] A logical formulation for negotiation among dishonest agents2011
- Author(s)
  C.Sakama, T.C.Son, E.Pontelli
- Organizer
  22^<nd> International Joint Conference on Artificial Intelligence
- Place of Presentation
  Barcelona (Spain)
- Year and Date
  2011-07-22
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Logical definitions of lying2011
- Author(s)
  Chiaki Sakama
- Organizer
  14th International Workshop on Trust in Agent Societies
- Place of Presentation
  台北、台湾
- Year and Date
  2011-05-02
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] ASP-Prolog for negotiation among dishonest agents2011
- Author(s)
  N-H.Nguyen, T.C.Son, E.Pontelli, C.Sakama
- Organizer
  11th International Conference on Logic Programming and Nonmonotonic Reasoning
- Place of Presentation
  Vancouver, Canada
- Year and Date
  2011-05-18
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Logical definitions of lying2011
- Author(s)
  Chiaki Sakama
- Organizer
  14th International Workshop on Trust in Agent Societies
- Place of Presentation
  台湾(中国)
- Year and Date
  2011-05-02
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] ASP-Prolog for Negotiation among Dishonest Agents2011
- Author(s)
  Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli and Chiaki Sakama
- Organizer
  Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning(LPNMR-11)
- Place of Presentation
  Vancouver, Canada
- Year and Date
  2011-05-18
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction2011
- Author(s)
  Katsumi Inoue, Chiaki Sakama, Lena Wiese
- Organizer
  The 19th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2011)
- Place of Presentation
  Vienna, Austria
- Year and Date
  2011-09-29
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] A logical formulation for negotiation among dishonest agents2011
- Author(s)
  C.Sakama, T.C.Son, E.Pontelli
- Organizer
  The 22nd International Joint Conference on Artificial Intelligence (IJCAI-11)
- Place of Presentation
  Barcelona, Spain
- Year and Date
  2011-07-22
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Confidentiality-preserving data publishing for credulous users by extended abduction2011
- Author(s)
  L.Wiese, K.Inoue, C.Sakama
- Organizer
  19th International Conference on Applications of Declarative Programming and Knowledge Management
- Place of Presentation
  Vienna (Austria)
- Year and Date
  2011-09-29
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Formalizing Commitments Using Action Languages2011
- Author(s)
  Tran Cao Son, Enrico Pontelli and Chiaki Sakama
- Organizer
  Proceedings of the 9th International Workshop on Declarative Agent Languages and Technologies(DALT 2011)
- Place of Presentation
  Taipei, Taiwan
- Year and Date
  2011-05-03
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Formalizing commitments using action languages2011
- Author(s)
  T.C.Son, E.Pontellim C.Sakama
- Organizer
  9th International Workshop on Declarative Agent Languages and Technologies
- Place of Presentation
  台湾(中国)
- Year and Date
  2011-05-03
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Formalizing commitments using action languages2011
- Author(s)
  T.C.Son, E.Pontellim, C.Sakama
- Organizer
  9th International Workshop on Declarative Agent Languages and Technologies
- Place of Presentation
  台北、台湾
- Year and Date
  2011-05-03
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Katsumi Inoue and Chiaki Sakama2010
- Author(s)
  Katsumi Inoue and Chiaki Sakama
- Organizer
  Proceedings of the Symposium on Constructive Mathematics in Computer Science
- Place of Presentation
  Lexington, KY, USA
- Year and Date
  2010-10-24
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] The Many Faces of Deception2010
- Author(s)
  Chiaki Sakama, Martin Caminada.
- Organizer
  Proceedings of the Thirty Years of Nonmonotonic Reasoning(NonMon@30)
- Place of Presentation
  Lexington, KY, USA
- Year and Date
  2010-10-23
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] The Many Faces of Deception2010
- Author(s)
  Chiaki Sakama and Martin Caminada
- Organizer
  Proceedings of the Thirty Years of Nonmonotonic Reasoning(NonMon@ 30)
- Place of Presentation
  Lexington, KY, USA
- Year and Date
  2010-10-23
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] A Logical Account of Lying2010
- Author(s)
  Chiaki Sakama, Martin Caminada and Andreas Herzig
- Organizer
  Proceedings of the 12th European Conference on Logics in Artificial Intelligence(JELIA 2010)
- Place of Presentation
  Helsinki, Finland
- Year and Date
  2010-09-14
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] The Many Faces of Deception2010
- Author(s)
  Chiaki Sakama
- Organizer
  30 Years of Nonmonotonic Reasoning
- Place of Presentation
  Lexington, USA
- Year and Date
  2010-10-22
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] A logical account of lying2010
- Author(s)
  Chiaki Sakama, Martin Caminada, Andreas Herzig
- Organizer
  12^<th> European Conference on Logics in Artificial Intelligence
- Place of Presentation
  ヘルシンキ(フィンランド)
- Year and Date
  2010-09-14
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] The many faces of deception2010
- Author(s)
  Chiaki Sakama, Martin Caminada
- Organizer
  30 years of nonmonotonic reasoning
- Place of Presentation
  レキシントン(USA)
- Year and Date
  2010-10-22
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Martin Caminada and Andreas Herzig. A Logical Account of Lying2010
- Author(s)
  Chiaki Sakama
- Organizer
  Proceedings of the 12th European Conference on Logics in Artificial Intelligence(JELIA 2010)
- Place of Presentation
  Helsinki, Finland
- Year and Date
  2010-09-14
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming2009
- Author(s)
  Tran Cao Son and Chiaki Sakama
- Organizer
  Proceedings of the 6th International Workshop on Declarative Agent Languages and Technologies(DALT' 09)
- Place of Presentation
  Budapest, Hungary
- Year and Date
  2009-05-11
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Interacting Answer Sets2009
- Author(s)
  Chiaki Sakama and Tran Cao Son
- Organizer
  Proceedings of the 10th International Workshop on Computational Logic in Multi-Agent Systems(CLIMA-X)
- Place of Presentation
  Hamburg, Germany
- Year and Date
  2009-09-10
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Social Default Theories2009
- Author(s)
  Chiaki Sakama
- Organizer
  Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning(LPNMR' 09)
- Place of Presentation
  Potsdam, Germany
- Year and Date
  2009-09-15
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Social Default Theories2009
- Author(s)
  Chiaki Sakama
- Organizer
  The 10th International Conference on Logic Programming and Nonmonotonic Reasoning(LPNMR'09)
- Place of Presentation
  University of Potsdam, Potsdam, Germany
- Year and Date
  2009-09-15
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming2009
- Author(s)
  Iran Cao Son, Chiaki Sakama
- Organizer
  6th International Workshop on Declarative Agent Languages and Technologies (DALT'09)
- Place of Presentation
  ハンガリーブワペスト
- Year and Date
  2009-05-11
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Negotiation Using Logic Programming with Consistency Restoring Rules2009
- Author(s)
  Tran Cao Son and Chiaki Sakama
- Organizer
  Proceedings of the 21st International Joint Conference on Artificial Intelligence(IJCAI-09)
- Place of Presentation
  Pasadena, CA, USA
- Year and Date
  2009-07-17
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Interacting Answer Sets2009
- Author(s)
  Chiaki Sakama, Tran Cao Son
- Organizer
  10th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-X)
- Place of Presentation
  ドイツハンブルグ
- Year and Date
  2009-09-10
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Interacting Answer Sets2009
- Author(s)
  Chiaki Sakama
- Organizer
  The 10th International Workshop on Computational Logic in Multi-Agent Systems(CLIMA-X)
- Place of Presentation
  University of Hamburg, Hamburg, Germany
- Year and Date
  2009-09-10
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Social Default Theories2009
- Author(s)
  Chiaki Sakama
- Organizer
  Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning(LPNMR'09)
- Place of Presentation
  Potsdam, Germany
- Year and Date
  2009-09-15
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Logic Programming for Multiagent Planning with Negotiation2009
- Author(s)
  Tran Cao Son, Enrico Pontelli, Chiaki Sakama
- Organizer
  25th International Conference on Logic Programming (ICLP'09)
- Place of Presentation
  アメリカ合衆国パサデナ
- Year and Date
  2009-07-14
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Social Default Theories2009
- Author(s)
  Chiaki Sakama
- Organizer
  10th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'09)
- Place of Presentation
  ドイツポツタム
- Year and Date
  2009-09-15
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Negotiation Using Logic Programming with Consistency Restoring Rules2009
- Author(s)
  Tran Cao Son, Chiaki Sakama
- Organizer
  21st International Joint Conference on Artificial Intelligence (IJCAI-09)
- Place of Presentation
  アメリカ合衆国パサデナ
- Year and Date
  2009-07-17
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Logic Programming for Multiagent Planning with Negotiation2009
- Author(s)
  Tran Cao Son, Enrico Pontelli, and Chiaki Sakama
- Organizer
  Proceedings of the 25th International Conference on Logic Programming(ICLP' 09)
- Place of Presentation
  Pasadena, CA, USA
- Year and Date
  2009-07-14
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Comparing Abductive Theories.2008
- Author(s)
  Katsumi Inoue, Chiaki Sakama.
- Organizer
  The 18th European Conference on Artificial Intelligence (ECAI 2008)
- Place of Presentation
  Patras, Greece
- Year and Date
  2008-07-24
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Brave Induction2008
- Author(s)
  Chiaki Sakama Katsumi Inoue
- Organizer
  Proceedings of the 18th International Conference on Inductive Logic Programming
- Place of Presentation
  Czech Republic
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Comparing Abductive Theories2008
- Author(s)
  Katsumi Inoue and Chiaki Sakama
- Organizer
  Proceedings of the 18th European Conference on Artificial Intelligence(ECAI' 08)
- Place of Presentation
  Patras, Greece
- Year and Date
  2008-07-21
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Negotiation by Induction2008
- Author(s)
  Chiaki Sakama
- Organizer
  7th International Joint Conference on Autonomous Agents and Multiagent Systems
- Place of Presentation
  Estoril, Portugal
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500095
[Presentation] Negotiation by Induction2008
- Author(s)
  Chiaki Sakama
- Organizer
  Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems
- Place of Presentation
  Portugal
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Inductive Negotiation in Answer Set Programming2008
- Author(s)
  Chiaki Sakama
- Organizer
  Proceedings of the 6th International Workshop on Declarative Agent Languages and Technologies
- Place of Presentation
  Portugal
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Brave Induction2008
- Author(s)
  Chiaki Sakama and Katsumi Inoue
- Organizer
  Proceedings of the 18th International Conference on Inductive Logic Programming(ILP' 08)
- Place of Presentation
  Czech Republic
- Year and Date
  2008-09-11
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Inductive Negotiation in Answer Set Programming2008
- Author(s)
  Sakama, Chiaki
- Organizer
  Proceedings of the 6th International Workshop on Declarative Agent Languages and Technologies
- Place of Presentation
  Estoril, Portugal
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Comparing Abductive Theories2008
- Author(s)
  Katsumi Inoue, Chiaki Sakama
- Organizer
  The 18th European Conference on Artificial Intelligence(ECAI 2008)
- Place of Presentation
  Patras, Greece
- Year and Date
  2008-07-24
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Negotiation by Induction2008
- Author(s)
  Chiaki, Sakama
- Organizer
  Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, pages 1459-1462
- Place of Presentation
  Estoril, Portugal
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500095
[Presentation] Negotiation by Induction2008
- Author(s)
  Sakama, Chiaki
- Organizer
  Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems
- Place of Presentation
  Estoril, Portugal
- Year and Date
  2008-05-12
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Brave Induction2008
- Author(s)
  Sakama, Chiaki
- Organizer
  Proceedings of the 18th International Conference on Inductive Logic Programming
- Place of Presentation
  Prague, Czech
- Data Source
  KAKENHI-PROJECT-20240016
[Presentation] Inductive Negotiation in Answer Set Programming2008
- Author(s)
  Chiaki Sakama
- Organizer
  Proceedings of the 6th International Workshop on Declarative Agent Languages and Technologies(DALT'08)
- Place of Presentation
  Estoril, Portugal
- Year and Date
  2008-05-12
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Inductive Negotiation in Answer Set Programming2008
- Author(s)
  Chiaki Sakama
- Organizer
  Proceedings of the 6th International Workshop on Declarative Agent Languages and Technologies(DALT' 08)
- Place of Presentation
  Estoril, Portugal
- Year and Date
  2008-05-12
- Data Source
  KAKENHI-PROJECT-20500134
[Presentation] Negotiation by Abduction and Relaxation2007
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Organizer
  6th International Joint Conference on Autonomous Agents and Multiagent Systems
- Place of Presentation
  米国、ハワイ
- Data Source
  KAKENHI-PROJECT-17500095
[Presentation] Negotiation by Abduction and Relaxation2007
- Author(s)
  Chiaki Sakama, Katsumi Inoue
- Organizer
  6th International Joint Conference on Autonomous Agents and Multiagent Systems
- Place of Presentation
  Hawaii, USA
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500095
[Presentation] Negotiation by Abduction and Relaxation2007
- Author(s)
  Chiaki, Sakama, Katsumi, Inoue
- Organizer
  Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems1 pages 018-1025
- Place of Presentation
  Hawaii, USA
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500095
[Presentation] Counterfactual Reasoning in Argumentation Frameworks
- Author(s)
  Chiaki Sakama
- Organizer
  5th International Conference on Computational Models of Argument (COMMA)
- Place of Presentation
  Pitlochry, Scotland
- Year and Date
  2014-09-09 – 2014-09-12
- Data Source
  KAKENHI-PROJECT-24500174
[Presentation] Computing Least Generalization by Anti-combination
- Author(s)
  Mikio Yoshida and Chiaki Sakama
- Organizer
  24th International Conference on Inductive Logic Programming
- Place of Presentation
  Nancy, France
- Year and Date
  2014-09-14 – 2014-09-16
- Data Source
  KAKENHI-PROJECT-24500174
[Presentation] Abduction and Conversational Implicature
- Author(s)
  Chiaki Sakama and Katsumi Inoue
- Organizer
  12th International Symposium on Logical Formalizations of Commonsense Reasoning
- Place of Presentation
  California, USA
- Year and Date
  2015-03-23 – 2015-03-25
- Data Source
  KAKENHI-PROJECT-24500174

1. INOUE Katsumi (10252321)

# of Collaborated Projects: 9 results

# of Collaborated Products: 55 results
2. IWANUMA Koji (30176557)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
3. NABESHIMA Hidetomo (10334848)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
4. SATOH Ken (00271635)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
5. Nicolas Schwind (60646397)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
6. SATO Taisuke (90272690)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
7. KAMEYA Yoshitaka (60361789)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
8. YAMAMOTO Yoshitaka (30550793)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. FUJIYAMA Asao (60142311)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. KITAMURA Yasuhiko (00204917)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. 沖本天太 (10632432)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. 林克彦 (50725794)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. Phua Yin・Jun (20963747)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. 小島諒介 (70807651)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. 尾崎暢

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Sakama Chiaki 坂間 千秋

SAKAMA Chiaki 坂間 千秋

Research Projects

Research Products

Co-Researchers

Robust AI by Integration of Knowledge Representation and Machine Learning

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Development of advanced inference technologies for huge knowledge graphs in tensor spacesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Learning Relational Dynamics from State Transition

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Learning Cellular Automata Represented as Logic Programs

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

A study on dishonest agentsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Inference-based Hypothesis-finding and its Application to Systems Biology

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Inference Mechanism of Social Intelligence in Multiagent SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Computational Logic for Social Abilities in Multiagent SystemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Ordering Nonmonotonic Logic Program and its Application to Inductive LearningPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Construction of multi-agent systems with speculative computation

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on Inverse Entailment in Nonmonotonic Logic ProgrammingPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

アブダクションと帰納推論の融合による知識発見に関する研究Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Institution

Construction of Logical Multi-Agent System under Incomplete Information Environment

Principal Investigator

Project Period (FY)

Research Category

Sakama Chiaki 坂間千秋

SAKAMA Chiaki 坂間千秋