Chiaki Sakama

发表

Arg-LPNMR 2016 Proceedings

P. M. Dung, Mauricio Osorio, S. A. Gaggl, 2016 .

Learning Delayed Influences of Biological Systems

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

Logic programming in tensor spaces

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

Inductive Extension of Abduction

Chiaki Sakama, 2008 .

NORTH-HfRLAND PARTIAL DEDUCTION IN DISJUNCTIVE LOGIC PROGRAMMING

Chiaki Sakama, 2003 .

Computingextended abduction throughtransaction programs

Katsumi Inoue, Chiaki Sakama, K. Inoue, 1999 .

Interlinking Logic Programs and Argumentation Frameworks

Tran Cao Son, Chiaki Sakama, 2022, LPNMR.

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.

Deception in Epistemic Causal Logic

Chiaki Sakama, 2021, Communications in Computer and Information Science.

Disjunctive Abduction

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

Evolution of Self-interested Agents: An Experimental Study

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

Prioritized logic programming and its application to commonsense reasoning

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

Computing Preferred Answer Sets in Answer Set Programming

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

Possible Model Semantics for Disjunctive Databases

Chiaki Sakama, Chiaki Sakama, 1989, DOOD.

Some Properties of Invers Resolution in Normal Logic Programs

Chiaki Sakama, Chiaki Sakama, 1999, ILP.

Brave induction: a logical framework for learning from incomplete information

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

Induction from answer sets in nonmonotonic logic programs

Chiaki Sakama, Chiaki Sakama, 2005, TOCL.

On the Existence of Answer Sets in Normal Extended Logic Programs

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

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

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

Exploring Relations between Answer Set Programs

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

Nonmonotonic Inductive Logic Programming

Chiaki Sakama, Chiaki Sakama, 2001, LPNMR.

Learning Inference Rules from Data

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

Learning Inference by Induction

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

Speculative computation by abduction under incomplete communication environments

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

Ordering default theories and nonmonotonic logic programs

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

A Formal Account of Deception

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

A BDD-Based Algorithm for Learning from Interpretation Transition

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

Learning from interpretation transition

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

Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation

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

Possible Model Semantics for Disjunctive Databases II (Extended Abstract)

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

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

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

Negation as Failure in the Head

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

A Fixpoint Characterization of Abductive Logic Programs

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

On the Equivalence between Disjunctive and Abductive Logic Programs

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

Transforming Abductive Logic Programs to Disjunctive Programs

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

Learning by Answer Sets

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

The Effect of Partial Deduction in Abductive Reasoning

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

On Positive Occurrences of Negation as Failure

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

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).

A formal account of dishonesty

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

Abductive Equivalence in First-order Logic

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

[Relationship between catecholamine levels in amniotic fluid and fetal blood flow in fetal distress].

A. Sekizawa, Chiaki Sakama, H. Saito, 1995, Nihon Sanka Fujinka Gakkai zasshi.

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

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

Epistemic Argumentation Framework: Theory and Computation

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

Epistemic Argumentation Framework

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

Representing Argumentation Frameworks in Answer Set Programming

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

A Causal Theory of Speech Acts

Chiaki Sakama, Chiaki Sakama, 2017, LORI.

Linear Algebraic Characterization of Logic Programs

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

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

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

Comparing Abductive Theories

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

Generality Relations in Answer Set Programming

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

Formalizing Commitments Using Action Languages

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

Social Default Theories

Chiaki Sakama, Chiaki Sakama, 2009, LPNMR.

Negation in Disjunctive Logic Programs

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

Updating Extended Logic Programs through Abduction

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

Computing extended abduction through transaction programs

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

Extended Well-Founded Semantics for Paraconsistent Logic Programs

Chiaki Sakama, Chiaki Sakama, 1992, FGCS.

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

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

Human Conditional Reasoning in Answer Set Programming

Chiaki Sakama, 2023, NMR.

Paraconsistent Stable Semantics for Extended Disjunctive Programs

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

A Logical Account of Lying

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

Inductive equivalence in clausal logic and nonmonotonic logic programming

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