Chiaki Sakama

136 papers A* 12A 4B 31C 9Journal 38Unranked 40
YearRankTypeTitle / Venue / Authors
2025 A conf
Formal Verification of Manipulation Dialogues.
AAMAS
Andreas Brännström, Chiaki Sakama, Juan Carlos Nieves
2024 C conf
Argument and Belief.
COMMA
Chiaki Sakama
2024 J jnl
Human Conditional Reasoning in Answer Set Programming.
Theory Pract. Log. Program.
Chiaki Sakama
2024 B conf
Linear Algebraic Partial Evaluation of Logic Programs.
ICTAI
Tuan Nguyen, Katsumi Inoue, Chiaki Sakama
2024 — conf
Linear Algebraic Partial Evaluation of Logic Programs.
NMR
Tuan Nguyen, Katsumi Inoue, Chiaki Sakama
2024 — conf
On Automatic Generation of Escher-Like Metamorphosis.
MIWAI (1)
Shunsuke Nakamatsu, Chiaki Sakama
2023 — conf
A Formal Analysis of Hollis' Paradox.
LORI
Thomas Ågotnes, Chiaki Sakama
2023 — conf
Human Conditional Reasoning in Answer Set Programming.
NMR
Chiaki Sakama
2023 J jnl
Human Conditional Reasoning in Answer Set Programming.
CoRR
Chiaki Sakama
2023 C conf
Linear Algebraic Abduction with Partial Evaluation.
PADL
Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
2022 J jnl
Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation.
New Gener. Comput.
Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
2022 B conf
Interlinking Logic Programs and Argumentation Frameworks.
LPNMR
Chiaki Sakama, Tran Cao Son
2021 J jnl
An efficient reasoning method on logic programming using partial evaluation in vector spaces.
J. Log. Comput.
Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue
2021 B conf
Feature Learning by Least Generalization.
ILP
Hien D. Nguyen, Chiaki Sakama
2021 B conf
Linear Algebraic Computation of Propositional Horn Abduction.
ICTAI
Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
2021 J jnl
Logic programming in tensor spaces.
Ann. Math. Artif. Intell.
Chiaki Sakama, Katsumi Inoue, Taisuke Sato
2021 — conf
Predicting Air Ticket Demand using Deep Neural Networks.
IEEE BigData
Kodai Imanaka, Chiaki Sakama
2020 J jnl
A principle-based robustness analysis of admissibility-based argumentation semantics.
Argument Comput.
Tjitze Rienstra, Chiaki Sakama, Leendert van der Torre, Beishui Liao
2020 — conf
Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation.
ICLP Technical Communications
Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
2020 J jnl
Epistemic Argumentation Framework: Theory and Computation.
J. Artif. Intell. Res.
Chiaki Sakama, Tran Cao Son
2020 — conf
From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces.
ICAART (2)
Taisuke Sato, Chiaki Sakama, Katsumi Inoue
2019 B conf
A New Algorithm for Computing Least Generalization of a Set of Atoms.
ILP
Hien D. Nguyen, Chiaki Sakama
2019 J jnl
Disjunctive Abduction.
New Gener. Comput.
Katsumi Inoue, Chiaki Sakama
2019 — conf
Epistemic Argumentation Framework.
PRICAI (1)
Chiaki Sakama, Tran Cao Son
2019 J jnl
Learning Inference Rules from Data.
Künstliche Intell.
Chiaki Sakama, Katsumi Inoue, Tony Ribeiro
2019 C conf
Ordering Argumentation Frameworks.
ECSQARU
Chiaki Sakama, Katsumi Inoue
2018 A* conf
Abducing Relations in Continuous Spaces.
IJCAI
Taisuke Sato, Katsumi Inoue, Chiaki Sakama
2018 J jnl
Abduction in argumentation frameworks.
J. Appl. Non Class. Logics
Chiaki Sakama
2018 — conf
Computing Logic Programming Semantics in Linear Algebra.
MIWAI
Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue
2018 J jnl
Partial Evaluation of Logic Programs in Vector Spaces.
CoRR
Chiaki Sakama, Hien D. Nguyen, Taisuke Sato, Katsumi Inoue
2017 — conf
A Causal Theory of Speech Acts.
LORI
Chiaki Sakama
2017 C conf
Linear Algebraic Characterization of Logic Programs.
KSEM
Chiaki Sakama, Katsumi Inoue, Taisuke Sato
2017 J jnl
Representing Argumentation Frameworks in Answer Set Programming.
Fundam. Informaticae
Chiaki Sakama, Tjitze Rienstra
2016 J jnl
Abduction, conversational implicature and misleading in human dialogues.
Log. J. IGPL
Chiaki Sakama, Katsumi Inoue
2015 — conf
A Formal Account of Deception.
AAAI Fall Symposia
Chiaki Sakama
2015 J jnl
A formal account of dishonesty.
Log. J. IGPL
Chiaki Sakama, Martin Caminada, Andreas Herzig
2015 — conf
Abduction and Conversational Implicature (Extended Abstract).
AAAI Spring Symposia
Chiaki Sakama, Katsumi Inoue
2015 — conf
Can Machines Learn Logics?
AGI
Chiaki Sakama, Katsumi Inoue
2015 B conf
Learning Inference by Induction.
ILP
Chiaki Sakama, Tony Ribeiro, Katsumi Inoue
2015 C conf
Learning Multi-valued Biological Models with Delayed Influence from Time-Series Observations.
ICMLA
Tony Ribeiro, Morgan Magnin, Katsumi Inoue, Chiaki Sakama
2015 — conf
Multiagent Collaborative Search with Self-Interested Agents.
WI-IAT (2)
Ryuki Shimoji, Chiaki Sakama
2015 — conf
On the Issue of Argumentation and Informedness.
JSAI-isAI Workshops
Martin Caminada, Chiaki Sakama
2015 — conf
Persistence and Monotony Properties of Argumentation Semantics.
TAFA
Tjitze Rienstra, Chiaki Sakama, Leendert W. N. van der Torre
2014 C conf
Counterfactual Reasoning in Argumentation Frameworks.
COMMA
Chiaki Sakama
2014 J jnl
Formalizing Negotiations Using Logic Programming.
ACM Trans. Comput. Log.
Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen, Chiaki Sakama
2014 J jnl
Learning from interpretation transition.
Mach. Learn.
Katsumi Inoue, Tony Ribeiro, Chiaki Sakama
2013 B conf
A BDD-Based Algorithm for Learning from Interpretation Transition.
ILP
Tony Ribeiro, Katsumi Inoue, Chiaki Sakama
2013 — conf
Abduction in Argumentation Frameworks and Its Use in Debate Games.
JSAI-isAI Workshops
Chiaki Sakama
2013 J jnl
Abduction, unpredictability and Garden of Eden.
Log. J. IGPL
Chiaki Sakama, Katsumi Inoue
2013 — conf
Debate Games in Logic Programming.
KDPD
Chiaki Sakama
2013 — conf
Evolution of Self-interested Agents: An Experimental Study.
MIWAI
Naoki Yamada, Chiaki Sakama
2013 J jnl
Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning.
CoRR
Katsumi Inoue, Chiaki Sakama
2012 — ed.
Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers
DALT
Chiaki Sakama, Sebastian Sardiña, Wamberto Weber Vasconcelos, Michael Winikoff
2012 C conf
Dishonest Arguments in Debate Games.
COMMA
Chiaki Sakama
2012 B conf
Learning Dishonesty.
ILP
Chiaki Sakama
2012 — conf
Oscillating Behavior of Logic Programs.
Correct Reasoning
Katsumi Inoue, Chiaki Sakama
2011 A* conf
A Logical Formulation for Negotiation among Dishonest Agents.
IJCAI
Chiaki Sakama, Tran Cao Son, Enrico Pontelli
2011 B conf
ASP-Prolog for Negotiation among Dishonest Agents.
LPNMR
Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama
2011 — conf
An Experiment in Formalizing Commitments Using Action Languages.
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning
Tran Cao Son, Enrico Pontelli, Chiaki Sakama
2011 J jnl
Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction
CoRR
Katsumi Inoue, Chiaki Sakama, Lena Wiese
2011 — conf
Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users.
INAP/WLP
Katsumi Inoue, Chiaki Sakama, Lena Wiese
2011 A* conf
Dishonest Reasoning by Abduction.
IJCAI
Chiaki Sakama
2011 — conf
Exploring Relations between Answer Set Programs.
Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning
Katsumi Inoue, Chiaki Sakama
2011 — conf
Formalizing Commitments Using Action Languages.
DALT
Tran Cao Son, Enrico Pontelli, Chiaki Sakama
2011 J jnl
Inductive equivalence in clausal logic and nonmonotonic logic programming.
Mach. Learn.
Chiaki Sakama, Katsumi Inoue
2010 B conf
A Logical Account of Lying.
JELIA
Chiaki Sakama, Martin Caminada, Andreas Herzig
2009 J jnl
Brave induction: a logical framework for learning from incomplete information.
Mach. Learn.
Chiaki Sakama, Katsumi Inoue
2009 J jnl
Equivalence issues in abduction and induction.
J. Appl. Log.
Chiaki Sakama, Katsumi Inoue
2009 — conf
Interacting Answer Sets.
CLIMA
Chiaki Sakama, Tran Cao Son
2009 B conf
Logic Programming for Multiagent Planning with Negotiation.
ICLP
Tran Cao Son, Enrico Pontelli, Chiaki Sakama
2009 A* conf
Negotiation Using Logic Programming with Consistency Restoring Rules.
IJCAI
Tran Cao Son, Chiaki Sakama
2009 — conf
Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming.
DALT
Tran Cao Son, Chiaki Sakama
2009 B conf
Social Default Theories.
LPNMR
Chiaki Sakama
2008 B conf
Brave Induction.
ILP
Chiaki Sakama, Katsumi Inoue
2008 A conf
Comparing Abductive Theories.
ECAI
Katsumi Inoue, Chiaki Sakama
2008 J jnl
Coordination in answer set programming.
ACM Trans. Comput. Log.
Chiaki Sakama, Katsumi Inoue
2008 — conf
Inductive Negotiation in Answer Set Programming.
DALT
Chiaki Sakama
2008 — conf
Negotiation by induction.
AAMAS (3)
Chiaki Sakama
2007 A* conf
Generality and Equivalence Relations in Default Logic.
AAAI
Katsumi Inoue, Chiaki Sakama
2007 J jnl
Identifying Cellular Automata Rules.
J. Cell. Autom.
Ken-ichi Maeda, Chiaki Sakama
2007 A conf
Negotiation by abduction and relaxation.
AAMAS
Chiaki Sakama, Katsumi Inoue
2006 J jnl
Abductive Equivalence in First-order Logic.
Log. J. IGPL
Katsumi Inoue, Chiaki Sakama
2006 C conf
Constructing Consensus Logic Programs.
LOPSTR
Chiaki Sakama, Katsumi Inoue
2006 B conf
Generality Relations in Answer Set Programming.
ICLP
Katsumi Inoue, Chiaki Sakama
2006 A conf
On the Existence of Answer Sets in Normal Extended Logic Programs.
ECAI
Martin Caminada, Chiaki Sakama
2005 — conf
Combining Answer Sets of Nonmonotonic Logic Programs.
Answer Set Programming
Chiaki Sakama, Katsumi Inoue
2005 — conf
Combining Answer Sets of Nonmonotonic Logic Programs.
CLIMA
Chiaki Sakama, Katsumi Inoue
2005 A* conf
Equivalence in Abductive Logic.
IJCAI
Katsumi Inoue, Chiaki Sakama
2005 J jnl
Induction from answer sets in nonmonotonic logic programs.
ACM Trans. Comput. Log.
Chiaki Sakama
2005 B conf
Inductive Equivalence of Logic Programs.
ILP
Chiaki Sakama, Katsumi Inoue
2005 J jnl
Ordering default theories and nonmonotonic logic programs.
Theor. Comput. Sci.
Chiaki Sakama
2004 J jnl
An Abductive Framework For Computing Knowledge Base Updates
CoRR
Chiaki Sakama, Katsumi Inoue
2004 — conf
Coordination Between Logical Agents.
CLIMA
Chiaki Sakama, Katsumi Inoue
2004 B conf
Equivalence of Logic Programs Under Updates.
JELIA
Katsumi Inoue, Chiaki Sakama
2004 B conf
The PLP System.
JELIA
Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta
2003 J jnl
An abductive framework for computing knowledge base updates.
Theory Pract. Log. Program.
Chiaki Sakama, Katsumi Inoue
2003 B conf
Computing Preferred Answer Sets in Answer Set Programming.
LPAR
Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta
2003 B conf
Discovery of Cellular Automata Rules Using Cases.
Discovery Science
Ken-ichi Maeda, Chiaki Sakama
2003 A* conf
Ordering Default Theories.
IJCAI
Chiaki Sakama
2002 B conf
Disjunctive Explanations.
ICLP
Katsumi Inoue, Chiaki Sakama
2002 — conf
Towards the Integration of Inductive and Nonmonotonic Logic Programming.
Progress in Discovery Science
Chiaki Sakama
2001 — conf
Learning by Answer Sets.
Answer Set Programming
Chiaki Sakama
2001 B conf
Nonmonotonic Inductive Logic Programming.
LPNMR
Chiaki Sakama
2000 — conf
A Defeasible Reasoning System in Multi-Agent Environment.
CL-2000 Workshop on Computational Logic in Multi-Agent Systems
Chiaki Sakama, Katsumi Inoue, Koji Iwanuma, Ken Satoh
2000 J jnl
Abductive logic programming and disjunctive logic programming: their relationship and transferability.
J. Log. Program.
Chiaki Sakama, Katsumi Inoue
2000 B conf
Inverse Entailment in Nonmonotonic Logic Programs.
ILP
Chiaki Sakama
2000 J jnl
Prioritized logic programming and its application to commonsense reasoning.
Artif. Intell.
Chiaki Sakama, Katsumi Inoue
2000 — conf
Speculative Computation by Abduction under Incomplete Communication Environments.
ICMAS
Ken Satoh, Katsumi Inoue, Koji Iwanuma, Chiaki Sakama
1999 A* conf
Abducing Priorities to Derive Intended Conclusions.
IJCAI
Katsumi Inoue, Chiaki Sakama
1999 J jnl
Computing Extended Abduction Through Transaction Programs.
Ann. Math. Artif. Intell.
Katsumi Inoue, Chiaki Sakama
1999 B conf
Some Properties of Invers Resolution in Normal Logic Programs.
ILP
Chiaki Sakama
1999 B conf
Updating Extended Logic Programs through Abduction.
LPNMR
Chiaki Sakama, Katsumi Inoue
1998 J jnl
Negation as Failure in the Head.
J. Log. Program.
Katsumi Inoue, Chiaki Sakama
1998 A* conf
Specifying Transactions for Extended Abduction.
KR
Katsumi Inoue, Chiaki Sakama
1997 J jnl
Partial Deduction in Disjunctive Logic Programming.
J. Log. Program.
Chiaki Sakama, Hirohisa Seki
1996 J jnl
A Fixpoint Characterization of Abductive Logic Programs.
J. Log. Program.
Katsumi Inoue, Chiaki Sakama
1996 — conf
Representing Priorities in Logic Programs.
JICSLP
Chiaki Sakama, Katsumi Inoue
1995 A* conf
Abductive Framework for Nonmonotonic Theory Change.
IJCAI
Katsumi Inoue, Chiaki Sakama
1995 — ed.
Deductive Databases and Logic Programming, Abduction in Deductive Databases and Knowledge-Based Systems, Proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995
Deductive Databases / Abduction in Deductive Databases
Hendrik Decker, Ulrich Geske, Antonis C. Kakas, Chiaki Sakama, Dietmar Seipel, Toni Urpí
1995 B conf
Embedding Circumscriptive Theories in General Disjunctive Programs.
LPNMR
Chiaki Sakama, Katsumi Inoue
1995 J jnl
Paraconsistent Stable Semantics for Extended Disjunctive Programs.
J. Log. Comput.
Chiaki Sakama, Katsumi Inoue
1995 B conf
The Effect of Partial Deduction in Abductive Reasoning.
ICLP
Chiaki Sakama, Katsumi Inoue
1994 J jnl
An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases.
J. Autom. Reason.
Chiaki Sakama, Katsumi Inoue
1994 A* conf
On Positive Occurrences of Negation as Failure.
KR
Katsumi Inoue, Chiaki Sakama
1994 B conf
On the Equivalence between Disjunctive and Abductive Logic Programs.
ICLP
Chiaki Sakama, Katsumi Inoue
1994 C conf
Partial Deduction of Disjunctive Logic Programs: A Declarative Approach.
LOPSTR
Chiaki Sakama, Hirohisa Seki
1993 B conf
Negation in Disjunctive Logic Programs.
ICLP
Chiaki Sakama, Katsumi Inoue
1993 B conf
Relating Disjunctive Logic Programs to Default Theories.
LPNMR
Chiaki Sakama, Katsumi Inoue
1993 B conf
Transforming Abductive Logic Programs to Disjunctive Programs.
ICLP
Katsumi Inoue, Chiaki Sakama
1992 — conf
Extended Well-Founded Semantics for Paraconsistent Logic Programs.
FGCS
Chiaki Sakama
1990 B conf
Possible Model Semantics for Disjunctive Databases II (Extended Abstract).
LPNMR
Chiaki Sakama
1989 — conf
Possible Model Semantics for Disjunctive Databases.
DOOD
Chiaki Sakama
1988 — conf
Handling Knowledge by its Representative.
Expert Database Conf.
Chiaki Sakama, Hidenori Itoh
1988 — conf
Nonmonotonic Parallel Inheritance Network.
LP
Chiaki Sakama, Akira Okumura
1988 J jnl
Partial Evaluation of Queries in Deductive Databases.
New Gener. Comput.
Chiaki Sakama, Hidenori Itoh
1987 A* conf
Parallel Control Techniques for Dedicated Relational Database Engines.
ICDE
Hidenori Itoh, Masaaki Abe, Chiaki Sakama, Yuji Mitomo