Chiaki Sakama

According to our database, Chiaki Sakama authored at least 125 papers between 1987 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Human Conditional Reasoning in Answer Set Programming.

Chiaki Sakama

Theory Pract. Log. Program., January, 2024

Argument and Belief.

Chiaki Sakama

Proceedings of the Computational Models of Argument, 2024

2023

Linear Algebraic Abduction with Partial Evaluation.

Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama

Proceedings of the Practical Aspects of Declarative Languages, 2023

A Formal Analysis of Hollis' Paradox.

Thomas Ågotnes, Chiaki Sakama

Proceedings of the Logic, Rationality, and Interaction - 9th International Workshop, 2023

2022

Interlinking Logic Programs and Argumentation Frameworks.

Chiaki Sakama, Tran Cao Son

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

2021

An efficient reasoning method on logic programming using partial evaluation in vector spaces.

Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue

J. Log. Comput., 2021

Logic programming in tensor spaces.

Chiaki Sakama, Katsumi Inoue, Taisuke Sato

Ann. Math. Artif. Intell., 2021

Feature Learning by Least Generalization.

Hien D. Nguyen, Chiaki Sakama

Proceedings of the Inductive Logic Programming - 30th International Conference, 2021

Linear Algebraic Computation of Propositional Horn Abduction.

Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

Predicting Air Ticket Demand using Deep Neural Networks.

Kodai Imanaka, Chiaki Sakama

Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

2020

Epistemic Argumentation Framework: Theory and Computation.

Chiaki Sakama, Tran Cao Son

J. Artif. Intell. Res., 2020

Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation.

Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

A principle-based robustness analysis of admissibility-based argumentation semantics.

Tjitze Rienstra, Chiaki Sakama, Leendert van der Torre, Beishui Liao

Argument Comput., 2020

From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces.

Taisuke Sato, Chiaki Sakama, Katsumi Inoue

Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

2019

Disjunctive Abduction.

Katsumi Inoue, Chiaki Sakama

New Gener. Comput., 2019

Learning Inference Rules from Data.

Chiaki Sakama, Katsumi Inoue, Tony Ribeiro

Künstliche Intell., 2019

Epistemic Argumentation Framework.

Chiaki Sakama, Tran Cao Son

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

A New Algorithm for Computing Least Generalization of a Set of Atoms.

Hien D. Nguyen, Chiaki Sakama

Proceedings of the Inductive Logic Programming - 29th International Conference, 2019

Ordering Argumentation Frameworks.

Chiaki Sakama, Katsumi Inoue

Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

2018

Abduction in argumentation frameworks.

Chiaki Sakama

J. Appl. Non Class. Logics, 2018

Partial Evaluation of Logic Programs in Vector Spaces.

Chiaki Sakama, Hien D. Nguyen, Taisuke Sato, Katsumi Inoue

CoRR, 2018

Computing Logic Programming Semantics in Linear Algebra.

Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2018

Abducing Relations in Continuous Spaces.

Taisuke Sato, Katsumi Inoue, Chiaki Sakama

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

Representing Argumentation Frameworks in Answer Set Programming.

Chiaki Sakama, Tjitze Rienstra

Fundam. Informaticae, 2017

A Causal Theory of Speech Acts.

Chiaki Sakama

Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

Linear Algebraic Characterization of Logic Programs.

Chiaki Sakama, Katsumi Inoue, Taisuke Sato

Proceedings of the Knowledge Science, Engineering and Management, 2017

2016

Abduction, conversational implicature and misleading in human dialogues.

Chiaki Sakama, Katsumi Inoue

Log. J. IGPL, 2016

2015

A formal account of dishonesty.

Chiaki Sakama, Martin Caminada, Andreas Herzig

Log. J. IGPL, 2015

Multiagent Collaborative Search with Self-Interested Agents.

Ryuki Shimoji, Chiaki Sakama

Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

Persistence and Monotony Properties of Argumentation Semantics.

Tjitze Rienstra, Chiaki Sakama, Leendert W. N. van der Torre

Proceedings of the Theory and Applications of Formal Argumentation, 2015

On the Issue of Argumentation and Informedness.

Martin Caminada, Chiaki Sakama

Proceedings of the New Frontiers in Artificial Intelligence, 2015

Learning Inference by Induction.

Chiaki Sakama, Tony Ribeiro, Katsumi Inoue

Proceedings of the Inductive Logic Programming - 25th International Conference, 2015

Learning Multi-valued Biological Models with Delayed Influence from Time-Series Observations.

Tony Ribeiro, Morgan Magnin, Katsumi Inoue, Chiaki Sakama

Proceedings of the 14th IEEE International Conference on Machine Learning and Applications, 2015

Can Machines Learn Logics?

Chiaki Sakama, Katsumi Inoue

Proceedings of the Artificial General Intelligence, 2015

Abduction and Conversational Implicature (Extended Abstract).

Chiaki Sakama, Katsumi Inoue

Proceedings of the 2015 AAAI Spring Symposia, 2015

A Formal Account of Deception.

Chiaki Sakama

Proceedings of the 2015 AAAI Fall Symposia, Arlington, Virginia, USA, November 12-14, 2015, 2015

2014

Formalizing Negotiations Using Logic Programming.

Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen, Chiaki Sakama

ACM Trans. Comput. Log., 2014

Learning from interpretation transition.

Katsumi Inoue, Tony Ribeiro, Chiaki Sakama

Mach. Learn., 2014

Counterfactual Reasoning in Argumentation Frameworks.

Chiaki Sakama

Proceedings of the Computational Models of Argument, 2014

2013

Abduction, unpredictability and Garden of Eden.

Chiaki Sakama, Katsumi Inoue

Log. J. IGPL, 2013

Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning.

Katsumi Inoue, Chiaki Sakama

CoRR, 2013

Evolution of Self-interested Agents: An Experimental Study.

Naoki Yamada, Chiaki Sakama

Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2013

Abduction in Argumentation Frameworks and Its Use in Debate Games.

Chiaki Sakama

Proceedings of the New Frontiers in Artificial Intelligence, 2013

Debate Games in Logic Programming.

Chiaki Sakama

Proceedings of the Declarative Programming and Knowledge Management, 2013

A BDD-Based Algorithm for Learning from Interpretation Transition.

Tony Ribeiro, Katsumi Inoue, Chiaki Sakama

Proceedings of the Inductive Logic Programming - 23rd International Conference, 2013

2012

Learning Dishonesty.

Chiaki Sakama

Proceedings of the Inductive Logic Programming - 22nd International Conference, 2012

Dishonest Arguments in Debate Games.

Chiaki Sakama

Proceedings of the Computational Models of Argument, 2012

Oscillating Behavior of Logic Programs.

Katsumi Inoue, Chiaki Sakama

Proceedings of the Correct Reasoning, 2012

2011

Inductive equivalence in clausal logic and nonmonotonic logic programming.

Chiaki Sakama, Katsumi Inoue

Mach. Learn., 2011

Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction

Katsumi Inoue, Chiaki Sakama, Lena Wiese

CoRR, 2011

ASP-Prolog for Negotiation among Dishonest Agents.

Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users.

Katsumi Inoue, Chiaki Sakama, Lena Wiese

Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

A Logical Formulation for Negotiation among Dishonest Agents.

Chiaki Sakama, Tran Cao Son, Enrico Pontelli

Proceedings of the IJCAI 2011, 2011

Dishonest Reasoning by Abduction.

Chiaki Sakama

Proceedings of the IJCAI 2011, 2011

Formalizing Commitments Using Action Languages.

Tran Cao Son, Enrico Pontelli, Chiaki Sakama

Proceedings of the Declarative Agent Languages and Technologies IX, 2011

Exploring Relations between Answer Set Programs.

Katsumi Inoue, Chiaki Sakama

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

An Experiment in Formalizing Commitments Using Action Languages.

Tran Cao Son, Enrico Pontelli, Chiaki Sakama

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010

A Logical Account of Lying.

Chiaki Sakama, Martin Caminada, Andreas Herzig

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009

Brave induction: a logical framework for learning from incomplete information.

Chiaki Sakama, Katsumi Inoue

Mach. Learn., 2009

Equivalence issues in abduction and induction.

Chiaki Sakama, Katsumi Inoue

J. Appl. Log., 2009

Social Default Theories.

Chiaki Sakama

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Negotiation Using Logic Programming with Consistency Restoring Rules.

Tran Cao Son, Chiaki Sakama

Proceedings of the IJCAI 2009, 2009

Logic Programming for Multiagent Planning with Negotiation.

Tran Cao Son, Enrico Pontelli, Chiaki Sakama

Proceedings of the Logic Programming, 25th International Conference, 2009

Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming.

Tran Cao Son, Chiaki Sakama

Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Interacting Answer Sets.

Chiaki Sakama, Tran Cao Son

Proceedings of the Computational Logic in Multi-Agent Systems, 2009

2008

Coordination in answer set programming.

Chiaki Sakama, Katsumi Inoue

ACM Trans. Comput. Log., 2008

Brave Induction.

Chiaki Sakama, Katsumi Inoue

Proceedings of the Inductive Logic Programming, 18th International Conference, 2008

Comparing Abductive Theories.

Katsumi Inoue, Chiaki Sakama

Proceedings of the ECAI 2008, 2008

Inductive Negotiation in Answer Set Programming.

Chiaki Sakama

Proceedings of the Declarative Agent Languages and Technologies VI, 2008

Negotiation by induction.

Chiaki Sakama

Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007

Identifying Cellular Automata Rules.

Ken-ichi Maeda, Chiaki Sakama

J. Cell. Autom., 2007

Negotiation by abduction and relaxation.

Chiaki Sakama, Katsumi Inoue

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Generality and Equivalence Relations in Default Logic.

Katsumi Inoue, Chiaki Sakama

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

Abductive Equivalence in First-order Logic.

Katsumi Inoue, Chiaki Sakama

Log. J. IGPL, 2006

Constructing Consensus Logic Programs.

Chiaki Sakama, Katsumi Inoue

Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

Generality Relations in Answer Set Programming.

Katsumi Inoue, Chiaki Sakama

Proceedings of the Logic Programming, 22nd International Conference, 2006

On the Existence of Answer Sets in Normal Extended Logic Programs.

Martin Caminada, Chiaki Sakama

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

Induction from answer sets in nonmonotonic logic programs.

Chiaki Sakama

ACM Trans. Comput. Log., 2005

Ordering default theories and nonmonotonic logic programs.

Chiaki Sakama

Theor. Comput. Sci., 2005

Inductive Equivalence of Logic Programs.

Chiaki Sakama, Katsumi Inoue

Proceedings of the Inductive Logic Programming, 15th International Conference, 2005

Equivalence in Abductive Logic.

Katsumi Inoue, Chiaki Sakama

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Combining Answer Sets of Nonmonotonic Logic Programs.

Chiaki Sakama, Katsumi Inoue

Proceedings of the Answer Set Programming, 2005

2004

The PLP System.

Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Equivalence of Logic Programs Under Updates.

Katsumi Inoue, Chiaki Sakama

Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Coordination Between Logical Agents.

Chiaki Sakama, Katsumi Inoue

Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

2003

An abductive framework for computing knowledge base updates.

Chiaki Sakama, Katsumi Inoue

Theory Pract. Log. Program., 2003

Computing Preferred Answer Sets in Answer Set Programming.

Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta

Proceedings of the Logic for Programming, 2003

Ordering Default Theories.

Chiaki Sakama

Proceedings of the IJCAI-03, 2003

Discovery of Cellular Automata Rules Using Cases.

Ken-ichi Maeda, Chiaki Sakama

Proceedings of the Discovery Science, 6th International Conference, 2003

2002

Disjunctive Explanations.

Katsumi Inoue, Chiaki Sakama

Proceedings of the Logic Programming, 18th International Conference, 2002

Towards the Integration of Inductive and Nonmonotonic Logic Programming.

Chiaki Sakama

Proceedings of the Progress in Discovery Science, 2002

2001

Nonmonotonic Inductive Logic Programming.

Chiaki Sakama

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Learning by Answer Sets.

Chiaki Sakama

Proceedings of the Answer Set Programming, 2001

2000

Abductive logic programming and disjunctive logic programming: their relationship and transferability.

Chiaki Sakama, Katsumi Inoue

J. Log. Program., 2000

Prioritized logic programming and its application to commonsense reasoning.

Chiaki Sakama, Katsumi Inoue

Artif. Intell., 2000

Inverse Entailment in Nonmonotonic Logic Programs.

Chiaki Sakama

Proceedings of the Inductive Logic Programming, 10th International Conference, 2000

Speculative Computation by Abduction under Incomplete Communication Environments.

Ken Satoh, Katsumi Inoue, Koji Iwanuma, Chiaki Sakama

Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

A Defeasible Reasoning System in Multi-Agent Environment.

Chiaki Sakama, Katsumi Inoue, Koji Iwanuma, Ken Satoh

Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

1999

Computing Extended Abduction Through Transaction Programs.

Katsumi Inoue, Chiaki Sakama

Ann. Math. Artif. Intell., 1999

Updating Extended Logic Programs through Abduction.

Chiaki Sakama, Katsumi Inoue

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Some Properties of Invers Resolution in Normal Logic Programs.

Chiaki Sakama

Proceedings of the Inductive Logic Programming, 9th International Workshop, 1999

Abducing Priorities to Derive Intended Conclusions.

Katsumi Inoue, Chiaki Sakama

Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998

Negation as Failure in the Head.

Katsumi Inoue, Chiaki Sakama

J. Log. Program., 1998

Specifying Transactions for Extended Abduction.

Katsumi Inoue, Chiaki Sakama

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

1997

Partial Deduction in Disjunctive Logic Programming.

Chiaki Sakama, Hirohisa Seki

J. Log. Program., 1997

1996

A Fixpoint Characterization of Abductive Logic Programs.

Katsumi Inoue, Chiaki Sakama

J. Log. Program., 1996

Representing Priorities in Logic Programs.

Chiaki Sakama, Katsumi Inoue

Proceedings of the Logic Programming, 1996

1995

Paraconsistent Stable Semantics for Extended Disjunctive Programs.

Chiaki Sakama, Katsumi Inoue

J. Log. Comput., 1995

Embedding Circumscriptive Theories in General Disjunctive Programs.

Chiaki Sakama, Katsumi Inoue

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

Abductive Framework for Nonmonotonic Theory Change.

Katsumi Inoue, Chiaki Sakama

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

The Effect of Partial Deduction in Abductive Reasoning.

Chiaki Sakama, Katsumi Inoue

Proceedings of the Logic Programming, 1995

1994

An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases.

Chiaki Sakama, Katsumi Inoue

J. Autom. Reason., 1994

Partial Deduction of Disjunctive Logic Programs: A Declarative Approach.

Chiaki Sakama, Hirohisa Seki

Proceedings of the Logic Programming Synthesis and Transformation, 1994

On Positive Occurrences of Negation as Failure.

Katsumi Inoue, Chiaki Sakama

Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

On the Equivalence between Disjunctive and Abductive Logic Programs.

Chiaki Sakama, Katsumi Inoue

Proceedings of the Logic Programming, 1994

1993

Relating Disjunctive Logic Programs to Default Theories.

Chiaki Sakama, Katsumi Inoue

Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Negation in Disjunctive Logic Programs.

Chiaki Sakama, Katsumi Inoue

Proceedings of the Logic Programming, 1993

Transforming Abductive Logic Programs to Disjunctive Programs.

Katsumi Inoue, Chiaki Sakama

Proceedings of the Logic Programming, 1993

1992

Extended Well-Founded Semantics for Paraconsistent Logic Programs.

Chiaki Sakama

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1990

Possible Model Semantics for Disjunctive Databases II (Extended Abstract).

Chiaki Sakama

Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, 1990

1989

Possible Model Semantics for Disjunctive Databases.

Chiaki Sakama

Proceedings of the Deductive and Object-Oriented Databases, 1989

1988

Partial Evaluation of Queries in Deductive Databases.

Chiaki Sakama, Hidenori Itoh

New Gener. Comput., 1988

Nonmonotonic Parallel Inheritance Network.

Chiaki Sakama, Akira Okumura

Proceedings of the Logic Programming '88, 1988

Handling Knowledge by its Representative.

Chiaki Sakama, Hidenori Itoh

Proceedings of the Expert Database Systems, 1988

1987

Parallel Control Techniques for Dedicated Relational Database Engines.

Hidenori Itoh, Masaaki Abe, Chiaki Sakama, Yuji Mitomo

Proceedings of the Third International Conference on Data Engineering, 1987