Luis Fariñas del Cerro

ORCID

Publication Activity (10 Years)

Years Active: 1977-2024
Publications (10 Years): 36

Top Venues

CoRR

J. Appl. Non Class. Logics

Theory Pract. Log. Program.

Artif. Intell.

Publications

Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann
Metric Dynamic Equilibrium Logic. CoRR (2024)
Jorge Fandinno, Luis Fariñas del Cerro
Abstract Argumentation and Answer Set Programming: Two Faces of Nelson's Logic. Theory Pract. Log. Program. 23 (2) (2023)
Arvid Becker, Pedro Cabalar, Martín Diéguez, Luis Fariñas del Cerro, Torsten Schaub, Anna Schuhmann
Metric dynamic equilibrium logic. J. Appl. Non Class. Logics 33 (3-4) (2023)
Marta Cialdea Mayer, Luis Fariñas del Cerro
Logical connectives for two-state semantics. J. Appl. Non Class. Logics 33 (3-4) (2023)
Jorge Fandinno, Luis Fariñas del Cerro
Abstract argumentation and answer set programming: two faces of Nelson's logic. CoRR (2022)
Maria Eugenia Cornejo, Luis Fariñas del Cerro, Jesús Medina
Multi-adjoint lattice logic and truth-stressing hedges. Fuzzy Sets Syst. 445 (2022)
Maria Eugenia Cornejo, Luis Fariñas del Cerro, Jesús Medina
Multi-adjoint Lattice Logic. Properties and Query Answering. EPIA (2022)
Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton Marques Peron
Modal Logic With Non-Deterministic Semantics: Part II - Quantified Case. Log. J. IGPL 30 (5) (2022)
Maria Eugenia Cornejo, Luis Fariñas del Cerro, Jesús Medina
A logical characterization of multi-adjoint algebras. Fuzzy Sets Syst. 425 (2021)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Splitting Epistemic Logic Programs. Theory Pract. Log. Program. 21 (3) (2021)
Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro
A Framework for Modelling Molecular Interaction Maps. FLAP 8 (7) (2021)
Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex
Valid attacks in argumentation frameworks with recursive attacks. Ann. Math. Artif. Intell. 89 (1-2) (2021)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. ICLP Workshops (2020)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
On the Splitting Property for Epistemic Logic Programs (Extended Abstract). IJCAI (2020)
Ezgi Iraz Su, Luis Fariñas del Cerro, Andreas Herzig
Autoepistemic equilibrium logic and epistemic specifications. Artif. Intell. 282 (2020)
Marcelo E. Coniglio, Luis Fariñas del Cerro, Marques Peron Newton
Modal logic with non-deterministic semantics: Part I - Propositional case. Log. J. IGPL 28 (3) (2020)
Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro
A framework for modelling Molecular Interaction Maps. CoRR (2020)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Autoepistemic answer set programming. Artif. Intell. 289 (2020)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Splitting Epistemic Logic Programs. LPNMR (2019)
Philippe Balbiani, Martín Diéguez, Luis Fariñas del Cerro
Setting the Basis for Here and There Modal Logics. FLAP 6 (6) (2019)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Founded World Views with Autoepistemic Equilibrium Logic. CoRR (2019)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. CoRR (2019)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Founded World Views with Autoepistemic Equilibrium Logic. LPNMR (2019)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro
Splitting Epistemic Logic Programs. CoRR (2018)
Jorge Fandinno, Luis Fariñas del Cerro
Constructive Logic Covers Argumentation and Logic Programming. KR (2018)
Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex
Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports. FoIKS (2018)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. CoRR (2018)
Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex
Structure-Based Semantics of Argumentation Frameworks with Higher-Order Attacks and Supports. COMMA (2018)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. Theory Pract. Log. Program. 18 (3-4) (2018)
Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex
Valid Attacks in Argumentation Frameworks with Recursive Attacks. COMMONSENSE (2017)
Pedro Cabalar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce, Agustín Valverde
On the Properties of Atom Definability and Well-Supportedness in Logic Programming. EPIA (2017)
Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton M. Peron
Errata and Addenda to 'Finite non-deterministic semantics for some modal systems'. J. Appl. Non Class. Logics 26 (4) (2016)
Jean-Marc Alliot, Martín Diéguez, Luis Fariñas del Cerro
Metabolic Pathways as Temporal Logic Programs. JELIA (2016)
Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
Translation of first order formulas into ground formulas via a completion theory. J. Appl. Log. 15 (2016)
Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton M. Peron
Finite non-deterministic semantics for some modal systems. J. Appl. Non Class. Logics 25 (1) (2015)
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
Epistemic Equilibrium Logic. IJCAI (2015)
Pedro Cabalar, Luis Fariñas del Cerro, David Pearce, Agustín Valverde
A Free Logic for Stable Models with Partial Intensional Functions. JELIA (2014)
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
Capturing equilibrium models in modal logic. J. Appl. Log. 12 (2) (2014)
Luis Fariñas del Cerro, David Pearce, Agustín Valverde
FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. IJCAI (2013)
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
Combining Equilibrium Logic and Dynamic Logic. LPNMR (2013)
Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
An Ordinal View of Independence with Application to Plausible Reasoning CoRR (2013)
Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
Automated Reasoning in Metabolic Networks with Inhibition. AI*IA (2013)
Luis Fariñas del Cerro, Andreas Herzig
La logique modale des modèles d'équilibre. Rev. d'Intelligence Artif. 26 (1-2) (2012)
Luis Fariñas del Cerro, David Pearce, Agustín Valverde
Bi-state Logic. Correct Reasoning (2012)
Luis Fariñas del Cerro, Andreas Herzig
Logics of Contingency. AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Luis Fariñas del Cerro, Andreas Herzig
The Modal Logic of Equilibrium Models. FroCoS (2011)
Luis Fariñas del Cerro, Andreas Herzig
Contingency-Based Equilibrium Logic. LPNMR (2011)
Edward Hermann Haeusler, Luis Fariñas del Cerro
Preface. LSFA (2010)
Robert Demolombe, Luis Fariñas del Cerro
Information About a Given Entity: From Semantics Towards Automated Deduction. J. Log. Comput. 20 (6) (2010)
Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
Foreword. J. Appl. Non Class. Logics 20 (4) (2010)
Robert Demolombe, Luis Fariñas del Cerro
How to Produce Information About a Given Entity Using Automated Deduction Methods. LSFA (2009)
Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
Global and Local Graph Modifiers. Electron. Notes Theor. Comput. Sci. 231 (2009)
Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade
Modal Tableaux: Completeness vs. Termination. We Will Show Them! (1) (2005)
Luis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig
Foreword. J. Appl. Non Class. Logics 13 (1) (2003)
Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
Tractability Results in the Block Algebra. J. Log. Comput. 12 (5) (2002)
Luis Fariñas del Cerro, Olivier Gasquet
A General Framework for Pattern-Driven Modal Tableaux. Log. J. IGPL 10 (1) (2002)
Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci
Lotrec : The Generic Tableau Prover for Modal and Description Logics. IJCAR (2001)
Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
A mixed decision method for duration calculus. J. Log. Comput. 10 (6) (2000)
Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
A Decision Method for Duration Calculus. RelMiCS (2000)
Robert Demolombe, Luis Fariñas del Cerro
". Intellectics and Computational Logic (2000)
Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
A New Tractable Subclass of the Rectangle Algebra. IJCAI (1999)
Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations. EPIA (1999)
Luis Fariñas del Cerro, Olivier Gasquet
Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. Fundam. Informaticae 40 (4) (1999)
Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
A Decision Method for Duration Calculus. J. Univers. Comput. Sci. 5 (11) (1999)
Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro
A Model for Reasoning about Bidemsional Temporal Relations. KR (1998)
Philippe Balbiani, Luis Fariñas del Cerro
Complete axiomatization of a relative modal logic with composition and intersection. J. Appl. Non Class. Logics 8 (4) (1998)
Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro, Aomar Osmani
Reasoning about Generalized Intervals. AIMSA (1998)
Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
Modal tableaux based on graph-rules. RelMiCS (1998)
Luis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi
Belief Reconstruction in Cooperative Dialogues. AIMSA (1998)
Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
Modal Tableaux with Propagation Rules and Structural Rules. Fundam. Informaticae 32 (3-4) (1997)
Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
Modal Logics for Incidence Geometries. J. Log. Comput. 7 (1) (1997)
Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
Qualitative Relevance and Independence: A Roadmap. IJCAI (1) (1997)
Luis Fariñas del Cerro, Andreas Herzig
Belief Change and Dependence. TARK (1996)
Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
Geometrical Structures and Modal Logic. FAPR (1996)
Luis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig
Talkin'bout Consistency, or: When Logically Possible Becomes Possible. FAPR (1996)
Luis Fariñas del Cerro, Andreas Herzig
Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional. FroCoS (1996)
Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
An Ordinal View of Independence with Application to Plausible Reasoning. UAI (1994)
Luis Fariñas del Cerro, Andreas Herzig
Possibility Theory and Independence. IPMU (1994)
Luis Fariñas del Cerro, Andreas Herzig
Interference logic = conditional logic + frame axiom. Int. J. Intell. Syst. 9 (1) (1994)
Luis Fariñas del Cerro, Andreas Herzig
A Conditional Logic for Updating in the Possible Models Approach. KI (1994)
Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang
From Ordering-Based Nonmonotonic Reasoning to Conditional Logics. Artif. Intell. 66 (2) (1994)
Philippe Besnard, Yves Moinard, Wilmer Pereira, Michael Clarke, Nic Wilson, Miguel Delgado, Serafín Moral, Juan Cano, Didier Dubois, Henri Prade, Luis Fariñas del Cerro, Jérôme Lang, Stéphane Amarger, John Fox, Paul J. Krause, Michael Dohnal, Christine Froidevaux, Jérôme Mengin, Ramón López de Mántaras, Lluís Godo, E. H. Mamdani, John Bigham, Simon Parsons, Rudolf Kruse, Olivier Paillet, Pierre Siegel, Philippe Smets, Yen-Teh Hsia, Alessandro Saffiotti, Robert Kennes, Hong Xu, Elizabeth Umkehrer, Kurt Sundermeyer, Chris Whitney
DRUMS: Defeasible Reasoning and Uncertainty Management Systems. AI Commun. 6 (1) (1993)
Philippe Balbiani, Luis Fariñas del Cerro
Affine Geometry of Collinearity and Conditional Term Rewriting. Term Rewriting (1993)
Luis Fariñas del Cerro, Andreas Herzig
Interference Logic = Conditional Logic + Frame Axiom. ECSQARU (1993)
Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang
From Ordering Based Nonmonotonic Reasoning to Conditional Logics. ECAI (1992)
Luis Fariñas del Cerro, Andreas Herzig
Metaprogramming Through Intensional Deduction: Some Examples. META (1992)
Robert Demolombe, Luis Fariñas del Cerro
An Inference Rule for Hypothesis Generation. IJCAI (1991)
Luis Fariñas del Cerro, Andreas Herzig
A modal analysis of possibility theory. FAIR (1991)
Luis Fariñas del Cerro, Andreas Herzig
A Modal Analysis of Possibility Theory. ECSQARU (1991)
Walter Alexandre Carnielli, Luis Fariñas del Cerro, Mamede Lima-Marques
Contextual Negations and Reasoning with Contradictions. IJCAI (1991)
Luis Fariñas del Cerro, Andreas Herzig
Deterministic Modal Logics for Automated Deduction. ECAI (1990)
Luis Fariñas del Cerro, Martti Penttonen
Logics with Structured Contexts. AIMSA (1990)
Patrice Enjalbert, Luis Fariñas del Cerro
Modal Resolution in Clausal Form. Theor. Comput. Sci. 65 (1) (1989)
Wolfgang Bibel, Luis Fariñas del Cerro, Bertram Fronhöfer, Andreas Herzig
Plan Generation by Linear Proofs: On Semantics. GWAI (1989)
Luis Fariñas del Cerro, Andreas Herzig
Linear Modal Deductions. CADE (1988)
Pierre Bieber, Luis Fariñas del Cerro, Andreas Herzig
MOLOG: a Modal PROLOG. CADE (1988)
Robert Demolombe, Luis Fariñas del Cerro
An Algebraic Evaluation Method for Deduction in Incomplete Data Bases. J. Log. Program. 5 (3) (1988)
Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
Declarative Semantics for Modal Logic Programs. FGCS (1988)
Luis Fariñas del Cerro, Martti Penttonen
A Note of the Complexity of the Satisfiability of Modal Horn Clauses. J. Log. Program. 4 (1) (1987)
Marta Cialdea, Luis Fariñas del Cerro
A Modal Herbrand's Property. Math. Log. Q. 32 (31-34) (1986)

Luis Fariñas del Cerro.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Luis Fariñas del Cerro