The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Graph theoretical structures in logic programs and default theories
Theoretical Computer Science
An abstract, argumentation-theoretic approach to default reasoning
Artificial Intelligence
Cognitive Carpentry: A Blueprint for how to Build a Person
Cognitive Carpentry: A Blueprint for how to Build a Person
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Applications of intuitionistic logic in Answer Set Programming
Theory and Practice of Logic Programming
An incremental algorithm for generating all minimal models
Artificial Intelligence
Dialectic proof procedures for assumption-based, admissible argumentation
Artificial Intelligence
Defining new argumentation-based semantics by minimal models
ENC '06 Proceedings of the Seventh Mexican International Conference on Computer Science
Computing ideal sceptical argumentation
Artificial Intelligence
Reasoning in Argumentation Frameworks Using Quantified Boolean Formulas
Proceedings of the 2006 conference on Computational Models of Argument: Proceedings of COMMA 2006
The first answer set programming system competition
LPNMR'07 Proceedings of the 9th international conference on Logic programming and nonmonotonic reasoning
ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Computing Argumentation Semantics in Answer Set Programming
New Frontiers in Artificial Intelligence
Expressing Extension-Based Semantics Based on Stratified Minimal Models
WoLLIC '09 Proceedings of the 16th International Workshop on Logic, Language, Information and Computation
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
CF2-extensions as Answer-set Models
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
WizArg: Visual Argumentation Framework Solving Wizard
Proceedings of the 2010 conference on Artificial Intelligence Research and Development: Proceedings of the 13th International Conference of the Catalan Association for Artificial Intelligence
Supporting decision making in urban wastewater systems using a knowledge-based approach
Environmental Modelling & Software
Argumentation and answer set programming
Logic programming, knowledge representation, and nonmonotonic reasoning
Argumentation frameworks with necessities
SUM'11 Proceedings of the 5th international conference on Scalable uncertainty management
Computing abductive argumentation in answer set programming
ArgMAS'09 Proceedings of the 6th international conference on Argumentation in Multi-Agent Systems
Enhancing dung's preferred semantics
FoIKS'10 Proceedings of the 6th international conference on Foundations of Information and Knowledge Systems
Fundamenta Informaticae - Logic, Language, Information and Computation
Toward incremental computation of argumentation semantics: A decomposition-based approach
Annals of Mathematics and Artificial Intelligence
Algorithms for decision problems in argument systems under preferred semantics
Artificial Intelligence
Hi-index | 0.00 |
Given an argumentation framework AF, we introduce a mapping function that constructs a disjunctive logic program P, such that the preferred extensions of AF correspond to the stable models of P, after intersecting each stable model with the relevant atoms. The given mapping function is of polynomial size w.r.t. AF. In particular, we identify that there is a direct relationship between the minimal models of a propositional formula and the preferred extensions of an argumentation framework by working on representing the defeated arguments. Then we show how to infer the preferred extensions of an argumentation framework by using UNSAT algorithms and disjunctive stable model solvers. The relevance of this result is that we define a direct relationship between one of the most satisfactory argumentation semantics and one of the most successful approach of nonmonotonic reasoning i.e., logic programming with the stable model semantics.