13 citations · 16 across the 4 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2016★ 3 cited
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…
cs.LO2003
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…