13 citations · 16 across the 4 of their papers we have counts for
4 papers
Range-based argumentation semantics as 2-valued models
Mauricio Osorio, Juan Carlos Nieves
Characterizations of semi-stable and stage extensions in terms of 2-valued logical models are presented. To this end, the so-called GL-supported and GL-stage models are defined. Th…
Semantics for Possibilistic Disjunctive Programs
Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
In this paper, a possibilistic disjunctive logic programming approach for modeling uncertain, incomplete and inconsistent information is defined. This approach introduces the use o…
Preferred extensions as stable models
Juan Carlos Nieves, Mauricio Osorio, Ulises Cortés
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 stabl…
Applications of Intuitionistic Logic in Answer Set Programming
Mauricio Osorio, Juan Antonio Navarro, Jose Arrazola
We present some applications of intermediate logics in the field of Answer Set Programming (ASP). A brief, but comprehensive introduction to the answer set semantics, intuitionisti…