| 2024 | COMMA | Argument and Belief. | Chiaki Sakama |
| 2024 | ICTAI | Linear Algebraic Partial Evaluation of Logic Programs. | Tuan Nguyen, Katsumi Inoue, Chiaki Sakama |
| 2023 | PADL | Linear Algebraic Abduction with Partial Evaluation. | Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama |
| 2022 | LPNMR | Interlinking Logic Programs and Argumentation Frameworks. | Chiaki Sakama, Tran Cao Son |
| 2021 | ILP | Feature Learning by Least Generalization. | Hien D. Nguyen, Chiaki Sakama |
| 2021 | ICTAI | Linear Algebraic Computation of Propositional Horn Abduction. | Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama |
| 2020 | ICAART | From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces. | Taisuke Sato, Chiaki Sakama, Katsumi Inoue |
| 2019 | ECSQARU | Ordering Argumentation Frameworks. | Chiaki Sakama, Katsumi Inoue |
| 2019 | ILP | A New Algorithm for Computing Least Generalization of a Set of Atoms. | Hien D. Nguyen, Chiaki Sakama |
| 2019 | PRICAI | Epistemic Argumentation Framework. | Chiaki Sakama, Tran Cao Son |
| 2018 | IJCAI | Abducing Relations in Continuous Spaces. | Taisuke Sato, Katsumi Inoue, Chiaki Sakama |
| 2017 | KSEM | Linear Algebraic Characterization of Logic Programs. | Chiaki Sakama, Katsumi Inoue, Taisuke Sato |
| 2015 | ICMLA | Learning Multi-valued Biological Models with Delayed Influence from Time-Series Observations. | Tony Ribeiro, Morgan Magnin, Katsumi Inoue, Chiaki Sakama |
| 2015 | ILP | Learning Inference by Induction. | Chiaki Sakama, Tony Ribeiro, Katsumi Inoue |
| 2014 | COMMA | Counterfactual Reasoning in Argumentation Frameworks. | Chiaki Sakama |
| 2013 | ILP | A BDD-Based Algorithm for Learning from Interpretation Transition. | Tony Ribeiro, Katsumi Inoue, Chiaki Sakama |
| 2012 | COMMA | Dishonest Arguments in Debate Games. | Chiaki Sakama |
| 2012 | ILP | Learning Dishonesty. | Chiaki Sakama |
| 2011 | IJCAI | Dishonest Reasoning by Abduction. | Chiaki Sakama |
| 2011 | IJCAI | A Logical Formulation for Negotiation among Dishonest Agents. | Chiaki Sakama, Tran Cao Son, Enrico Pontelli |
| 2011 | LPNMR | ASP-Prolog for Negotiation among Dishonest Agents. | Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
| 2010 | JELIA | A Logical Account of Lying. | Chiaki Sakama, Martin Caminada, Andreas Herzig |
| 2009 | ICLP | Logic Programming for Multiagent Planning with Negotiation. | Tran Cao Son, Enrico Pontelli, Chiaki Sakama |
| 2009 | IJCAI | Negotiation Using Logic Programming with Consistency Restoring Rules. | Tran Cao Son, Chiaki Sakama |
| 2009 | LPNMR | Social Default Theories. | Chiaki Sakama |
| 2008 | ECAI | Comparing Abductive Theories. | Katsumi Inoue, Chiaki Sakama |
| 2008 | ILP | Brave Induction. | Chiaki Sakama, Katsumi Inoue |
| 2007 | AAAI | Generality and Equivalence Relations in Default Logic. | Katsumi Inoue, Chiaki Sakama |
| 2006 | ECAI | On the Existence of Answer Sets in Normal Extended Logic Programs. | Martin Caminada, Chiaki Sakama |
| 2006 | ICLP | Generality Relations in Answer Set Programming. | Katsumi Inoue, Chiaki Sakama |
| 2006 | LOPSTR | Constructing Consensus Logic Programs. | Chiaki Sakama, Katsumi Inoue |
| 2005 | IJCAI | Equivalence in Abductive Logic. | Katsumi Inoue, Chiaki Sakama |
| 2005 | ILP | Inductive Equivalence of Logic Programs. | Chiaki Sakama, Katsumi Inoue |
| 2004 | JELIA | Equivalence of Logic Programs Under Updates. | Katsumi Inoue, Chiaki Sakama |
| 2004 | JELIA | The PLP System. | Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta |
| 2003 | DIS | Discovery of Cellular Automata Rules Using Cases. | Ken-ichi Maeda, Chiaki Sakama |
| 2003 | IJCAI | Ordering Default Theories. | Chiaki Sakama |
| 2003 | LPAR | Computing Preferred Answer Sets in Answer Set Programming. | Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta |
| 2002 | ICLP | Disjunctive Explanations. | Katsumi Inoue, Chiaki Sakama |
| 2001 | LPNMR | Nonmonotonic Inductive Logic Programming. | Chiaki Sakama |
| 2000 | ILP | Inverse Entailment in Nonmonotonic Logic Programs. | Chiaki Sakama |
| 1999 | IJCAI | Abducing Priorities to Derive Intended Conclusions. | Katsumi Inoue, Chiaki Sakama |
| 1999 | ILP | Some Properties of Invers Resolution in Normal Logic Programs. | Chiaki Sakama |
| 1999 | LPNMR | Updating Extended Logic Programs through Abduction. | Chiaki Sakama, Katsumi Inoue |
| 1998 | KR | Specifying Transactions for Extended Abduction. | Katsumi Inoue, Chiaki Sakama |
| 1996 | ICLP | Representing Priorities in Logic Programs. | Chiaki Sakama, Katsumi Inoue |
| 1995 | ICLP | The Effect of Partial Deduction in Abductive Reasoning. | Chiaki Sakama, Katsumi Inoue |
| 1995 | IJCAI | Abductive Framework for Nonmonotonic Theory Change. | Katsumi Inoue, Chiaki Sakama |
| 1995 | LPNMR | Embedding Circumscriptive Theories in General Disjunctive Programs. | Chiaki Sakama, Katsumi Inoue |
| 1994 | ICLP | On the Equivalence between Disjunctive and Abductive Logic Programs. | Chiaki Sakama, Katsumi Inoue |
| 1994 | KR | On Positive Occurrences of Negation as Failure. | Katsumi Inoue, Chiaki Sakama |
| 1994 | LOPSTR | Partial Deduction of Disjunctive Logic Programs: A Declarative Approach. | Chiaki Sakama, Hirohisa Seki |
| 1993 | ICLP | Transforming Abductive Logic Programs to Disjunctive Programs. | Katsumi Inoue, Chiaki Sakama |
| 1993 | ICLP | Negation in Disjunctive Logic Programs. | Chiaki Sakama, Katsumi Inoue |
| 1993 | LPNMR | Relating Disjunctive Logic Programs to Default Theories. | Chiaki Sakama, Katsumi Inoue |
| 1990 | LPNMR | Possible Model Semantics for Disjunctive Databases II (Extended Abstract). | Chiaki Sakama |
| 1987 | ICDE | Parallel Control Techniques for Dedicated Relational Database Engines. | Hidenori Itoh, Masaaki Abe, Chiaki Sakama, Yuji Mitomo |