Parallel Control Techniques for Dedicated Relational Database Engines. - Hidenori Itoh; Masaaki Abe; Chiaki Sakama; Yuji Mitomo (ICDE, 1987)

Handling Knowledge by its Representative. - Chiaki Sakama; Hidenori Itoh (Expert Database Conf., 1988)

Nonmonotonic Parallel Inheritance Network. - Chiaki Sakama; Akira Okumura (LP, 1988)

Partial Evaluation of Queries in Deductive Databases. - Chiaki Sakama; Hidenori Itoh (New Gener. Comput., 1988)

Possible Model Semantics for Disjunctive Databases. - Chiaki Sakama (DOOD, 1989)

Possible Model Semantics for Disjunctive Databases II (Extended Abstract). - Chiaki Sakama (LPNMR, 1990)

Extended Well-Founded Semantics for Paraconsistent Logic Programs. - Chiaki Sakama (FGCS, 1992)

Transforming Abductive Logic Programs to Disjunctive Programs. - Katsumi Inoue; Chiaki Sakama (ICLP, 1993)

Negation in Disjunctive Logic Programs. - Chiaki Sakama; Katsumi Inoue (ICLP, 1993)

Relating Disjunctive Logic Programs to Default Theories. - Chiaki Sakama; Katsumi Inoue (LPNMR, 1993)

On the Equivalence between Disjunctive and Abductive Logic Programs. - Chiaki Sakama; Katsumi Inoue (ICLP, 1994)

On Positive Occurrences of Negation as Failure. - Katsumi Inoue; Chiaki Sakama (KR, 1994)

Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. - Chiaki Sakama; Hirohisa Seki (LOPSTR, 1994)

An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases. - Chiaki Sakama; Katsumi Inoue (J. Autom. Reason., 1994)

The Effect of Partial Deduction in Abductive Reasoning. - Chiaki Sakama; Katsumi Inoue (ICLP, 1995)

Abductive Framework for Nonmonotonic Theory Change. - Katsumi Inoue; Chiaki Sakama (IJCAI, 1995)

Embedding Circumscriptive Theories in General Disjunctive Programs. - Chiaki Sakama; Katsumi Inoue (LPNMR, 1995)

Paraconsistent Stable Semantics for Extended Disjunctive Programs. - Chiaki Sakama; Katsumi Inoue (J. Log. Comput., 1995)

Representing Priorities in Logic Programs. - Chiaki Sakama; Katsumi Inoue (JICSLP, 1996)

A Fixpoint Characterization of Abductive Logic Programs. - Katsumi Inoue; Chiaki Sakama (J. Log. Program., 1996)

Partial Deduction in Disjunctive Logic Programming. - Chiaki Sakama; Hirohisa Seki (J. Log. Program., 1997)

Specifying Transactions for Extended Abduction. - Katsumi Inoue; Chiaki Sakama (KR, 1998)

Negation as Failure in the Head. - Katsumi Inoue; Chiaki Sakama (J. Log. Program., 1998)

Abducing Priorities to Derive Intended Conclusions. - Katsumi Inoue; Chiaki Sakama (IJCAI, 1999)

Some Properties of Invers Resolution in Normal Logic Programs. - Chiaki Sakama (ILP, 1999)

Updating Extended Logic Programs through Abduction. - Chiaki Sakama; Katsumi Inoue (LPNMR, 1999)

Computing Extended Abduction Through Transaction Programs. - Katsumi Inoue; Chiaki Sakama (Ann. Math. Artif. Intell., 1999)

A Defeasible Reasoning System in Multi-Agent Environment. - Chiaki Sakama; Katsumi Inoue; Koji Iwanuma; Ken Satoh (CL-2000 Workshop on Computational Logic in Multi-Agent Systems, 2000)

Speculative Computation by Abduction under Incomplete Communication Environments. - Ken Satoh; Katsumi Inoue; Koji Iwanuma; Chiaki Sakama (ICMAS, 2000)

Inverse Entailment in Nonmonotonic Logic Programs. - Chiaki Sakama (ILP, 2000)

Prioritized logic programming and its application to commonsense reasoning. - Chiaki Sakama; Katsumi Inoue (Artif. Intell., 2000)

Abductive logic programming and disjunctive logic programming: their relationship and transferability. - Chiaki Sakama; Katsumi Inoue (J. Log. Program., 2000)

Learning by Answer Sets. - Chiaki Sakama (Answer Set Programming, 2001)

Nonmonotonic Inductive Logic Programming. - Chiaki Sakama (LPNMR, 2001)

Towards the Integration of Inductive and Nonmonotonic Logic Programming. - Chiaki Sakama (Progress in Discovery Science, 2002)

Disjunctive Explanations. - Katsumi Inoue; Chiaki Sakama (ICLP, 2002)

Discovery of Cellular Automata Rules Using Cases. - Ken-ichi Maeda; Chiaki Sakama (Discovery Science, 2003)

Ordering Default Theories. - Chiaki Sakama (IJCAI, 2003)

Computing Preferred Answer Sets in Answer Set Programming. - Toshiko Wakaki; Katsumi Inoue; Chiaki Sakama; Katsumi Nitta (LPAR, 2003)

An abductive framework for computing knowledge base updates. - Chiaki Sakama; Katsumi Inoue (Theory Pract. Log. Program., 2003)

Coordination Between Logical Agents. - Chiaki Sakama; Katsumi Inoue (CLIMA, 2004)

Equivalence of Logic Programs Under Updates. - Katsumi Inoue; Chiaki Sakama (JELIA, 2004)

The PLP System. - Toshiko Wakaki; Katsumi Inoue; Chiaki Sakama; Katsumi Nitta (JELIA, 2004)

Combining Answer Sets of Nonmonotonic Logic Programs. - Chiaki Sakama; Katsumi Inoue (Answer Set Programming, 2005)

Equivalence in Abductive Logic. - Katsumi Inoue; Chiaki Sakama (IJCAI, 2005)

Inductive Equivalence of Logic Programs. - Chiaki Sakama; Katsumi Inoue (ILP, 2005)

Ordering default theories and nonmonotonic logic programs. - Chiaki Sakama (Theor. Comput. Sci., 2005)

Induction from answer sets in nonmonotonic logic programs. - Chiaki Sakama (ACM Trans. Comput. Log., 2005)

On the Existence of Answer Sets in Normal Extended Logic Programs. - Martin Caminada; Chiaki Sakama (ECAI, 2006)

Generality Relations in Answer Set Programming. - Katsumi Inoue; Chiaki Sakama (ICLP, 2006)

Constructing Consensus Logic Programs. - Chiaki Sakama; Katsumi Inoue (LOPSTR, 2006)

Abductive Equivalence in First-order Logic. - Katsumi Inoue; Chiaki Sakama (Log. J. IGPL, 2006)

Generality and Equivalence Relations in Default Logic. - Katsumi Inoue; Chiaki Sakama (AAAI, 2007)

Negotiation by abduction and relaxation. - Chiaki Sakama; Katsumi Inoue (AAMAS, 2007)

Identifying Cellular Automata Rules. - Ken-ichi Maeda; Chiaki Sakama (J. Cell. Autom., 2007)

Negotiation by induction. - Chiaki Sakama (AAMAS (3), 2008)

Inductive Negotiation in Answer Set Programming. - Chiaki Sakama (DALT, 2008)

Comparing Abductive Theories. - Katsumi Inoue; Chiaki Sakama (ECAI, 2008)

Brave Induction. - Chiaki Sakama; Katsumi Inoue (ILP, 2008)

Coordination in answer set programming. - Chiaki Sakama; Katsumi Inoue (ACM Trans. Comput. Log., 2008)

Interacting Answer Sets. - Chiaki Sakama; Tran Cao Son (CLIMA, 2009)

Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming. - Tran Cao Son; Chiaki Sakama (DALT, 2009)

Logic Programming for Multiagent Planning with Negotiation. - Tran Cao Son; Enrico Pontelli; Chiaki Sakama (ICLP, 2009)

Negotiation Using Logic Programming with Consistency Restoring Rules. - Tran Cao Son; Chiaki Sakama (IJCAI, 2009)

Social Default Theories. - Chiaki Sakama (LPNMR, 2009)

Equivalence issues in abduction and induction. - Chiaki Sakama; Katsumi Inoue (J. Appl. Log., 2009)

Brave induction: a logical framework for learning from incomplete information. - Chiaki Sakama; Katsumi Inoue (Mach. Learn., 2009)

A Logical Account of Lying. - Chiaki Sakama; Martin Caminada; Andreas Herzig (JELIA, 2010)

An Experiment in Formalizing Commitments Using Action Languages. - Tran Cao Son; Enrico Pontelli; Chiaki Sakama (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2011)

Exploring Relations between Answer Set Programs. - Katsumi Inoue; Chiaki Sakama (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

Formalizing Commitments Using Action Languages. - Tran Cao Son; Enrico Pontelli; Chiaki Sakama (DALT, 2011)

Dishonest Reasoning by Abduction. - Chiaki Sakama (IJCAI, 2011)

A Logical Formulation for Negotiation among Dishonest Agents. - Chiaki Sakama; Tran Cao Son; Enrico Pontelli (IJCAI, 2011)

Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users. - Katsumi Inoue; Chiaki Sakama; Lena Wiese (INAP/WLP, 2011)

ASP-Prolog for Negotiation among Dishonest Agents. - Ngoc-Hieu Nguyen; Tran Cao Son; Enrico Pontelli; Chiaki Sakama (LPNMR, 2011)

Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction - Katsumi Inoue; Chiaki Sakama; Lena Wiese (CoRR, 2011)

Inductive equivalence in clausal logic and nonmonotonic logic programming. - Chiaki Sakama; Katsumi Inoue (Mach. Learn., 2011)

Oscillating Behavior of Logic Programs. - Katsumi Inoue; Chiaki Sakama (Correct Reasoning, 2012)

Dishonest Arguments in Debate Games. - Chiaki Sakama (COMMA, 2012)

Learning Dishonesty. - Chiaki Sakama (ILP, 2012)

A BDD-Based Algorithm for Learning from Interpretation Transition. - Tony Ribeiro; Katsumi Inoue; Chiaki Sakama (ILP, 2013)

Debate Games in Logic Programming. - Chiaki Sakama (KDPD, 2013)

Abduction in Argumentation Frameworks and Its Use in Debate Games. - Chiaki Sakama (JSAI-isAI Workshops, 2013)

Evolution of Self-interested Agents: An Experimental Study. - Naoki Yamada; Chiaki Sakama (MIWAI, 2013)

Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning. - Katsumi Inoue; Chiaki Sakama (CoRR, 2013)

Abduction, unpredictability and Garden of Eden. - Chiaki Sakama; Katsumi Inoue (Log. J. IGPL, 2013)

Counterfactual Reasoning in Argumentation Frameworks. - Chiaki Sakama (COMMA, 2014)

Learning from interpretation transition. - Katsumi Inoue; Tony Ribeiro; Chiaki Sakama (Mach. Learn., 2014)

Formalizing Negotiations Using Logic Programming. - Tran Cao Son; Enrico Pontelli; Ngoc-Hieu Nguyen; Chiaki Sakama (ACM Trans. Comput. Log., 2014)

A Formal Account of Deception. - Chiaki Sakama (AAAI Fall Symposia, 2015)

Abduction and Conversational Implicature (Extended Abstract). - Chiaki Sakama; Katsumi Inoue (AAAI Spring Symposia, 2015)

Can Machines Learn Logics? - Chiaki Sakama; Katsumi Inoue (AGI, 2015)

Learning Multi-valued Biological Models with Delayed Influence from Time-Series Observations. - Tony Ribeiro; Morgan Magnin; Katsumi Inoue; Chiaki Sakama (ICMLA, 2015)

Learning Inference by Induction. - Chiaki Sakama; Tony Ribeiro; Katsumi Inoue (ILP, 2015)

On the Issue of Argumentation and Informedness. - Martin Caminada; Chiaki Sakama (JSAI-isAI Workshops, 2015)

Persistence and Monotony Properties of Argumentation Semantics. - Tjitze Rienstra; Chiaki Sakama; Leendert W. N. van der Torre (TAFA, 2015)

Multiagent Collaborative Search with Self-Interested Agents. - Ryuki Shimoji; Chiaki Sakama (WI-IAT (2), 2015)

A formal account of dishonesty. - Chiaki Sakama; Martin Caminada; Andreas Herzig (Log. J. IGPL, 2015)

Abduction, conversational implicature and misleading in human dialogues. - Chiaki Sakama; Katsumi Inoue (Log. J. IGPL, 2016)

Linear Algebraic Characterization of Logic Programs. - Chiaki Sakama; Katsumi Inoue; Taisuke Sato (KSEM, 2017)

A Causal Theory of Speech Acts. - Chiaki Sakama (LORI, 2017)

Representing Argumentation Frameworks in Answer Set Programming. - Chiaki Sakama; Tjitze Rienstra (Fundam. Informaticae, 2017)

Abducing Relations in Continuous Spaces. - Taisuke Sato; Katsumi Inoue; Chiaki Sakama (IJCAI, 2018)

Computing Logic Programming Semantics in Linear Algebra. - Hien D. Nguyen 002; Chiaki Sakama; Taisuke Sato; Katsumi Inoue (MIWAI, 2018)

Partial Evaluation of Logic Programs in Vector Spaces. - Chiaki Sakama; Hien D. Nguyen 002; Taisuke Sato; Katsumi Inoue (CoRR, 2018)

Abduction in argumentation frameworks. - Chiaki Sakama (J. Appl. Non Class. Logics, 2018)

Ordering Argumentation Frameworks. - Chiaki Sakama; Katsumi Inoue (ECSQARU, 2019)

A New Algorithm for Computing Least Generalization of a Set of Atoms. - Hien D. Nguyen 002; Chiaki Sakama (ILP, 2019)

Epistemic Argumentation Framework. - Chiaki Sakama; Tran Cao Son (PRICAI (1), 2019)

Learning Inference Rules from Data. - Chiaki Sakama; Katsumi Inoue; Tony Ribeiro (Künstliche Intell., 2019)

Disjunctive Abduction. - Katsumi Inoue; Chiaki Sakama (New Gener. Comput., 2019)

From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces. - Taisuke Sato; Chiaki Sakama; Katsumi Inoue (ICAART (2), 2020)

A principle-based robustness analysis of admissibility-based argumentation semantics. - Tjitze Rienstra; Chiaki Sakama; Leendert van der Torre; Beishui Liao (Argument Comput., 2020)

Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation. - Tuan Nguyen Quoc; Katsumi Inoue; Chiaki Sakama (ICLP Technical Communications, 2020)

Epistemic Argumentation Framework: Theory and Computation. - Chiaki Sakama; Tran Cao Son (J. Artif. Intell. Res., 2020)

Predicting Air Ticket Demand using Deep Neural Networks. - Kodai Imanaka; Chiaki Sakama (IEEE BigData, 2021)

Linear Algebraic Computation of Propositional Horn Abduction. - Tuan Nguyen Quoc; Katsumi Inoue; Chiaki Sakama (ICTAI, 2021)

Feature Learning by Least Generalization. - Hien D. Nguyen 002; Chiaki Sakama (ILP, 2021)

Logic programming in tensor spaces. - Chiaki Sakama; Katsumi Inoue; Taisuke Sato (Ann. Math. Artif. Intell., 2021)

An efficient reasoning method on logic programming using partial evaluation in vector spaces. - Hien D. Nguyen 002; Chiaki Sakama; Taisuke Sato; Katsumi Inoue (J. Log. Comput., 2021)

Interlinking Logic Programs and Argumentation Frameworks. - Chiaki Sakama; Tran Cao Son (LPNMR, 2022)

A Formal Analysis of Hollis' Paradox. - Thomas Ågotnes; Chiaki Sakama (LORI, 2023)

Linear Algebraic Abduction with Partial Evaluation. - Tuan Nguyen Quoc; Katsumi Inoue; Chiaki Sakama (PADL, 2023)

Argument and Belief. - Chiaki Sakama (COMMA, 2024)

On Automatic Generation of Escher-Like Metamorphosis. - Shunsuke Nakamatsu; Chiaki Sakama (MIWAI (1), 2024)

Linear Algebraic Partial Evaluation of Logic Programs. - Tuan Nguyen; Katsumi Inoue; Chiaki Sakama (NMR, 2024)

Human Conditional Reasoning in Answer Set Programming. - Chiaki Sakama (Theory Pract. Log. Program., 2024)

Formal Verification of Manipulation Dialogues. - Andreas Brännström; Chiaki Sakama; Juan Carlos Nieves (AAMAS, 2025)