| Publication | Date of Publication | Type |
|---|
Nonmonotonic inheritance, argumentation and logic programming
Logic Programming and Nonmonotonic Reasoning | 2022-08-30 | Paper |
On the strong completion of logic programs
Algebraic and Logic Programming | 2022-08-16 | Paper |
| scientific article; zbMATH DE number 7238899 (Why is no real title available?) | 2020-08-25 | Paper |
Modelling last-act attempted crime in criminal law
Journal of Applied Non-Classical Logics | 2019-11-18 | Paper |
Argumentation for practical reasoning: an axiomatic approach
PRIMA 2016: Princiles and Practice of Multi-Agent Systems | 2018-07-06 | Paper |
Argumentation-based semantics for logic programs with first-order formulae
PRIMA 2016: Princiles and Practice of Multi-Agent Systems | 2018-07-06 | Paper |
Fundamental properties of attack relations in structured argumentation with priorities
Artificial Intelligence | 2018-01-31 | Paper |
| scientific article; zbMATH DE number 6747901 (Why is no real title available?) | 2017-07-18 | Paper |
An axiomatic analysis of structured argumentation with priorities
Artificial Intelligence | 2015-12-28 | Paper |
Closure and consistency in logic-associated argumentation
The Journal of Artificial Intelligence Research (JAIR) | 2014-01-30 | Paper |
Stabilization of Information Sharing for Queries Answering in Multiagent Systems
Logic Programming | 2012-11-13 | Paper |
Inductive defense for sceptical semantics of extended argumentation
Journal Of Logic And Computation | 2011-06-10 | Paper |
Closure and consistency rationalities in logic-based argumentation
Lecture Notes in Computer Science | 2011-05-19 | Paper |
A logical model of private international law
Lecture Notes in Computer Science | 2010-09-29 | Paper |
Towards a common framework for dialectical proof procedures in abstract argumentation
Journal Of Logic And Computation | 2010-01-14 | Paper |
Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant
Lecture Notes in Computer Science | 2009-08-20 | Paper |
Computing ideal sceptical argumentation
Artificial Intelligence | 2009-07-09 | Paper |
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence | 2007-10-23 | Paper |
Stabilization of cooperative information agents in unpredictable environment: a logic programming approach
Theory and Practice of Logic Programming | 2007-03-08 | Paper |
| scientific article; zbMATH DE number 1926641 (Why is no real title available?) | 2003-06-11 | Paper |
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
Artificial Intelligence | 2003-02-04 | Paper |
| scientific article; zbMATH DE number 1761410 (Why is no real title available?) | 2002-06-30 | Paper |
An argument-based approach to reasoning with specificity
Artificial Intelligence | 2002-03-03 | Paper |
| scientific article; zbMATH DE number 1696836 (Why is no real title available?) | 2002-01-28 | Paper |
On the correctness of unfold/fold transformation of normal and extended logic programs
The Journal of Logic Programming | 1997-07-20 | Paper |
| scientific article; zbMATH DE number 970712 (Why is no real title available?) | 1997-03-19 | Paper |
Knowledge base dynamics, abduction, and database updates
Journal of Applied Non-Classical Logics | 1995-06-06 | Paper |
An argumentation-theoretic foundation for logic programming
The Journal of Logic Programming | 1995-04-09 | Paper |
Negation as failure for disjunctive logic programming
Annals of Mathematics and Artificial Intelligence | 1994-01-01 | Paper |
On the relations between stable and well-founded semantics of logic programs
Theoretical Computer Science | 1993-01-16 | Paper |
| scientific article; zbMATH DE number 33416 (Why is no real title available?) | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 18533 (Why is no real title available?) | 1992-06-26 | Paper |
| scientific article; zbMATH DE number 4024793 (Why is no real title available?) | 1986-01-01 | Paper |
| scientific article; zbMATH DE number 3909751 (Why is no real title available?) | 1982-01-01 | Paper |
