Chiaki Sakama

Available identifiers

zbMath Open sakama.chiakiMaRDI QIDQ413853

List of research outcomes

Publication	Date of Publication	Type
Interlinking logic programs and argumentation frameworks	2023-04-04	Paper
A New Algorithm for Computing Least Generalization of a Set of Atoms	2022-10-14	Paper
Embedding circumscriptive theories in general disjunctive programs	2022-08-30	Paper
https://portal.mardi4nfdi.de/entity/Q5020978	2022-01-11	Paper
Logic programming in tensor spaces	2021-12-17	Paper
Epistemic Argumentation Framework: Theory and Computation	2020-12-09	Paper
Ordering argumentation frameworks	2020-02-20	Paper
A formal account of dishonesty	2019-01-08	Paper
Abduction, conversational implicature and misleading in human dialogues	2019-01-08	Paper
Abduction in argumentation frameworks	2018-10-09	Paper
Representing Argumentation Frameworks in Answer Set Programming	2018-01-05	Paper
A causal theory of speech acts	2017-11-22	Paper
Induction from answer sets in nonmonotonic logic programs	2017-07-12	Paper
Coordination in answer set programming	2017-07-12	Paper
Learning Inference by Induction	2016-10-19	Paper
Persistence and Monotony Properties of Argumentation Semantics	2016-03-10	Paper
A BDD-Based Algorithm for Learning from Interpretation Transition	2015-09-07	Paper
Abduction, unpredictability and Garden of Eden	2015-02-24	Paper
Formalizing Negotiations Using Logic Programming	2014-07-17	Paper
Learning from interpretation transition	2014-07-14	Paper
Learning Dishonesty	2013-06-14	Paper
Logic Programming for Multiagent Planning with Negotiation	2012-11-13	Paper
Oscillating Behavior of Logic Programs	2012-07-23	Paper
Inductive equivalence in clausal logic and nonmonotonic logic programming	2012-05-08	Paper
Exploring Relations between Answer Set Programs	2011-05-19	Paper
Interacting Answer Sets	2010-11-09	Paper
Brave induction: a logical framework for learning from incomplete information	2010-10-07	Paper
A Logical Account of Lying	2010-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q3408143	2010-02-24	Paper
Reasoning and Planning with Cooperative Actions for Multiagents Using Answer Set Programming	2010-02-02	Paper
Social Default Theories	2009-11-10	Paper
Equivalence issues in abduction and induction	2009-08-14	Paper
Combining Answer Sets of Nonmonotonic Logic Programs	2009-04-28	Paper
Inductive Negotiation in Answer Set Programming	2009-02-12	Paper
Brave Induction	2008-12-02	Paper
Generality Relations in Answer Set Programming	2008-03-11	Paper
Constructing Consensus Logic Programs	2007-09-10	Paper
Abductive Equivalence in First-order Logic	2006-11-30	Paper
Inductive Logic Programming	2006-11-01	Paper
Logics in Artificial Intelligence	2006-10-25	Paper
Computational Logic in Multi-Agent Systems	2005-11-23	Paper
Ordering default theories and nonmonotonic logic programs	2005-06-30	Paper
An abductive framework for computing knowledge base updates	2004-09-24	Paper
https://portal.mardi4nfdi.de/entity/Q4812968	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q3044494	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4530884	2004-02-25	Paper
https://portal.mardi4nfdi.de/entity/Q4800160	2003-04-02	Paper
https://portal.mardi4nfdi.de/entity/Q4537975	2002-06-25	Paper
Prioritized logic programming and its application to commonsense reasoning	2000-12-12	Paper
Computing extended abduction through transaction programs	2000-06-07	Paper
Abductive logic programming and disjunctive logic programming: their relationship and transferability	2000-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q4955335	2000-05-25	Paper
Negation as failure in the head	1999-01-11	Paper
Partial deduction in disjunctive logic programming	1997-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q5688901	1997-05-25	Paper
A fixpoint characterization of abductive logic programs	1997-04-27	Paper
Paraconsistent Stable Semantics for Extended Disjunctive Programs	1995-06-06	Paper
An alternative approach to the semantics of disjunctive logic programs and deductive databases	1995-02-22	Paper
Partial evaluation of queries in deductive databases	1988-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Chiaki Sakama