Luis Fariñas del Cerro

Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade: An Ordinal View of Independence with Application to Plausible Reasoning. CoRR abs/1302.6803 (2013)

Luis Fariñas del Cerro, Andreas Herzig: La logique modale des modèles d'équilibre. Revue d'Intelligence Artificielle 26(1-2): 85-102 (2012)

Luis Fariñas del Cerro, David Pearce, Agustín Valverde: Bi-state Logic. Correct Reasoning 2012: 265-278

Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin (Eds.): Logics in Artificial Intelligence - 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings. Lecture Notes in Computer Science 7519, Springer 2012, isbn 978-3-642-33352-1

Edward Hermann Haeusler, Luis Fariñas del Cerro: Preface. Electr. Notes Theor. Comput. Sci. 269: 1-2 (2011)

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: 135-146

Luis Fariñas del Cerro, Andreas Herzig: Contingency-Based Equilibrium Logic. LPNMR 2011: 223-228

Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig: Foreword. Journal of Applied Non-Classical Logics 20(4): 311 (2010)

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

Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig: Global and Local Graph Modifiers. Electr. Notes Theor. Comput. Sci. 231: 293-307 (2009)

Robert Demolombe, Luis Fariñas del Cerro: How to Produce Information About a Given Entity Using Automated Deduction Methods. Electr. Notes Theor. Comput. Sci. 256: 19-31 (2009)

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

Luis Fariñas del Cerro, Philippe Balbiani, Andreas Herzig: Foreword. Journal of Applied Non-Classical Logics 13(1): 7-8 (2003)

Luis Fariñas del Cerro, Olivier Gasquet: A General Framework for Pattern-Driven Modal Tableaux. Logic Journal of the IGPL 10(1): 51-83 (2002)

Philippe Balbiani, Jean-François Condotta, Luis Fariñas del Cerro: Tractability Results in the Block Algebra. J. Log. Comput. 12(5): 885-909 (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: 453-458

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

Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro: A Decision Method for Duration Calculus. RelMiCS 2000: 31-44

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

Luis Fariñas del Cerro, Olivier Gasquet: Tableaux Based Decision Procedures for Modal Logics of Confluence and Density. Fundam. Inform. 40(4): 317-333 (1999)

Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro: A Decision Method for Duration Calculus. J. UCS 5(11): 743-764 (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: 75-89

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

Philippe Balbiani, Luis Fariñas del Cerro: Complete axiomatization of a relative modal logic with composition and intersection. Journal of Applied Non-Classical Logics 8(4): 325-335 (1998)

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

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

Luis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi: Belief Reconstruction in Cooperative Dialogues. AIMSA 1998: 254-266

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

Jürgen Dix, Luis Fariñas del Cerro, Ulrich Furbach (Eds.): Logics in Artificial Intelligence, European Workshop, JELIA '98, Dagstuhl, Germany, October 12-15, 1998, Proceedings. Lecture Notes in Computer Science 1489, Springer 1998, isbn 3-540-65141-1

Marcos A. Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig: Modal Tableaux with Propagation Rules and Structural Rules. Fundam. Inform. 32(3-4): 281-297 (1997)

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

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

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

Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov: Geometrical Structures and Modal Logic. FAPR 1996: 43-57

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

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

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

Luis Fariñas del Cerro, Andreas Herzig: Revisions, Updated, and Interference. Logic, Action, and Information 1996: 189-207

Luis Fariñas del Cerro, Andreas Herzig: Belief Change and Dependence. TARK 1996: 147-161

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

Luis Fariñas del Cerro, Andreas Herzig: Possibility Theory and Independence. IPMU 1994: 292-301

Luis Fariñas del Cerro, Andreas Herzig: A Conditional Logic for Updating in the Possible Models Approach. KI 1994: 237-247

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

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 Krause, Michael Dohnal, Christine Froidevaux, Jérôme Mengin, Ramon López de Mántaras, Lluis 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): 27-46 (1993)

Philippe Balbiani, Luis Fariñas del Cerro: Affine Geometry of Collinearity and Conditional Term Rewriting. Term Rewriting 1993: 196-213

Luis Fariñas del Cerro, Andreas Herzig: Interference Logic = Conditional Logic + Frame Axiom. ECSQARU 1993: 105-112

Luis Fariñas del Cerro, Andreas Herzig, Jérôme Lang: From Ordering Based Nonmonotonic Reasoning to Conditional Logics. ECAI 1992: 314-318

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

Luis Fariñas del Cerro, Andreas Herzig: A Modal Analysis of Possibility Theory. ECSQARU 1991: 58-62

Luis Fariñas del Cerro, Andreas Herzig: A modal analysis of possibility theory. FAIR 1991: 11-18

Robert Demolombe, Luis Fariñas del Cerro: An Inference Rule for Hypothesis Generation. IJCAI 1991: 152-157

Walter Alexandre Carnielli, Luis Fariñas del Cerro, Mamede Lima-Marques: Contextual Negations and Reasoning with Contradictions. IJCAI 1991: 532-537

Luis Fariñas del Cerro, Martti Penttonen: Logics with Structured Contexts. AIMSA 1990: 43-50

Luis Fariñas del Cerro, Andreas Herzig: Deterministic Modal Logics for Automated Deduction. ECAI 1990: 262-267

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

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

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

Luis Fariñas del Cerro, Andreas Herzig: Linear Modal Deductions. CADE 1988: 487-499

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

Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig: Declarative Semantics for Modal Logic Programs. FGCS 1988: 507-514

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

Luis Fariñas del Cerro: MOLOG: A System That Extends PROLOG with Modal Logic. New Generation Comput. 4(1): 35-50 (1986)

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

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

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

Luis Fariñas del Cerro: Un Principe de Résolution en Logique Modale. ITA 18(2): 161-170 (1984)

Ana R. Cavalli, Luis Fariñas del Cerro: A Decision Method for Linear Temporal Logic. CADE 1984: 113-127

Luis Fariñas del Cerro, Ewa Orlowska: DAL: A Logic for Data Analysis. ECAI 1984: 337-346

Luis Fariñas del Cerro, Ewa Orlowska: DAL - A Logic for Data Analysis. FGCS 1984: 254-261

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

Ana R. Cavalli, Luis Fariñas del Cerro: Specification and Verification of Networks Protocols Using. Symposium on Programming 1984: 59-73

Luis Fariñas del Cerro: Space as Time. Inf. Process. Lett. 17(3): 113-115 (1983)

Luis Fariñas del Cerro: Temporal Reasoning and Termination of Programs. IJCAI 1983: 926-929

Luis Fariñas del Cerro: A Simple Deduction Method for Modal Logic. Inf. Process. Lett. 14(2): 49-51 (1982)

Luis Fariñas del Cerro: Les Modalités de la Correction Totale. ITA 16(4): 349-363 (1982)

Luis Fariñas del Cerro: A Deduction Method for Modal Logic. ECAI 1982: 60-61

Jean-Paul Cheylan, Luis Fariñas del Cerro: Analyse de l'evolution des utilisations des sols (construction de modeles explicatifs). Computers & Graphics 2(4): 255- (1977)

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