Showing cs.AIShow all
2 papers · 1 filter
cs.AI2022
Abstract argumentation and answer set programming: two faces of Nelson's logic
Jorge Fandinno, Luis Fariñas del Cerro
In this work, we show that both logic programming and abstract argumentation frameworks can be interpreted in terms of Nelson's constructive logic N4. We do so by formalizing, in t…
cs.AI2013
An Ordinal View of Independence with Application to Plausible Reasoning
Didier Dubois, Luis Farinas del Cerro, Andreas Herzig +1
An ordinal view of independence is studied in the framework of possibility theory. We investigate three possible definitions of dependence, of increasing strength. One of them is t…