Luis Farias del Cerro
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
39
Venues
15
Active years
1982–2022
Best venue rank
A*
Where they publish
Papers
39 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | EPIA | Multi-adjoint Lattice Logic. Properties and Query Answering. | Maria Eugenia Cornejo, Luis Farias del Cerro, Jess Medina |
| 2020 | ICLP | Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. | Pedro Cabalar, Jorge Fandinno, Luis Farias del Cerro |
| 2020 | IJCAI | On the Splitting Property for Epistemic Logic Programs (Extended Abstract). | Pedro Cabalar, Jorge Fandinno, Luis Farias del Cerro |
| 2019 | LPNMR | Splitting Epistemic Logic Programs. | Pedro Cabalar, Jorge Fandinno, Luis Farias del Cerro |
| 2019 | LPNMR | Founded World Views with Autoepistemic Equilibrium Logic. | Pedro Cabalar, Jorge Fandinno, Luis Farias del Cerro |
| 2018 | COMMA | Structure-Based Semantics of Argumentation Frameworks with Higher-Order Attacks and Supports. | Claudette Cayrol, Jorge Fandinno, Luis Farias del Cerro, Marie-Christine Lagasquie-Schiex |
| 2018 | KR | Constructive Logic Covers Argumentation and Logic Programming. | Jorge Fandinno, Luis Farias del Cerro |
| 2017 | EPIA | On the Properties of Atom Definability and Well-Supportedness in Logic Programming. | Pedro Cabalar, Jorge Fandinno, Luis Farias del Cerro, David Pearce, Agustn Valverde |
| 2016 | JELIA | Metabolic Pathways as Temporal Logic Programs. | Jean-Marc Alliot, Martn Diguez, Luis Farias del Cerro |
| 2015 | IJCAI | Epistemic Equilibrium Logic. | Luis Farias del Cerro, Andreas Herzig, Ezgi Iraz Su |
| 2014 | JELIA | A Free Logic for Stable Models with Partial Intensional Functions. | Pedro Cabalar, Luis Farias del Cerro, David Pearce, Agustn Valverde |
| 2013 | IJCAI | FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. | Luis Farias del Cerro, David Pearce, Agustn Valverde |
| 2013 | LPNMR | Combining Equilibrium Logic and Dynamic Logic. | Luis Farias del Cerro, Andreas Herzig, Ezgi Iraz Su |
| 2011 | LPNMR | Contingency-Based Equilibrium Logic. | Luis Farias del Cerro, Andreas Herzig |
| 2001 | CADE | Lotrec : The Generic Tableau Prover for Modal and Description Logics. | Luis Farias del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci |
| 1999 | EPIA | A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations. | Philippe Balbiani, Jean-Franois Condotta, Luis Farias del Cerro |
| 1999 | IJCAI | A New Tractable Subclass of the Rectangle Algebra. | Philippe Balbiani, Jean-Franois Condotta, Luis Farias del Cerro |
| 1998 | AIMSA | Reasoning about Generalized Intervals. | Philippe Balbiani, Jean-Franois Condotta, Luis Farias del Cerro, Aomar Osmani |
| 1998 | AIMSA | Belief Reconstruction in Cooperative Dialogues. | Luis Farias del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi |
| 1998 | KR | A Model for Reasoning about Bidemsional Temporal Relations. | Philippe Balbiani, Jean-Franois Condotta, Luis Farias del Cerro |
| 1997 | IJCAI | Qualitative Relevance and Independence: A Roadmap. | Didier Dubois, Luis Farias del Cerro, Andreas Herzig, Henri Prade |
| 1996 | TARK | Belief Change and Dependence. | Luis Farias del Cerro, Andreas Herzig |
| 1994 | IPMU | Possibility Theory and Independence. | Luis Farias del Cerro, Andreas Herzig |
| 1994 | KI | A Conditional Logic for Updating in the Possible Models Approach. | Luis Farias del Cerro, Andreas Herzig |
| 1994 | UAI | An Ordinal View of Independence with Application to Plausible Reasoning. | Didier Dubois, Luis Farias del Cerro, Andreas Herzig, Henri Prade |
| 1993 | ECSQARU | Interference Logic = Conditional Logic + Frame Axiom. | Luis Farias del Cerro, Andreas Herzig |
| 1992 | ECAI | From Ordering Based Nonmonotonic Reasoning to Conditional Logics. | Luis Farias del Cerro, Andreas Herzig, Jrme Lang |
| 1991 | ECSQARU | A Modal Analysis of Possibility Theory. | Luis Farias del Cerro, Andreas Herzig |
| 1991 | IJCAI | Contextual Negations and Reasoning with Contradictions. | Walter Alexandre Carnielli, Luis Farias del Cerro, Mamede Lima-Marques |
| 1991 | IJCAI | An Inference Rule for Hypothesis Generation. | Robert Demolombe, Luis Farias del Cerro |
| 1990 | AIMSA | Logics with Structured Contexts. | Luis Farias del Cerro, Martti Penttonen |
| 1990 | ECAI | Deterministic Modal Logics for Automated Deduction. | Luis Farias del Cerro, Andreas Herzig |
| 1989 | KI | Plan Generation by Linear Proofs: On Semantics. | Wolfgang Bibel, Luis Farias del Cerro, Bertram Fronhfer, Andreas Herzig |
| 1988 | CADE | MOLOG: a Modal PROLOG. | Pierre Bieber, Luis Farias del Cerro, Andreas Herzig |
| 1988 | CADE | Linear Modal Deductions. | Luis Farias del Cerro, Andreas Herzig |
| 1984 | CADE | A Decision Method for Linear Temporal Logic. | Ana R. Cavalli, Luis Farias del Cerro |
| 1984 | ECAI | DAL: A Logic for Data Analysis. | Luis Farias del Cerro, Ewa Orlowska |
| 1983 | IJCAI | Temporal Reasoning and Termination of Programs. | Luis Farias del Cerro |
| 1982 | ECAI | A Deduction Method for Modal Logic. | Luis Farias del Cerro |