| Publication | Date of Publication | Type |
|---|
A general framework for preferences in answer set programming
Artificial Intelligence | 2023-12-14 | Paper |
Shedding new light on the foundations of abstract argumentation: modularization and weak admissibility
Artificial Intelligence | 2022-08-11 | Paper |
Solving Advanced Argumentation Problems with Answer Set Programming
Theory and Practice of Logic Programming | 2021-09-03 | Paper |
Handling and measuring inconsistency in non-monotonic logics
Artificial Intelligence | 2020-11-16 | Paper |
| Strong explanations for nonmonotonic reasoning | 2020-06-04 | Paper |
| Multi-valued GRAPPA | 2020-02-18 | Paper |
| Argumentation-based explanations for answer sets using ADF | 2019-10-10 | Paper |
Strong inconsistency
Artificial Intelligence | 2019-08-28 | Paper |
| Inconsistency measures for disjunctive logic programs under answer set semantics | 2019-08-01 | Paper |
The equivalence zoo for Dung-style semantics
Journal Of Logic And Computation | 2019-01-31 | Paper |
| Translation-Based Revision and Merging for Minimal Horn Reasoning. | 2018-07-12 | Paper |
Reactive multi-context systems: heterogeneous reasoning in dynamic environments
Artificial Intelligence | 2018-05-11 | Paper |
| scientific article; zbMATH DE number 6747882 (Why is no real title available?) | 2017-07-18 | Paper |
| scientific article; zbMATH DE number 6747883 (Why is no real title available?) | 2017-07-18 | Paper |
scientific article; zbMATH DE number 6747883 (Why is no real title available?)
(available as arXiv preprint) | 2017-07-18 | Paper |
Adding threshold concepts to the description logic \(\mathcal{EL}\)
Frontiers of Combining Systems | 2017-02-27 | Paper |
Measuring inconsistency in answer set programs
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Inconsistency Management in Reactive Multi-context Systems
Logics in Artificial Intelligence | 2016-11-30 | Paper |
Implementing preferences with asprin
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
A formal theory of justifications
Logic Programming and Nonmonotonic Reasoning | 2015-11-04 | Paper |
Towards reactive multi-context systems
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Spectra in Abstract Argumentation: An Analysis of Minimal Change
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Analyzing the Equivalence Zoo in Abstract Argumentation
Lecture Notes in Computer Science | 2013-10-04 | Paper |
Parameterized splitting: a simple modification-based approach
Correct Reasoning | 2012-07-23 | Paper |
Aggregates in answer set optimization
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
| scientific article; zbMATH DE number 5899491 (Why is no real title available?) | 2011-05-24 | Paper |
Nonmonotonic multi-context systems: a flexible approach for integrating heterogeneous knowledge sources
Lecture Notes in Computer Science | 2011-05-19 | Paper |
Nonmonotonic tools for argumentation
Logics in Artificial Intelligence | 2010-10-01 | Paper |
Combining nonmonotonic knowledge bases with external sources
Frontiers of Combining Systems | 2010-01-07 | Paper |
Argumentation Context Systems: A Framework for Abstract Group Argumentation
Logic Programming and Nonmonotonic Reasoning | 2009-11-10 | Paper |
Logic Programming and Nonmonotonic Reasoning
Lecture Notes in Computer Science | 2007-11-07 | Paper |
Answer Sets and Qualitative Optimization
Logic Journal of the IGPL | 2007-04-13 | Paper |
Qualitative choice logic
Artificial Intelligence | 2006-02-07 | Paper |
Answer sets and qualitative decision making
Synthese | 2005-12-12 | Paper |
Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
Lecture Notes in Computer Science | 2005-08-17 | Paper |
Declarative Representation of Revision Strategies*
Journal of Applied Non-Classical Logics | 2004-01-11 | Paper |
| scientific article; zbMATH DE number 1931680 (Why is no real title available?) | 2003-06-20 | Paper |
| scientific article; zbMATH DE number 1884386 (Why is no real title available?) | 2003-03-18 | Paper |
| scientific article; zbMATH DE number 1748571 (Why is no real title available?) | 2002-07-10 | Paper |
Representing meta-knowledge in Poole systems
Studia Logica | 2002-01-02 | Paper |
Dynamic argument systems: A formal model of argumentation processes based on situation calculus
Journal of Logic and Computation | 2001-06-26 | Paper |
| scientific article; zbMATH DE number 1420894 (Why is no real title available?) | 2000-07-18 | Paper |
| scientific article; zbMATH DE number 1333626 (Why is no real title available?) | 1999-09-13 | Paper |
Preferred answer sets for extended logic programs
Artificial Intelligence | 1999-06-21 | Paper |
| scientific article; zbMATH DE number 1149418 (Why is no real title available?) | 1998-05-10 | Paper |
| scientific article; zbMATH DE number 1136651 (Why is no real title available?) | 1998-04-01 | Paper |
| scientific article; zbMATH DE number 824740 (Why is no real title available?) | 1995-12-11 | Paper |
How to Do Things with Worlds: on Formalizing Actions and Plans
Journal Of Logic And Computation | 1994-03-27 | Paper |
| scientific article; zbMATH DE number 517023 (Why is no real title available?) | 1994-03-17 | Paper |
Skeptical reason maintenance and belief revision
Artificial Intelligence | 1994-01-19 | Paper |
| scientific article; zbMATH DE number 408769 (Why is no real title available?) | 1993-09-06 | Paper |
| scientific article; zbMATH DE number 44622 (Why is no real title available?) | 1993-01-23 | Paper |
Cumulative default logic: In defense of nonmonotonic inference rules
Artificial Intelligence | 1992-06-28 | Paper |
| scientific article; zbMATH DE number 4174344 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4110671 (Why is no real title available?) | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4047198 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4022663 (Why is no real title available?) | 1986-01-01 | Paper |
