Chiaki Sakama

发表

Evolution of Self-interested Agents: An Experimental Study

Chiaki Sakama, Naoki Yamada, Chiaki Sakama, 2013, MIWAI.

Disjunctive Explanations

Chiaki Sakama, Katsumi Inoue, 2002, ICLP.

On the Existence of Answer Sets in Normal Extended Logic Programs

Chiaki Sakama, Martin Caminada, Martin Wigbertus Antonius Caminada, 2006, ECAI.

A Defeasible Reasoning System in Multi-Agent Environment

Chiaki Sakama, Katsumi Inoue, Koji Iwanuma, 2000, CL-2000 Workshop on Computational Logic in Multi-Agent Systems.

Constructing Consensus Logic Programs

Chiaki Sakama, Katsumi Inoue, 2006, LOPSTR.

Learning Inference Rules from Data

Chiaki Sakama, Katsumi Inoue, Tony Ribeiro, 2019, KI - Künstliche Intelligenz.

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

Chiaki Sakama, Bei Shui Liao, Tjitze Rienstra, 2020, Argument Comput..

Embedding Circumscriptive Theories in General Disjunctive Programs

Chiaki Sakama, Katsumi Inoue, 1995, LPNMR.

Equivalence in Abductive Logic

Chiaki Sakama, Katsumi Inoue, 2005, IJCAI.

Studies on disjunctive logic programming

Chiaki Sakama, 1995 .

A Logical Account of Lying

Chiaki Sakama, Andreas Herzig, Martin Caminada, 2010, JELIA.

Abductive Framework for Nonmonotonic Theory Change

Chiaki Sakama, Katsumi Inoue, 1995, IJCAI.

Linear Algebraic Characterization of Logic Programs

Chiaki Sakama, Katsumi Inoue, Taisuke Sato, 2017, KSEM.

Dishonest Arguments in Debate Games

Chiaki Sakama, 2012, COMMA.

The PLP System

Chiaki Sakama, Katsumi Inoue, Katsumi Nitta, 2004, JELIA.

Epistemic Argumentation Framework

Chiaki Sakama, Tran Cao Son, Chiaki Sakama, 2019, PRICAI.

Formalizing Negotiations Using Logic Programming

Chiaki Sakama, Enrico Pontelli, Tran Cao Son, 2014, TOCL.

Exploring Relations between Answer Set Programs

Chiaki Sakama, Katsumi Inoue, Katsumi Inoue, 2011, Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning.

Can Machines Learn Logics?

Chiaki Sakama, Katsumi Inoue, 2015, AGI.

Parallel control techniques for dedicated relational database engines

Chiaki Sakama, Hidenori Itoh, Masaaki Abe, 1987, 1987 IEEE Third International Conference on Data Engineering.

A formal account of dishonesty

Chiaki Sakama, Andreas Herzig, Martin Caminada, 2015, Log. J. IGPL.

Negotiation Using Logic Programming with Consistency Restoring Rules

Chiaki Sakama, Tran Cao Son, 2009, IJCAI.

Ordering Argumentation Frameworks

Chiaki Sakama, Katsumi Inoue, 2019, ECSQARU.

Partial Deduction of Disjunctive Logic Programs: A Declarative Approach

Chiaki Sakama, Hirohisa Seki, 1994, LOPSTR.

A Logical Formulation for Negotiation among Dishonest Agents

Chiaki Sakama, Enrico Pontelli, Tran Cao Son, 2011, IJCAI.

A Causal Theory of Speech Acts

Chiaki Sakama, Chiaki Sakama, 2017, LORI.

Prioritized logic programming and its application to commonsense reasoning

Chiaki Sakama, Katsumi Inoue, Katsumi Inoue, 2000, Artif. Intell..

Identifying Cellular Automata Rules

Chiaki Sakama, Ken-ichi Maeda, 2007, J. Cell. Autom..

The Effect of Partial Deduction in Abductive Reasoning

Chiaki Sakama, Katsumi Inoue, Katsumi Inoue, 1995, ICLP.

Ordering default theories and nonmonotonic logic programs

Chiaki Sakama, Chiaki Sakama, 2005, Theor. Comput. Sci..

Nonmonotonic Inductive Logic Programming

Chiaki Sakama, Chiaki Sakama, 2001, LPNMR.

Oscillating Behavior of Logic Programs

Chiaki Sakama, Katsumi Inoue, 2012, Correct Reasoning.

Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users

Chiaki Sakama, Katsumi Inoue, Lena Wiese, 2011, INAP/WLP.

Some Properties of Invers Resolution in Normal Logic Programs

Chiaki Sakama, Chiaki Sakama, 1999, ILP.

Brave Induction

Chiaki Sakama, Katsumi Inoue, 2008, ILP.

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

Chiaki Sakama, Katsumi Inoue, Morgan Magnin, 2015, 2015 IEEE 14th International Conference on Machine Learning and Applications (ICMLA).

Foundations of Disjunctive Logic Programming, J. Lobo, J. Minker, and A. Rajasekar, The MIT Press, 1992, 307 pages

Chiaki Sakama, 1993 .

Nonmonotonic Parallel Inheritance Network

Chiaki Sakama, Akira Okumura, 1988, LP.

Learning by Answer Sets

Chiaki Sakama, Chiaki Sakama, 2001, Answer Set Programming.

Negation in Disjunctive Logic Programs

Chiaki Sakama, Katsumi Inoue, Katsumi Inoue, 1993, ICLP.

Proceedings of the 8th international conference on Declarative agent languages and technologies VIII

Michael Winikoff, Chiaki Sakama, Wamberto Weber Vasconcelos, 2004 .

Inverse Entailment in Nonmonotonic Logic Programs

Chiaki Sakama, 2000, ILP.

Debate Games in Logic Programming

Chiaki Sakama, 2013, KDPD.

Learning Inference by Induction

Chiaki Sakama, Katsumi Inoue, Tony Ribeiro, 2015, ILP.

Discovery of Cellular Automata Rules Using Cases

Chiaki Sakama, Ken-ichi Maeda, 2003, Discovery Science.

Coordination Between Logical Agents

Chiaki Sakama, Katsumi Inoue, 2004, CLIMA.

A Formal Account of Deception

Chiaki Sakama, Chiaki Sakama, 2015, AAAI Fall Symposia.

On the Issue of Argumentation and Informedness

Chiaki Sakama, Martin Caminada, 2015, JSAI-isAI Workshops.

Abduction and Conversational Implicature (Extended Abstract)

Chiaki Sakama, Katsumi Inoue, 2015, AAAI Spring Symposia.

Equivalence issues in abduction and induction

Chiaki Sakama, Katsumi Inoue, 2009, J. Appl. Log..

Relating Disjunctive Logic Programs to Default Theories

Chiaki Sakama, Katsumi Inoue, 1993, LPNMR.

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

Chiaki Sakama, Katsumi Inoue, Katsumi Inoue, 2000, J. Log. Program..

An abductive framework for computing knowledge base updates

Chiaki Sakama, Katsumi Inoue, 2003, Theory Pract. Log. Program..

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

Chiaki Sakama, Katsumi Inoue, Taisuke Sato, 2020, ICAART.

Partial Deduction in Disjunctive Logic Programming

Chiaki Sakama, Hirohisa Seki, 1997, J. Log. Program..

Social Default Theories

Chiaki Sakama, Chiaki Sakama, 2009, LPNMR.

Comparing Abductive Theories

Chiaki Sakama, Katsumi Inoue, Katsumi Inoue, 2008, ECAI.

Possible Model Semantics for Disjunctive Databases

Chiaki Sakama, Chiaki Sakama, 1989, DOOD.

Computing extended abduction through transaction programs

Chiaki Sakama, Katsumi Inoue, Katsumi Inoue, 1999, Annals of Mathematics and Artificial Intelligence.

Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation

Chiaki Sakama, Katsumi Inoue, Tuan Nguyen Quoc, 2020, New Generation Computing.

Computing Logic Programming Semantics in Linear Algebra

Chiaki Sakama, Katsumi Inoue, Taisuke Sato, 2018, MIWAI.

Induction from answer sets in nonmonotonic logic programs

Chiaki Sakama, Chiaki Sakama, 2005, TOCL.

Formalizing Commitments Using Action Languages

Chiaki Sakama, Enrico Pontelli, Tran Cao Son, 2011, DALT.

Inductive Negotiation in Answer Set Programming

Chiaki Sakama, 2008, DALT.

On Positive Occurrences of Negation as Failure

Chiaki Sakama, Katsumi Inoue, Katsumi Inoue, 1994, KR.

An Experiment in Formalizing Commitments Using Action Languages

Chiaki Sakama, Enrico Pontelli, Tran Cao Son, 2011, AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning.

Learning Delayed Influences of Biological Systems

Chiaki Sakama, Katsumi Inoue, Morgan Magnin, 2015, Front. Bioeng. Biotechnol..

A BDD-Based Algorithm for Learning from Interpretation Transition

Chiaki Sakama, Katsumi Inoue, Tony Ribeiro, 2013, ILP.

Equivalence of Logic Programs Under Updates

Chiaki Sakama, Katsumi Inoue, 2004, JELIA.

Computing Preferred Answer Sets in Answer Set Programming

Chiaki Sakama, Katsumi Inoue, Katsumi Nitta, 2003, LPAR.

Counterfactual Reasoning in Argumentation Frameworks

Chiaki Sakama, 2014, COMMA.

Learning from interpretation transition

Chiaki Sakama, Katsumi Inoue, Tony Ribeiro, 2013, Machine Learning.

Dishonest Reasoning by Abduction

Chiaki Sakama, 2011, IJCAI.

Abducing Priorities to Derive Intended Conclusions

Chiaki Sakama, Katsumi Inoue, 1999, IJCAI.

Brave induction: a logical framework for learning from incomplete information

Chiaki Sakama, Katsumi Inoue, Katsumi Inoue, 2009, Machine Learning.

Persistence and Monotony Properties of Argumentation Semantics

Chiaki Sakama, Leon van der Torre, Tjitze Rienstra, 2015, TAFA.

Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction pdf

Chiaki Sakama, Katsumi Inoue, Lena Wiese, 2011, ArXiv.

Abduction in argumentation frameworks

Chiaki Sakama, 2018, J. Appl. Non Class. Logics.

Possible Model Semantics for Disjunctive Databases II (Extended Abstract)

Chiaki Sakama, Chiaki Sakama, 1990, International Conference on Logic Programming and Non-Monotonic Reasoning.

Inductive Equivalence of Logic Programs

Chiaki Sakama, Katsumi Inoue, 2005, ILP.

Abduction in Argumentation Frameworks and Its Use in Debate Games

Chiaki Sakama, 2013, JSAI-isAI Workshops.

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

Chiaki Sakama, Katsumi Inoue, Katsumi Inoue, 2013, ArXiv.

Inductive equivalence in clausal logic and nonmonotonic logic programming

Chiaki Sakama, Katsumi Inoue, Katsumi Inoue, 2011, Machine Learning.

Generality Relations in Answer Set Programming

Chiaki Sakama, Katsumi Inoue, Katsumi Inoue, 2006, ICLP.

Negotiation by induction

Chiaki Sakama, 2008, AAMAS.

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

Chiaki Sakama, Hien D. Nguyen, Chiaki Sakama, 2019, ILP.

An alternative approach to the semantics of disjunctive logic programs and deductive databases

Chiaki Sakama, Katsumi Inoue, 2004, Journal of Automated Reasoning.

Specifying Transactions for Extended Abduction

Chiaki Sakama, Katsumi Inoue, 1998, KR.

Epistemic Argumentation Framework: Theory and Computation

Chiaki Sakama, Tran Cao Son, Chiaki Sakama, 2020, J. Artif. Intell. Res..

Disjunctive Abduction

Chiaki Sakama, Katsumi Inoue, 2019, New Generation Computing.

Speculative computation by abduction under incomplete communication environments

Chiaki Sakama, Katsumi Inoue, Koji Iwanuma, 2000, Proceedings Fourth International Conference on MultiAgent Systems.

Multiagent Collaborative Search with Self-Interested Agents

Chiaki Sakama, Ryuki Shimoji, 2015, 2015 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology (WI-IAT).

ASP-Prolog for Negotiation among Dishonest Agents

Chiaki Sakama, Enrico Pontelli, Tran Cao Son, 2011, LPNMR.

Abduction, unpredictability and Garden of Eden

Chiaki Sakama, Katsumi Inoue, 2013, Log. J. IGPL.

Partial evaluation of queries in deductive databases

Chiaki Sakama, Hidenori Itoh, 2009, New Generation Computing.

On the Equivalence between Disjunctive and Abductive Logic Programs

Chiaki Sakama, Katsumi Inoue, Katsumi Inoue, 1994, ICLP.

Abducing Relations in Continuous Spaces

Chiaki Sakama, Katsumi Inoue, Taisuke Sato, 2018, IJCAI.

Representing Argumentation Frameworks in Answer Set Programming

Chiaki Sakama, Tjitze Rienstra, Chiaki Sakama, 2017, Fundam. Informaticae.

Coordination in answer set programming

Chiaki Sakama, Katsumi Inoue, 2008, TOCL.

Learning Dishonesty

Chiaki Sakama, 2012, ILP.

Negation as Failure in the Head

Chiaki Sakama, Katsumi Inoue, Katsumi Inoue, 1998, J. Log. Program..

Abductive Equivalence in First-order Logic

Chiaki Sakama, Katsumi Inoue, Katsumi Inoue, 2006, Log. J. IGPL.

Generality and Equivalence Relations in Default Logic

Chiaki Sakama, Katsumi Inoue, 2007, AAAI.

Logic Programming for Multiagent Planning with Negotiation

Chiaki Sakama, Enrico Pontelli, Tran Cao Son, 2009, ICLP.

Interacting Answer Sets

Chiaki Sakama, Tran Cao Son, 2009, CLIMA.

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

Chiaki Sakama, Tran Cao Son, 2009, DALT.

Negotiation by abduction and relaxation

Chiaki Sakama, Katsumi Inoue, 2007, AAMAS '07.

Transforming Abductive Logic Programs to Disjunctive Programs

Chiaki Sakama, Katsumi Inoue, Katsumi Inoue, 1993, ICLP.

Handling Knowledge by its Representative

Chiaki Sakama, Hidenori Itoh, 1988, Expert Database Conf..

Combining Answer Sets of Nonmonotonic Logic Programs

Chiaki Sakama, Katsumi Inoue, 2005, CLIMA.

Towards the Integration of Inductive and Nonmonotonic Logic Programming

Chiaki Sakama, 2002, Progress in Discovery Science.

Updating Extended Logic Programs through Abduction

Chiaki Sakama, Katsumi Inoue, Katsumi Inoue, 1999, LPNMR.

A Fixpoint Characterization of Abductive Logic Programs

Chiaki Sakama, Katsumi Inoue, Katsumi Inoue, 1996, J. Log. Program..

Representing Priorities in Logic Programs

Chiaki Sakama, Katsumi Inoue, 1996, JICSLP.

Extended Well-Founded Semantics for Paraconsistent Logic Programs

Chiaki Sakama, Chiaki Sakama, 1992, FGCS.

Paraconsistent Stable Semantics for Extended Disjunctive Programs

Chiaki Sakama, Katsumi Inoue, Katsumi Inoue, 1995, J. Log. Comput..

Ordering Default Theories

Chiaki Sakama, 2003, IJCAI.

Partial Evaluation of Logic Programs in Vector Spaces pdf

Chiaki Sakama, Katsumi Inoue, Taisuke Sato, 2018, ArXiv.

Linear Algebraic Computation of Propositional Horn Abduction

Chiaki Sakama, Katsumi Inoue, Tuan Nguyen Quoc, 2021, 2021 IEEE 33rd International Conference on Tools with Artificial Intelligence (ICTAI).

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

Chiaki Sakama, Katsumi Inoue, Hien D Nguyen, 2021, J. Log. Comput..

Logic programming in tensor spaces

Chiaki Sakama, Katsumi Inoue, Taisuke Sato, 2021, Annals of Mathematics and Artificial Intelligence.

Abductive Generalization and Specialization

Chiaki Sakama, 2000 .