| Publication | Date of Publication | Type |
|---|
| Argument and belief | 2025-08-29 | Paper |
| 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
Inductive Logic Programming | 2022-10-14 | Paper |
Embedding circumscriptive theories in general disjunctive programs
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
| scientific article; zbMATH DE number 7455718 (Why is no real title available?) | 2022-01-11 | Paper |
scientific article; zbMATH DE number 7455718 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-11 | Paper |
Logic programming in tensor spaces
Annals of Mathematics and Artificial Intelligence | 2021-12-17 | Paper |
Epistemic argumentation framework: theory and computation
Journal of Artificial Intelligence Research | 2020-12-09 | Paper |
| Ordering argumentation frameworks | 2020-02-20 | Paper |
A formal account of dishonesty
Logic Journal of the IGPL | 2019-01-08 | Paper |
Abduction, conversational implicature and misleading in human dialogues
Logic Journal of the IGPL | 2019-01-08 | Paper |
Abduction in argumentation frameworks
Journal of Applied Non-Classical Logics | 2018-10-09 | Paper |
Representing argumentation frameworks in answer set programming
Fundamenta Informaticae | 2018-01-05 | Paper |
| A causal theory of speech acts | 2017-11-22 | Paper |
Induction from answer sets in nonmonotonic logic programs
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Coordination in answer set programming
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Learning inference by induction
Inductive Logic Programming | 2016-10-19 | Paper |
Persistence and monotony properties of argumentation semantics
Theory and Applications of Formal Argumentation | 2016-03-10 | Paper |
A BDD-Based Algorithm for Learning from Interpretation Transition
Inductive Logic Programming | 2015-09-07 | Paper |
Abduction, unpredictability and Garden of Eden
Logic Journal of the IGPL | 2015-02-24 | Paper |
Formalizing negotiations using logic programming
ACM Transactions on Computational Logic | 2014-07-17 | Paper |
Learning from interpretation transition
Machine Learning | 2014-07-14 | Paper |
Learning dishonesty
Inductive Logic Programming | 2013-06-14 | Paper |
Logic Programming for Multiagent Planning with Negotiation
Logic Programming | 2012-11-13 | Paper |
Oscillating behavior of logic programs
Correct Reasoning | 2012-07-23 | Paper |
Inductive equivalence in clausal logic and nonmonotonic logic programming
Machine Learning | 2012-05-08 | Paper |
Exploring relations between answer set programs
Lecture Notes in Computer Science | 2011-05-19 | Paper |
Interacting answer sets
Lecture Notes in Computer Science | 2010-11-09 | Paper |
Brave induction: a logical framework for learning from incomplete information
Machine Learning | 2010-10-07 | Paper |
A Logical Account of Lying
Logics in Artificial Intelligence | 2010-10-01 | Paper |
| Computing preferred answer sets in answer set programming | 2010-02-24 | Paper |
Reasoning and planning with cooperative actions for multiagents using answer set programming
Declarative Agent Languages and Technologies VII | 2010-02-02 | Paper |
Social Default Theories
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
Equivalence issues in abduction and induction
Journal of Applied Logic | 2009-08-14 | Paper |
Combining Answer Sets of Nonmonotonic Logic Programs
Lecture Notes in Computer Science | 2009-04-28 | Paper |
Inductive Negotiation in Answer Set Programming
Lecture Notes in Computer Science | 2009-02-12 | Paper |
Brave Induction
Inductive Logic Programming | 2008-12-02 | Paper |
Generality Relations in Answer Set Programming
Logic Programming | 2008-03-11 | Paper |
Constructing Consensus Logic Programs
Logic-Based Program Synthesis and Transformation | 2007-09-10 | Paper |
Abductive Equivalence in First-order Logic
Logic Journal of the IGPL | 2006-11-30 | Paper |
Inductive Logic Programming
Lecture Notes in Computer Science | 2006-11-01 | Paper |
Logics in Artificial Intelligence
Lecture Notes in Computer Science | 2006-10-25 | Paper |
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-11-23 | Paper |
Ordering default theories and nonmonotonic logic programs
Theoretical Computer Science | 2005-06-30 | Paper |
An abductive framework for computing knowledge base updates
Theory and Practice of Logic Programming | 2004-09-24 | Paper |
| scientific article; zbMATH DE number 2090536 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2086328 (Why is no real title available?) | 2004-08-11 | Paper |
| scientific article; zbMATH DE number 1746703 (Why is no real title available?) | 2004-02-25 | Paper |
| scientific article; zbMATH DE number 1890617 (Why is no real title available?) | 2003-04-02 | Paper |
| scientific article; zbMATH DE number 1759254 (Why is no real title available?) | 2002-06-25 | Paper |
Prioritized logic programming and its application to commonsense reasoning
Artificial Intelligence | 2000-12-12 | Paper |
Computing extended abduction through transaction programs
Annals of Mathematics and Artificial Intelligence | 2000-06-07 | Paper |
| scientific article; zbMATH DE number 1453062 (Why is no real title available?) | 2000-05-25 | Paper |
Abductive logic programming and disjunctive logic programming: their relationship and transferability
The Journal of Logic Programming | 2000-05-25 | Paper |
Negation as failure in the head
The Journal of Logic Programming | 1999-01-11 | Paper |
Partial deduction in disjunctive logic programming
The Journal of Logic Programming | 1997-10-30 | Paper |
| scientific article; zbMATH DE number 970716 (Why is no real title available?) | 1997-05-25 | Paper |
A fixpoint characterization of abductive logic programs
The Journal of Logic Programming | 1997-04-27 | Paper |
Paraconsistent Stable Semantics for Extended Disjunctive Programs
Journal Of Logic And Computation | 1995-06-06 | Paper |
An alternative approach to the semantics of disjunctive logic programs and deductive databases
Journal of Automated Reasoning | 1995-02-22 | Paper |
Partial evaluation of queries in deductive databases
New Generation Computing | 1988-01-01 | Paper |
