Validation Problems in Pattern Recognition Study of a Particular Case. - Mario Borillo; Luis Fariñas del Cerro; Jacques Virbel (IFIP Congress, 1977)

Analyse de l'evolution des utilisations des sols (construction de modeles explicatifs). - Jean-Paul Cheylan; Luis Fariñas del Cerro (Comput. Graph., 1977)

A Deduction Method for Modal Logic. - Luis Fariñas del Cerro (ECAI, 1982)

A Simple Deduction Method for Modal Logic. - Luis Fariñas del Cerro (Inf. Process. Lett., 1982)

Les Modalités de la Correction Totale. - Luis Fariñas del Cerro (RAIRO Theor. Informatics Appl., 1982)

Temporal Reasoning and Termination of Programs. - Luis Fariñas del Cerro (IJCAI, 1983)

Space as Time. - Luis Fariñas del Cerro (Inf. Process. Lett., 1983)

A Decision Method for Linear Temporal Logic. - Ana R. Cavalli; Luis Fariñas del Cerro (CADE, 1984)

Resolution Modal Logics. - Luis Fariñas del Cerro (Logics and Models of Concurrent Systems, 1984)

Mutual Belief Logic for Processing Definite Reference. - Luis Fariñas del Cerro; Said Soulhi (Natural Language Understanding and Natural Language Understanding Workshop, 1984)

Specification and Verification of Networks Protocols Using. - Ana R. Cavalli; Luis Fariñas del Cerro (Symposium on Programming, 1984)

Un Principe de Résolution en Logique Modale. - Luis Fariñas del Cerro (RAIRO Theor. Informatics Appl., 1984)

Efficient Representation of Incomplete Information About Structured Objects. - Robert Demolombe; Luis Fariñas del Cerro (Foundations of Knowledge Base Management (Xania), 1985)

DAL - A Logic for Data Analysis. - Luis Fariñas del Cerro; Ewa Orlowska (Theor. Comput. Sci., 1985)

A Modal Herbrand's Property. - Marta Cialdea; Luis Fariñas del Cerro (Math. Log. Q., 1986)

MOLOG: A System That Extends PROLOG with Modal Logic. - Luis Fariñas del Cerro (New Gener. Comput., 1986)

Corrigendum: DAL-A Logic for Data Analysis. - Luis Fariñas del Cerro; Ewa Orlowska (Theor. Comput. Sci., 1986)

A Note of the Complexity of the Satisfiability of Modal Horn Clauses. - Luis Fariñas del Cerro; Martti Penttonen (J. Log. Program., 1987)

MOLOG: a Modal PROLOG. - Pierre Bieber; Luis Fariñas del Cerro; Andreas Herzig (CADE, 1988)

Linear Modal Deductions. - Luis Fariñas del Cerro; Andreas Herzig (CADE, 1988)

Declarative Semantics for Modal Logic Programs. - Philippe Balbiani; Luis Fariñas del Cerro; Andreas Herzig (FGCS, 1988)

An Algebraic Evaluation Method for Deduction in Incomplete Data Bases. - Robert Demolombe; Luis Fariñas del Cerro (J. Log. Program., 1988)

Plan Generation by Linear Proofs: On Semantics. - Wolfgang Bibel; Luis Fariñas del Cerro; Bertram Fronhöfer; Andreas Herzig (GWAI, 1989)

Modal Resolution in Clausal Form. - Patrice Enjalbert; Luis Fariñas del Cerro (Theor. Comput. Sci., 1989)

Logics with Structured Contexts. - Luis Fariñas del Cerro; Martti Penttonen (AIMSA, 1990)

Deterministic Modal Logics for Automated Deduction. - Luis Fariñas del Cerro; Andreas Herzig (ECAI, 1990)

A modal analysis of possibility theory. - Luis Fariñas del Cerro; Andreas Herzig (FAIR, 1991)

Contextual Negations and Reasoning with Contradictions. - Walter Alexandre Carnielli; Luis Fariñas del Cerro; Mamede Lima-Marques (IJCAI, 1991)

An Inference Rule for Hypothesis Generation. - Robert Demolombe; Luis Fariñas del Cerro (IJCAI, 1991)

Metaprogramming Through Intensional Deduction: Some Examples. - Luis Fariñas del Cerro; Andreas Herzig (META, 1992)

Affine Geometry of Collinearity and Conditional Term Rewriting. - Philippe Balbiani; Luis Fariñas del Cerro (Term Rewriting, 1993)

DRUMS: Defeasible Reasoning and Uncertainty Management Systems. - Philippe Besnard; Yves Moinard; Wilmer Pereira; Michael Clarke; Nic Wilson; Miguel Delgado 001; Serafín Moral; Juan Cano; Didier Dubois; Henri Prade; Luis Fariñas del Cerro; Jérôme Lang; et al. (AI Commun., 1993)

Possibility Theory and Independence. - Luis Fariñas del Cerro; Andreas Herzig (IPMU, 1994)

A Conditional Logic for Updating in the Possible Models Approach. - Luis Fariñas del Cerro; Andreas Herzig (KI, 1994)

An Ordinal View of Independence with Application to Plausible Reasoning. - Didier Dubois; Luis Fariñas del Cerro; Andreas Herzig; Henri Prade (UAI, 1994)

From Ordering-Based Nonmonotonic Reasoning to Conditional Logics. - Luis Fariñas del Cerro; Andreas Herzig; Jérôme Lang (Artif. Intell., 1994)

Interference logic = conditional logic + frame axiom. - Luis Fariñas del Cerro; Andreas Herzig (Int. J. Intell. Syst., 1994)

Logical Handling of Inconsistent and Default Information. - Philippe Besnard; Luis Fariñas del Cerro; Dov M. Gabbay; Anthony Hunter (Uncertainty Management in Information Systems, 1996)

Geometrical Structures and Modal Logic. - Philippe Balbiani; Luis Fariñas del Cerro; Tinko Tinchev; Dimiter Vakarelov (FAPR, 1996)

Talkin'bout Consistency, or: When Logically Possible Becomes Possible. - Luis Fariñas del Cerro; Antonio Frias Delgado; Andreas Herzig (FAPR, 1996)

Combinig Classical and Intuitionistic Logic, or: Intuitionistic Implication as a Conditional. - Luis Fariñas del Cerro; Andreas Herzig (FroCoS, 1996)

Revisions, Updated, and Interference. - Luis Fariñas del Cerro; Andreas Herzig (Logic, Action, and Information, 1996)

Counterfactuals: Foundations for Nonmonotonic Inferences Sequent Systems. - Gabriella Crocco; Luis Fariñas del Cerro (Logic, Action, and Information, 1996)

Belief Change and Dependence. - Luis Fariñas del Cerro; Andreas Herzig (TARK, 1996)

Qualitative Relevance and Independence: A Roadmap. - Didier Dubois; Luis Fariñas del Cerro; Andreas Herzig; Henri Prade (IJCAI (1), 1997)

Modal Tableaux with Propagation Rules and Structural Rules. - Marcos A. Castilho; Luis Fariñas del Cerro; Olivier Gasquet; Andreas Herzig (Fundam. Informaticae, 1997)

Modal Logics for Incidence Geometries. - Philippe Balbiani; Luis Fariñas del Cerro; Tinko Tinchev; Dimiter Vakarelov (J. Log. Comput., 1997)

Modal tableaux based on graph-rules. - Marcos A. Castilho; Luis Fariñas del Cerro; Olivier Gasquet; Andreas Herzig (RelMiCS, 1998)

Reasoning about Generalized Intervals. - Philippe Balbiani; Jean-François Condotta; Luis Fariñas del Cerro; Aomar Osmani (AIMSA, 1998)

Belief Reconstruction in Cooperative Dialogues. - Luis Fariñas del Cerro; Andreas Herzig; Dominique Longin; Omar Rifi (AIMSA, 1998)

A Model for Reasoning about Bidemsional Temporal Relations. - Philippe Balbiani; Jean-François Condotta; Luis Fariñas del Cerro (KR, 1998)

Complete axiomatization of a relative modal logic with composition and intersection. - Philippe Balbiani; Luis Fariñas del Cerro (J. Appl. Non Class. Logics, 1998)

A Tractable Subclass of the Block Algebra: Constraint Propagation and Preconvex Relations. - Philippe Balbiani; Jean-François Condotta; Luis Fariñas del Cerro (EPIA, 1999)

A New Tractable Subclass of the Rectangle Algebra. - Philippe Balbiani; Jean-François Condotta; Luis Fariñas del Cerro (IJCAI, 1999)

Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. - Luis Fariñas del Cerro; Olivier Gasquet (Fundam. Informaticae, 1999)

A Decision Method for Duration Calculus. - Nathalie Chetcuti-Sperandio; Luis Fariñas del Cerro (J. Univers. Comput. Sci., 1999)

Towards a Logical Characterization of Sentences of the Kind "Sentence p is about Object c". - Robert Demolombe; Luis Fariñas del Cerro (Intellectics and Computational Logic, 2000)

A mixed decision method for duration calculus. - Nathalie Chetcuti-Sperandio; Luis Fariñas del Cerro (J. Log. Comput., 2000)

Lotrec : The Generic Tableau Prover for Modal and Description Logics. - Luis Fariñas del Cerro; David Fauthoux; Olivier Gasquet; Andreas Herzig; Dominique Longin; Fabio Massacci (IJCAR, 2001)

A General Framework for Pattern-Driven Modal Tableaux. - Luis Fariñas del Cerro; Olivier Gasquet (Log. J. IGPL, 2002)

Tractability Results in the Block Algebra. - Philippe Balbiani; Jean-François Condotta; Luis Fariñas del Cerro (J. Log. Comput., 2002)

Modal Tableaux: Completeness vs. Termination. - Luis Fariñas del Cerro; Olivier Gasquet; Andreas Herzig; Mohamad Sahade (We Will Show Them! (1), 2005)

Global and Local Graph Modifiers. - Guillaume Aucher; Philippe Balbiani; Luis Fariñas del Cerro; Andreas Herzig (M4M, 2007)

How to Produce Information About a Given Entity Using Automated Deduction Methods. - Robert Demolombe; Luis Fariñas del Cerro (LSFA, 2009)

Preface. - Edward Hermann Haeusler; Luis Fariñas del Cerro (LSFA, 2010)

Foreword. - Philippe Balbiani; Luis Fariñas del Cerro; Andreas Herzig (J. Appl. Non Class. Logics, 2010)

Information About a Given Entity: From Semantics Towards Automated Deduction. - Robert Demolombe; Luis Fariñas del Cerro (J. Log. Comput., 2010)

Logics of Contingency. - Luis Fariñas del Cerro; Andreas Herzig (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2011)

The Modal Logic of Equilibrium Models. - Luis Fariñas del Cerro; Andreas Herzig (FroCoS, 2011)

Contingency-Based Equilibrium Logic. - Luis Fariñas del Cerro; Andreas Herzig (LPNMR, 2011)

Bi-state Logic. - Luis Fariñas del Cerro; David Pearce 001; Agustín Valverde (Correct Reasoning, 2012)

La logique modale des modèles d'équilibre. - Luis Fariñas del Cerro; Andreas Herzig (Rev. d'Intelligence Artif., 2012)

Automated Reasoning in Metabolic Networks with Inhibition. - Robert Demolombe; Luis Fariñas del Cerro; Naji Obeid (AI*IA, 2013)

FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions. - Luis Fariñas del Cerro; David Pearce 001; Agustín Valverde (IJCAI, 2013)

Combining Equilibrium Logic and Dynamic Logic. - Luis Fariñas del Cerro; Andreas Herzig; Ezgi Iraz Su (LPNMR, 2013)

Logical Modeling of Biological Systems. - Luis Fariñas del Cerro; Katsumi Inoue (iSTE / Wiley, 2014)

A Free Logic for Stable Models with Partial Intensional Functions. - Pedro Cabalar; Luis Fariñas del Cerro; David Pearce 001; Agustín Valverde (JELIA, 2014)

Capturing equilibrium models in modal logic. - Luis Fariñas del Cerro; Andreas Herzig; Ezgi Iraz Su (J. Appl. Log., 2014)

Epistemic Equilibrium Logic. - Luis Fariñas del Cerro; Andreas Herzig; Ezgi Iraz Su (IJCAI, 2015)

Finite non-deterministic semantics for some modal systems. - Marcelo E. Coniglio; Luis Fariñas del Cerro; Newton Marques Peron (J. Appl. Non Class. Logics, 2015)

Metabolic Pathways as Temporal Logic Programs. - Jean-Marc Alliot; Martín Diéguez; Luis Fariñas del Cerro (JELIA, 2016)

Errata and Addenda to 'Finite non-deterministic semantics for some modal systems'. - Marcelo E. Coniglio; Luis Fariñas del Cerro; Newton Marques Peron (J. Appl. Non Class. Logics, 2016)

Translation of first order formulas into ground formulas via a completion theory. - Robert Demolombe; Luis Fariñas del Cerro; Naji Obeid (J. Appl. Log., 2016)

Temporal Logic Modeling of Biological Systems. - Jean-Marc Alliot; Robert Demolombe; Martín Diéguez; Luis Fariñas del Cerro; Gilles Favre; Jean-Charles Faye; Naji Obeid; Olivier Sordet (Towards Paraconsistent Engineering, 2016)

On the Properties of Atom Definability and Well-Supportedness in Logic Programming. - Pedro Cabalar; Jorge Fandinno; Luis Fariñas del Cerro; David Pearce 001; Agustín Valverde (EPIA, 2017)

Structure-Based Semantics of Argumentation Frameworks with Higher-Order Attacks and Supports. - Claudette Cayrol; Jorge Fandinno; Luis Fariñas del Cerro; Marie-Christine Lagasquie-Schiex (COMMA, 2018)

Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports. - Claudette Cayrol; Jorge Fandinno; Luis Fariñas del Cerro; Marie-Christine Lagasquie-Schiex (FoIKS, 2018)

Constructive Logic Covers Argumentation and Logic Programming. - Jorge Fandinno; Luis Fariñas del Cerro (KR, 2018)

Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates. - Pedro Cabalar; Jorge Fandinno; Luis Fariñas del Cerro; David Pearce 001 (Theory Pract. Log. Program., 2018)

Founded World Views with Autoepistemic Equilibrium Logic. - Pedro Cabalar; Jorge Fandinno; Luis Fariñas del Cerro (LPNMR, 2019)

Setting the Basis for Here and There Modal Logics. - Philippe Balbiani; Martín Diéguez; Luis Fariñas del Cerro (FLAP, 2019)

Dynamic Epistemic Logic with ASP Updates: Application to Conditional Planning. - Pedro Cabalar; Jorge Fandinno; Luis Fariñas del Cerro (ICLP Workshops, 2020)

On the Splitting Property for Epistemic Logic Programs (Extended Abstract). - Pedro Cabalar; Jorge Fandinno; Luis Fariñas del Cerro (IJCAI, 2020)

Autoepistemic answer set programming. - Pedro Cabalar; Jorge Fandinno; Luis Fariñas del Cerro (Artif. Intell., 2020)

Autoepistemic equilibrium logic and epistemic specifications. - Ezgi Iraz Su; Luis Fariñas del Cerro; Andreas Herzig (Artif. Intell., 2020)

Modal logic with non-deterministic semantics: Part I - Propositional case. - Marcelo E. Coniglio; Luis Fariñas del Cerro; Marques Peron Newton (Log. J. IGPL, 2020)

Valid attacks in argumentation frameworks with recursive attacks. - Claudette Cayrol; Jorge Fandinno; Luis Fariñas del Cerro; Marie-Christine Lagasquie-Schiex (Ann. Math. Artif. Intell., 2021)

A Framework for Modelling Molecular Interaction Maps. - Jean-Marc Alliot; Marta Cialdea Mayer; Robert Demolombe; Martín Diéguez; Luis Fariñas del Cerro (FLAP, 2021)

A logical characterization of multi-adjoint algebras. - Maria Eugenia Cornejo; Luis Fariñas del Cerro; Jesús Medina 001 (Fuzzy Sets Syst., 2021)

Splitting Epistemic Logic Programs. - Pedro Cabalar; Jorge Fandinno; Luis Fariñas del Cerro (Theory Pract. Log. Program., 2021)

Multi-adjoint Lattice Logic. Properties and Query Answering. - Maria Eugenia Cornejo; Luis Fariñas del Cerro; Jesús Medina 001 (EPIA, 2022)

Multi-adjoint lattice logic and truth-stressing hedges. - Maria Eugenia Cornejo; Luis Fariñas del Cerro; Jesús Medina 001 (Fuzzy Sets Syst., 2022)

Modal Logic With Non-Deterministic Semantics: Part II - Quantified Case. - Marcelo E. Coniglio; Luis Fariñas del Cerro; Newton Marques Peron (Log. J. IGPL, 2022)

Abstract Argumentation and Answer Set Programming: Two Faces of Nelson's Logic. - Jorge Fandinno; Luis Fariñas del Cerro (Theory Pract. Log. Program., 2023)

Metric dynamic equilibrium logic. - Arvid Becker; Pedro Cabalar; Martín Diéguez; Luis Fariñas del Cerro; Torsten Schaub; Anna Schuhmann (J. Appl. Non Class. Logics, 2023)

Logical connectives for two-state semantics. - Marta Cialdea Mayer; Luis Fariñas del Cerro (J. Appl. Non Class. Logics, 2023)