Luis Fariñas del Cerro

IRIT , University of Toulouse , CNRS , France

8 papers in the IJCAI proceedings

IJCAI 2020

On the Splitting Property for Epistemic Logic Programs (Extended Abstract)

with Pedro Cabalar, Jorge Fandinno

doi:10.24963/ijcai.2020/653

Details PDF

IJCAI 2015

Epistemic Equilibrium Logic

with Andreas Herzig, Ezgi Iraz Su

Details PDF

IJCAI 2013

FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions

with David Pearce, Agustín Valverde

Details PDF

IJCAI 1999

A New Tractable Subclass of the Rectangle Algebra

with Philippe Balbiani, Jean-François Condotta

Details PDF

IJCAI 1997

Qualitative Relevance and Independence: A Roadmap

with Didier Dubois, Andreas Herzig, Henri Prade

Details PDF

IJCAI 1991

An Inference Rule for Hypothesis Generation

with Robert Demolombe

Details PDF

Contextual Negations and Reasoning with Contradictions

with Walter Alexandre Carnielli, Mamede Lima-Marques

Details PDF

IJCAI 1983

Temporal Reasoning and Termination of Programs

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings