| Publication | Date of Publication | Type |
|---|
| A formal analysis of Hollis' paradox | 2024-06-26 | Paper |
| 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 |
| https://portal.mardi4nfdi.de/entity/Q4955335 | 2000-05-25 | Paper |
| Abductive logic programming and disjunctive logic programming: their relationship and transferability | 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 |
