7 papers
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…
Tableau systems for some Ivlev-like (quantified) modal logics
Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton M. Peron
Ivlev's pioneering work started in the 1970's showed a new and promissory way in the study of modal logic from the perspective of many-valued logics. Continuing our previous work o…
Modal Logic With Non-deterministic Semantics: Part II -- Quantified Case
Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton M. Peron
In the first part of this paper we analyzed finite non-deterministic matrix semantics for propositional non-normal modal logics as an alternative to the standard Kripke's possible…
A framework for modelling Molecular Interaction Maps
Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe +2
Metabolic networks, formed by a series of metabolic pathways, are made of intracellular and extracellular reactions that determine the biochemical properties of a cell, and by a se…
Founded World Views with Autoepistemic Equilibrium Logic
Pedro Cabalar, Jorge Fandinno, Luis Fariñas
Defined by Gelfond in 1991 (G91), epistemic specifications (or programs) are an extension of logic programming under stable models semantics that introducessubjective literals. A s…
Modal Logic With Non-deterministic Semantics: Part I - Propositional Case
Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton M. Peron
In 1988, Ivlev proposed four-valued non-deterministic semantics for modal logics in which the alethic T axiom holds good. Unfortunately, no completeness was proved. In previous wor…
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…