Publication | Date of Publication | Type |
---|
Nonmonotonic inheritance, argumentation and logic programming | 2022-08-30 | Paper |
On the strong completion of logic programs | 2022-08-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q5116398 | 2020-08-25 | Paper |
Modelling last-act attempted crime in criminal law | 2019-11-18 | Paper |
Argumentation for Practical Reasoning: An Axiomatic Approach | 2018-07-06 | Paper |
Argumentation-Based Semantics for Logic Programs with First-Order Formulae | 2018-07-06 | Paper |
Fundamental properties of attack relations in structured argumentation with priorities | 2018-01-31 | Paper |
https://portal.mardi4nfdi.de/entity/Q5282981 | 2017-07-18 | Paper |
An axiomatic analysis of structured argumentation with priorities | 2015-12-28 | Paper |
Closure and Consistency In Logic-Associated Argumentation | 2014-01-30 | Paper |
Stabilization of Information Sharing for Queries Answering in Multiagent Systems | 2012-11-13 | Paper |
Inductive Defense for Sceptical Semantics of Extended Argumentation | 2011-06-10 | Paper |
Closure and Consistency Rationalities in Logic-Based Argumentation | 2011-05-19 | Paper |
A Logical Model of Private International Law | 2010-09-29 | Paper |
Towards a Common Framework for Dialectical Proof Procedures in Abstract Argumentation | 2010-01-14 | Paper |
Argument-Based Decision Making and Negotiation in E-Business: Contracting a Land Lease for a Computer Assembly Plant | 2009-08-20 | Paper |
Computing ideal sceptical argumentation | 2009-07-09 | Paper |
Dialectic proof procedures for assumption-based, admissible argumentation | 2007-10-23 | Paper |
Stabilization of cooperative information agents in unpredictable environment: a logic programming approach | 2007-03-08 | Paper |
https://portal.mardi4nfdi.de/entity/Q4707769 | 2003-06-11 | Paper |
On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games | 2003-02-04 | Paper |
https://portal.mardi4nfdi.de/entity/Q4537430 | 2002-06-30 | Paper |
An argument-based approach to reasoning with specificity | 2002-03-03 | Paper |
https://portal.mardi4nfdi.de/entity/Q2767105 | 2002-01-28 | Paper |
On the correctness of unfold/fold transformation of normal and extended logic programs | 1997-07-20 | Paper |
https://portal.mardi4nfdi.de/entity/Q5688897 | 1997-03-19 | Paper |
Knowledge base dynamics, abduction, and database updates | 1995-06-06 | Paper |
An argumentation-theoretic foundation for logic programming | 1995-04-09 | Paper |
Negation as failure for disjunctive logic programming | 1994-01-01 | Paper |
On the relations between stable and well-founded semantics of logic programs | 1993-01-16 | Paper |
https://portal.mardi4nfdi.de/entity/Q3988855 | 1992-06-28 | Paper |
https://portal.mardi4nfdi.de/entity/Q3975936 | 1992-06-26 | Paper |
https://portal.mardi4nfdi.de/entity/Q3766854 | 1986-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3686048 | 1982-01-01 | Paper |