Chiaki Sakama

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 29

Top Venues

Publications

Chiaki Sakama
Human Conditional Reasoning in Answer Set Programming. Theory Pract. Log. Program. 24 (1) (2024)
Thomas Ågotnes, Chiaki Sakama
A Formal Analysis of Hollis' Paradox. LORI (2023)
Chiaki Sakama
Human Conditional Reasoning in Answer Set Programming. CoRR (2023)
Chiaki Sakama
Human Conditional Reasoning in Answer Set Programming. NMR (2023)
Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
Linear Algebraic Abduction with Partial Evaluation. PADL (2023)
Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation. New Gener. Comput. 40 (1) (2022)
Chiaki Sakama, Tran Cao Son
Interlinking Logic Programs and Argumentation Frameworks. LPNMR (2022)
Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
Linear Algebraic Computation of Propositional Horn Abduction. ICTAI (2021)
Hien D. Nguyen, Chiaki Sakama
Feature Learning by Least Generalization. ILP (2021)
Chiaki Sakama, Katsumi Inoue, Taisuke Sato
Logic programming in tensor spaces. Ann. Math. Artif. Intell. 89 (12) (2021)
Kodai Imanaka, Chiaki Sakama
Predicting Air Ticket Demand using Deep Neural Networks. IEEE BigData (2021)
Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue
An efficient reasoning method on logic programming using partial evaluation in vector spaces. J. Log. Comput. 31 (5) (2021)
Tjitze Rienstra, Chiaki Sakama, Leendert van der Torre, Beishui Liao
A principle-based robustness analysis of admissibility-based argumentation semantics. Argument Comput. 11 (3) (2020)
Tuan Nguyen Quoc, Katsumi Inoue, Chiaki Sakama
Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation. ICLP Technical Communications (2020)
Taisuke Sato, Chiaki Sakama, Katsumi Inoue
From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces. ICAART (2) (2020)
Chiaki Sakama, Tran Cao Son
Epistemic Argumentation Framework: Theory and Computation. J. Artif. Intell. Res. 69 (2020)
Katsumi Inoue, Chiaki Sakama
Disjunctive Abduction. New Gener. Comput. 37 (2) (2019)
Hien D. Nguyen, Chiaki Sakama
A New Algorithm for Computing Least Generalization of a Set of Atoms. ILP (2019)
Chiaki Sakama, Katsumi Inoue, Tony Ribeiro
Learning Inference Rules from Data. Künstliche Intell. 33 (3) (2019)
Chiaki Sakama, Katsumi Inoue
Ordering Argumentation Frameworks. ECSQARU (2019)
Chiaki Sakama, Tran Cao Son
Epistemic Argumentation Framework. PRICAI (1) (2019)
Hien D. Nguyen, Chiaki Sakama, Taisuke Sato, Katsumi Inoue
Computing Logic Programming Semantics in Linear Algebra. MIWAI (2018)
Chiaki Sakama
Abduction in argumentation frameworks. J. Appl. Non Class. Logics 28 (2-3) (2018)
Chiaki Sakama, Hien D. Nguyen, Taisuke Sato, Katsumi Inoue
Partial Evaluation of Logic Programs in Vector Spaces. CoRR (2018)
Taisuke Sato, Katsumi Inoue, Chiaki Sakama
Abducing Relations in Continuous Spaces. IJCAI (2018)
Chiaki Sakama, Katsumi Inoue, Taisuke Sato
Linear Algebraic Characterization of Logic Programs. KSEM (2017)
Chiaki Sakama
A Causal Theory of Speech Acts. LORI (2017)
Chiaki Sakama, Tjitze Rienstra
Representing Argumentation Frameworks in Answer Set Programming. Fundam. Informaticae 155 (3) (2017)
Chiaki Sakama, Katsumi Inoue
Abduction, conversational implicature and misleading in human dialogues. Log. J. IGPL 24 (4) (2016)
Tony Ribeiro, Morgan Magnin, Katsumi Inoue, Chiaki Sakama
Learning Multi-valued Biological Models with Delayed Influence from Time-Series Observations. ICMLA (2015)
Chiaki Sakama, Katsumi Inoue
Abduction and Conversational Implicature (Extended Abstract). AAAI Spring Symposia (2015)
Chiaki Sakama
A Formal Account of Deception. AAAI Fall Symposia (2015)
Tjitze Rienstra, Chiaki Sakama, Leendert W. N. van der Torre
Persistence and Monotony Properties of Argumentation Semantics. TAFA (2015)
Chiaki Sakama, Martin Caminada, Andreas Herzig
A formal account of dishonesty. Log. J. IGPL 23 (2) (2015)
Ryuki Shimoji, Chiaki Sakama
Multiagent Collaborative Search with Self-Interested Agents. WI-IAT (2) (2015)
Martin Caminada, Chiaki Sakama
On the Issue of Argumentation and Informedness. JSAI-isAI Workshops (2015)
Chiaki Sakama, Tony Ribeiro, Katsumi Inoue
Learning Inference by Induction. ILP (2015)
Chiaki Sakama, Katsumi Inoue
Can Machines Learn Logics? AGI (2015)
Chiaki Sakama
Counterfactual Reasoning in Argumentation Frameworks. COMMA (2014)
Katsumi Inoue, Tony Ribeiro, Chiaki Sakama
Learning from interpretation transition. Mach. Learn. 94 (1) (2014)
Tran Cao Son, Enrico Pontelli, Ngoc-Hieu Nguyen, Chiaki Sakama
Formalizing Negotiations Using Logic Programming. ACM Trans. Comput. Log. 15 (2) (2014)
Naoki Yamada, Chiaki Sakama
Evolution of Self-interested Agents: An Experimental Study. MIWAI (2013)
Chiaki Sakama, Katsumi Inoue
Abduction, unpredictability and Garden of Eden. Log. J. IGPL 21 (6) (2013)
Chiaki Sakama
Debate Games in Logic Programming. KDPD (2013)
Chiaki Sakama
Abduction in Argumentation Frameworks and Its Use in Debate Games. JSAI-isAI Workshops (2013)
Katsumi Inoue, Chiaki Sakama
Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning. CoRR (2013)
Tony Ribeiro, Katsumi Inoue, Chiaki Sakama
A BDD-Based Algorithm for Learning from Interpretation Transition. ILP (2013)
Chiaki Sakama
Learning Dishonesty. ILP (2012)
Katsumi Inoue, Chiaki Sakama
Oscillating Behavior of Logic Programs. Correct Reasoning (2012)
Chiaki Sakama
Dishonest Arguments in Debate Games. COMMA (2012)
Chiaki Sakama, Katsumi Inoue
Inductive equivalence in clausal logic and nonmonotonic logic programming. Mach. Learn. 83 (1) (2011)
Tran Cao Son, Enrico Pontelli, Chiaki Sakama
Formalizing Commitments Using Action Languages. DALT (2011)
Chiaki Sakama
Dishonest Reasoning by Abduction. IJCAI (2011)
Katsumi Inoue, Chiaki Sakama, Lena Wiese
Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction CoRR (2011)
Katsumi Inoue, Chiaki Sakama
Exploring Relations between Answer Set Programs. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Ngoc-Hieu Nguyen, Tran Cao Son, Enrico Pontelli, Chiaki Sakama
ASP-Prolog for Negotiation among Dishonest Agents. LPNMR (2011)
Tran Cao Son, Enrico Pontelli, Chiaki Sakama
An Experiment in Formalizing Commitments Using Action Languages. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Chiaki Sakama, Tran Cao Son, Enrico Pontelli
A Logical Formulation for Negotiation among Dishonest Agents. IJCAI (2011)
Katsumi Inoue, Chiaki Sakama, Lena Wiese
Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users. INAP/WLP (2011)
Chiaki Sakama, Martin Caminada, Andreas Herzig
A Logical Account of Lying. JELIA (2010)
Tran Cao Son, Enrico Pontelli, Chiaki Sakama
Logic Programming for Multiagent Planning with Negotiation. ICLP (2009)
Chiaki Sakama, Katsumi Inoue
Equivalence issues in abduction and induction. J. Appl. Log. 7 (3) (2009)
Tran Cao Son, Chiaki Sakama
Negotiation Using Logic Programming with Consistency Restoring Rules. IJCAI (2009)
Chiaki Sakama, Tran Cao Son
Interacting Answer Sets. CLIMA (2009)
Chiaki Sakama, Katsumi Inoue
Brave induction: a logical framework for learning from incomplete information. Mach. Learn. 76 (1) (2009)
Tran Cao Son, Chiaki Sakama
Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming. DALT (2009)
Chiaki Sakama
Social Default Theories. LPNMR (2009)
Katsumi Inoue, Chiaki Sakama
Comparing Abductive Theories. ECAI (2008)
Chiaki Sakama
Negotiation by induction. AAMAS (3) (2008)
Chiaki Sakama
Inductive Negotiation in Answer Set Programming. DALT (2008)
Chiaki Sakama, Katsumi Inoue
Coordination in answer set programming. ACM Trans. Comput. Log. 9 (2) (2008)
Chiaki Sakama, Katsumi Inoue
Brave Induction. ILP (2008)
Ken-ichi Maeda, Chiaki Sakama
Identifying Cellular Automata Rules. J. Cell. Autom. 2 (1) (2007)
Chiaki Sakama, Katsumi Inoue
Negotiation by abduction and relaxation. AAMAS (2007)
Katsumi Inoue, Chiaki Sakama
Generality and Equivalence Relations in Default Logic. AAAI (2007)
Katsumi Inoue, Chiaki Sakama
Generality Relations in Answer Set Programming. ICLP (2006)
Chiaki Sakama, Katsumi Inoue
Constructing Consensus Logic Programs. LOPSTR (2006)
Katsumi Inoue, Chiaki Sakama
Abductive Equivalence in First-order Logic. Log. J. IGPL 14 (2) (2006)
Martin Caminada, Chiaki Sakama
On the Existence of Answer Sets in Normal Extended Logic Programs. ECAI (2006)
Chiaki Sakama
Ordering default theories and nonmonotonic logic programs. Theor. Comput. Sci. 338 (1-3) (2005)
Chiaki Sakama
Induction from answer sets in nonmonotonic logic programs. ACM Trans. Comput. Log. 6 (2) (2005)
Chiaki Sakama, Katsumi Inoue
Inductive Equivalence of Logic Programs. ILP (2005)
Chiaki Sakama, Katsumi Inoue
Combining Answer Sets of Nonmonotonic Logic Programs. Answer Set Programming (2005)
Katsumi Inoue, Chiaki Sakama
Equivalence in Abductive Logic. IJCAI (2005)
Chiaki Sakama, Katsumi Inoue
Combining Answer Sets of Nonmonotonic Logic Programs. CLIMA (2005)
Katsumi Inoue, Chiaki Sakama
Equivalence of Logic Programs Under Updates. JELIA (2004)
Chiaki Sakama, Katsumi Inoue
An Abductive Framework For Computing Knowledge Base Updates CoRR (2004)
Chiaki Sakama, Katsumi Inoue
Coordination Between Logical Agents. CLIMA (2004)
Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta
The PLP System. JELIA (2004)
Ken-ichi Maeda, Chiaki Sakama
Discovery of Cellular Automata Rules Using Cases. Discovery Science (2003)
Toshiko Wakaki, Katsumi Inoue, Chiaki Sakama, Katsumi Nitta
Computing Preferred Answer Sets in Answer Set Programming. LPAR (2003)
Chiaki Sakama
Ordering Default Theories. IJCAI (2003)
Chiaki Sakama, Katsumi Inoue
An abductive framework for computing knowledge base updates. Theory Pract. Log. Program. 3 (6) (2003)
Chiaki Sakama
Towards the Integration of Inductive and Nonmonotonic Logic Programming. Progress in Discovery Science (2002)
Katsumi Inoue, Chiaki Sakama
Disjunctive Explanations. ICLP (2002)
Chiaki Sakama
Learning by Answer Sets. Answer Set Programming (2001)
Chiaki Sakama
Nonmonotonic Inductive Logic Programming. LPNMR (2001)
Chiaki Sakama
Inverse Entailment in Nonmonotonic Logic Programs. ILP (2000)
Chiaki Sakama, Katsumi Inoue, Koji Iwanuma, Ken Satoh
A Defeasible Reasoning System in Multi-Agent Environment. CL-2000 Workshop on Computational Logic in Multi-Agent Systems (2000)
Chiaki Sakama, Katsumi Inoue
Prioritized logic programming and its application to commonsense reasoning. Artif. Intell. 123 (1-2) (2000)

Chiaki Sakama.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Chiaki Sakama