| Publication | Date of Publication | Type |
|---|
\(\mathrm{AL}^+\): extended argumentation logic
Journal of Logic and Computation | 2026-03-05 | Paper |
An abductive framework for extended logic programming
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
| Argument graphs for defeasible logic programming | 2020-08-25 | Paper |
On argumentation logic and propositional logic
Studia Logica | 2018-04-16 | Paper |
On the semantics of abstract argumentation
Journal of Logic and Computation | 2013-11-21 | Paper |
Semi-negative Abductive Logic Programs with Implicative Integrity Constraints: Semantics and Properties
Logic Programs, Norms and Action | 2012-07-23 | Paper |
Abduction in classification tasks
Lecture Notes in Computer Science | 2010-03-05 | Paper |
An abductive proof procedure handling active rules
Lecture Notes in Computer Science | 2010-03-05 | Paper |
The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
Theory and Practice of Logic Programming | 2009-11-25 | Paper |
Computing ideal sceptical argumentation
Artificial Intelligence | 2009-07-09 | Paper |
scientific article; zbMATH DE number 5547960 (Why is no real title available?)
(available as arXiv preprint) | 2009-04-28 | Paper |
Knowledge Discovery in Inductive Databases
Lecture Notes in Computer Science | 2007-05-02 | 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 |
Computational Logic in Multi-Agent Systems
Lecture Notes in Computer Science | 2005-11-23 | Paper |
Global Computing
Lecture Notes in Computer Science | 2005-08-19 | Paper |
| scientific article; zbMATH DE number 1926641 (Why is no real title available?) | 2003-06-11 | Paper |
| scientific article; zbMATH DE number 1926609 (Why is no real title available?) | 2003-06-11 | Paper |
| scientific article; zbMATH DE number 1926630 (Why is no real title available?) | 2003-06-11 | Paper |
| scientific article; zbMATH DE number 1696850 (Why is no real title available?) | 2002-01-28 | Paper |
Towards a logical semantics for pure Prolog
Science of Computer Programming | 2000-01-04 | Paper |
Knowledge representation with multiple logical theories and time
Journal of Experimental & Theoretical Artificial Intelligence | 1999-01-01 | Paper |
A unifying view for logic programming with non-monotonic reasoning
Theoretical Computer Science | 1998-07-22 | Paper |
Short note preferred extensions are partial stable models
The Journal of Logic Programming | 1992-11-10 | Paper |
A transformational approach to negation in logic programming
The Journal of Logic Programming | 1992-06-25 | Paper |
Complete logic programs with domain-closure axiom
The Journal of Logic Programming | 1988-01-01 | Paper |
| scientific article; zbMATH DE number 4033044 (Why is no real title available?) | 1987-01-01 | Paper |
