Chiaki Sakama

Orcid: 0000-0002-9966-3722

According to our database1, Chiaki Sakama authored at least 124 papers between 1987 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Human Conditional Reasoning in Answer Set Programming.
Theory Pract. Log. Program., January, 2024

2023
Linear Algebraic Abduction with Partial Evaluation.
Proceedings of the Practical Aspects of Declarative Languages, 2023

A Formal Analysis of Hollis' Paradox.
Proceedings of the Logic, Rationality, and Interaction - 9th International Workshop, 2023

2022
Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation.
New Gener. Comput., 2022

Interlinking Logic Programs and Argumentation Frameworks.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

2021
An efficient reasoning method on logic programming using partial evaluation in vector spaces.
J. Log. Comput., 2021

Logic programming in tensor spaces.
Ann. Math. Artif. Intell., 2021

Feature Learning by Least Generalization.
Proceedings of the Inductive Logic Programming - 30th International Conference, 2021

Linear Algebraic Computation of Propositional Horn Abduction.
Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

Predicting Air Ticket Demand using Deep Neural Networks.
Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021

2020
Epistemic Argumentation Framework: Theory and Computation.
J. Artif. Intell. Res., 2020

A principle-based robustness analysis of admissibility-based argumentation semantics.
Argument Comput., 2020

From 3-valued Semantics to Supported Model Computation for Logic Programs in Vector Spaces.
Proceedings of the 12th International Conference on Agents and Artificial Intelligence, 2020

2019
Disjunctive Abduction.
New Gener. Comput., 2019

Learning Inference Rules from Data.
Künstliche Intell., 2019

Epistemic Argumentation Framework.
Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

A New Algorithm for Computing Least Generalization of a Set of Atoms.
Proceedings of the Inductive Logic Programming - 29th International Conference, 2019

Ordering Argumentation Frameworks.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2019

2018
Abduction in argumentation frameworks.
J. Appl. Non Class. Logics, 2018

Partial Evaluation of Logic Programs in Vector Spaces.
CoRR, 2018

Computing Logic Programming Semantics in Linear Algebra.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2018

Abducing Relations in Continuous Spaces.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017
Representing Argumentation Frameworks in Answer Set Programming.
Fundam. Informaticae, 2017

A Causal Theory of Speech Acts.
Proceedings of the Logic, Rationality, and Interaction - 6th International Workshop, 2017

Linear Algebraic Characterization of Logic Programs.
Proceedings of the Knowledge Science, Engineering and Management, 2017

2016
Abduction, conversational implicature and misleading in human dialogues.
Log. J. IGPL, 2016

2015
A formal account of dishonesty.
Log. J. IGPL, 2015

Multiagent Collaborative Search with Self-Interested Agents.
Proceedings of the IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology, 2015

Persistence and Monotony Properties of Argumentation Semantics.
Proceedings of the Theory and Applications of Formal Argumentation, 2015

On the Issue of Argumentation and Informedness.
Proceedings of the New Frontiers in Artificial Intelligence, 2015

Learning Inference by Induction.
Proceedings of the Inductive Logic Programming - 25th International Conference, 2015

Learning Multi-valued Biological Models with Delayed Influence from Time-Series Observations.
Proceedings of the 14th IEEE International Conference on Machine Learning and Applications, 2015

Can Machines Learn Logics?
Proceedings of the Artificial General Intelligence, 2015

Abduction and Conversational Implicature (Extended Abstract).
Proceedings of the 2015 AAAI Spring Symposia, 2015

A Formal Account of Deception.
Proceedings of the 2015 AAAI Fall Symposia, Arlington, Virginia, USA, November 12-14, 2015, 2015

2014
Formalizing Negotiations Using Logic Programming.
ACM Trans. Comput. Log., 2014

Learning from interpretation transition.
Mach. Learn., 2014

Counterfactual Reasoning in Argumentation Frameworks.
Proceedings of the Computational Models of Argument, 2014

2013
Abduction, unpredictability and Garden of Eden.
Log. J. IGPL, 2013

Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning.
CoRR, 2013

Evolution of Self-interested Agents: An Experimental Study.
Proceedings of the Multi-disciplinary Trends in Artificial Intelligence, 2013

Abduction in Argumentation Frameworks and Its Use in Debate Games.
Proceedings of the New Frontiers in Artificial Intelligence, 2013

Debate Games in Logic Programming.
Proceedings of the Declarative Programming and Knowledge Management, 2013

A BDD-Based Algorithm for Learning from Interpretation Transition.
Proceedings of the Inductive Logic Programming - 23rd International Conference, 2013

2012
Learning Dishonesty.
Proceedings of the Inductive Logic Programming - 22nd International Conference, 2012

Dishonest Arguments in Debate Games.
Proceedings of the Computational Models of Argument, 2012

Oscillating Behavior of Logic Programs.
Proceedings of the Correct Reasoning, 2012

2011
Inductive equivalence in clausal logic and nonmonotonic logic programming.
Mach. Learn., 2011

Confidentiality-Preserving Data Publishing for Credulous Users by Extended Abduction
CoRR, 2011

ASP-Prolog for Negotiation among Dishonest Agents.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2011

Confidentiality-Preserving Publishing of EDPs for Credulous and Skeptical Users.
Proceedings of the Applications of Declarative Programming and Knowledge Management, 2011

A Logical Formulation for Negotiation among Dishonest Agents.
Proceedings of the IJCAI 2011, 2011

Dishonest Reasoning by Abduction.
Proceedings of the IJCAI 2011, 2011

Formalizing Commitments Using Action Languages.
Proceedings of the Declarative Agent Languages and Technologies IX, 2011

Exploring Relations between Answer Set Programs.
Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

An Experiment in Formalizing Commitments Using Action Languages.
Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011

2010
A Logical Account of Lying.
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009
Brave induction: a logical framework for learning from incomplete information.
Mach. Learn., 2009

Equivalence issues in abduction and induction.
J. Appl. Log., 2009

Social Default Theories.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2009

Negotiation Using Logic Programming with Consistency Restoring Rules.
Proceedings of the IJCAI 2009, 2009

Logic Programming for Multiagent Planning with Negotiation.
Proceedings of the Logic Programming, 25th International Conference, 2009

Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming.
Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Interacting Answer Sets.
Proceedings of the Computational Logic in Multi-Agent Systems, 2009

2008
Coordination in answer set programming.
ACM Trans. Comput. Log., 2008

Brave Induction.
Proceedings of the Inductive Logic Programming, 18th International Conference, 2008

Comparing Abductive Theories.
Proceedings of the ECAI 2008, 2008

Inductive Negotiation in Answer Set Programming.
Proceedings of the Declarative Agent Languages and Technologies VI, 2008

Negotiation by induction.
Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2008), 2008

2007
Identifying Cellular Automata Rules.
J. Cell. Autom., 2007

Negotiation by abduction and relaxation.
Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

Generality and Equivalence Relations in Default Logic.
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006
Abductive Equivalence in First-order Logic.
Log. J. IGPL, 2006

Constructing Consensus Logic Programs.
Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

Generality Relations in Answer Set Programming.
Proceedings of the Logic Programming, 22nd International Conference, 2006

On the Existence of Answer Sets in Normal Extended Logic Programs.
Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005
Induction from answer sets in nonmonotonic logic programs.
ACM Trans. Comput. Log., 2005

Ordering default theories and nonmonotonic logic programs.
Theor. Comput. Sci., 2005

Inductive Equivalence of Logic Programs.
Proceedings of the Inductive Logic Programming, 15th International Conference, 2005

Equivalence in Abductive Logic.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

Combining Answer Sets of Nonmonotonic Logic Programs.
Proceedings of the Computational Logic in Multi-Agent Systems, 6th International Workshop, 2005

2004
The PLP System.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Equivalence of Logic Programs Under Updates.
Proceedings of the Logics in Artificial Intelligence, 9th European Conference, 2004

Coordination Between Logical Agents.
Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

2003
An abductive framework for computing knowledge base updates.
Theory Pract. Log. Program., 2003

Computing Preferred Answer Sets in Answer Set Programming.
Proceedings of the Logic for Programming, 2003

Ordering Default Theories.
Proceedings of the IJCAI-03, 2003

Discovery of Cellular Automata Rules Using Cases.
Proceedings of the Discovery Science, 6th International Conference, 2003

2002
Disjunctive Explanations.
Proceedings of the Logic Programming, 18th International Conference, 2002

Towards the Integration of Inductive and Nonmonotonic Logic Programming.
Proceedings of the Progress in Discovery Science, 2002

2001
Nonmonotonic Inductive Logic Programming.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

Learning by Answer Sets.
Proceedings of the Answer Set Programming, 2001

2000
Abductive logic programming and disjunctive logic programming: their relationship and transferability.
J. Log. Program., 2000

Prioritized logic programming and its application to commonsense reasoning.
Artif. Intell., 2000

Inverse Entailment in Nonmonotonic Logic Programs.
Proceedings of the Inductive Logic Programming, 10th International Conference, 2000

Speculative Computation by Abduction under Incomplete Communication Environments.
Proceedings of the 4th International Conference on Multi-Agent Systems, 2000

A Defeasible Reasoning System in Multi-Agent Environment.
Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

1999
Computing Extended Abduction Through Transaction Programs.
Ann. Math. Artif. Intell., 1999

Updating Extended Logic Programs through Abduction.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1999

Some Properties of Invers Resolution in Normal Logic Programs.
Proceedings of the Inductive Logic Programming, 9th International Workshop, 1999

Abducing Priorities to Derive Intended Conclusions.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999

1998
Negation as Failure in the Head.
J. Log. Program., 1998

Specifying Transactions for Extended Abduction.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

1997
Partial Deduction in Disjunctive Logic Programming.
J. Log. Program., 1997

1996
A Fixpoint Characterization of Abductive Logic Programs.
J. Log. Program., 1996

Representing Priorities in Logic Programs.
Proceedings of the Logic Programming, 1996

1995
Paraconsistent Stable Semantics for Extended Disjunctive Programs.
J. Log. Comput., 1995

Embedding Circumscriptive Theories in General Disjunctive Programs.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

Abductive Framework for Nonmonotonic Theory Change.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

The Effect of Partial Deduction in Abductive Reasoning.
Proceedings of the Logic Programming, 1995

1994
An Alternative Approach to the Semantics of Disjunctive Logic Programs and Deductive Databases.
J. Autom. Reason., 1994

Partial Deduction of Disjunctive Logic Programs: A Declarative Approach.
Proceedings of the Logic Programming Synthesis and Transformation, 1994

On Positive Occurrences of Negation as Failure.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994

On the Equivalence between Disjunctive and Abductive Logic Programs.
Proceedings of the Logic Programming, 1994

1993
Relating Disjunctive Logic Programs to Default Theories.
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993

Negation in Disjunctive Logic Programs.
Proceedings of the Logic Programming, 1993

Transforming Abductive Logic Programs to Disjunctive Programs.
Proceedings of the Logic Programming, 1993

1992
Extended Well-Founded Semantics for Paraconsistent Logic Programs.
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, 1992

1990
Possible Model Semantics for Disjunctive Databases II (Extended Abstract).
Proceedings of the Workshop Logic Programming and Non-Monotonic Logic, 1990

1989
Possible Model Semantics for Disjunctive Databases.
Proceedings of the Deductive and Object-Oriented Databases, 1989

1988
Partial Evaluation of Queries in Deductive Databases.
New Gener. Comput., 1988

Nonmonotonic Parallel Inheritance Network.
Proceedings of the Logic Programming '88, 1988

Handling Knowledge by its Representative.
Proceedings of the Expert Database Systems, 1988

1987
Parallel Control Techniques for Dedicated Relational Database Engines.
Proceedings of the Third International Conference on Data Engineering, 1987


  Loading...