Publications of Luis FARIÑAS DEL CERRO
Jean-Marc Alliot, Marta Cialdea Mayer, Robert Demolombe, Martín Diéguez, Luis Fariñas del Cerro
A Framework for Modelling Molecular Interaction Maps
Journal of Applied Logics – IfCoLoG Journal of Logics and their Applications, In press
Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex
Valid attacks in argumentation frameworks with recursive attacks
Annals of Mathematics and Artificial Intelligence, 2020, 89 (1), pp.53-101. ⟨10.1007/s10472-020-09693-4⟩
Ezgi Iraz Su, Luis Fariñas del Cerro, Andreas Herzig
Autoepistemic equilibrium logic and epistemic specifications
Artificial Intelligence, 2020, 282, pp.103249. ⟨10.1016/j.artint.2020.103249⟩
Philippe Balbiani, Martin Dieguez, Luis Fariñas del Cerro
Setting the Basis for Here and There Modal Logics
Journal of Applied Logics – IfCoLoG Journal of Logics and their Applications, 2019, 6 (7), pp.1475-1500
Pedro Calabar, Jorge Fandinno, Luis Fariñas del Cerro, David Pearce
Functional ASP with Intensional Sets: Application to Gelfond-Zhang Aggregates
Theory and Practice of Logic Programming, 2018, 34th International Conference on Logic Programming, 18 (Special issue 3-4), pp.390-405. ⟨10.1017/S1471068418000169⟩
Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
A Logical Model for Metabolic Networks with Inhibition
South American Journal of Logic , 2015, 1 (1), pp.299-319
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
Capturing equilibrium models in modal logic
Journal of Applied Logic, 2014, vol. 12 (n° 2), pp. 192-207. ⟨10.1016/j.jal.2013.12.003⟩
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
Capturing Equilibrium Models in Modal Logic
In : Journal of Applied Logic, Elsevier, Vol. 12, pp. 192-207, March 2013.
Abstract URL : http://www.sciencedirect.com/science/article/pii/S1570868314000172 – https://oatao.univ-toulouse.fr/12614/
BibTeXLuis Fariñas del Cerro, Andreas Herzig
La logique modale des modèles déquilibre
In : Revue d’Intelligence Artificielle (RIA), Hermès Science, Special issue Raisonnement non monotone, QBF et programmation par ensembles réponses, Hommage à Pascal Nicolas (ed. J. Lang et P. Marquis), Vol. 26, N. 1-2, pp. 1-15, March 2012.
URL : http://www.irit.fr/~Andreas.Herzig/P/Frocos11.html
BibTeXRobert Demolombe, Luis Fariñas del Cerro
How to Produce Information About a Given Entity Using Automated Deduction Methods
In : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 256, pp. 19-31, 2009.
Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
Global and local graph modifiers
In : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 231, pp. 293-307, March 2009.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Entcs09.html
BibTeXPhilippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
Tractability results in the block algebra
In : Journal of Logic and Computation, Vol. 12, pp. 885-909, 2002.
Luis Fariñas del Cerro, Olivier Gasquet
General Framework for Pattern-Driven Modal Tableaux
In : Logic Journal of the IGPL, Dov M. Gabbay, Vol. 10 N. 1, pp. 51-83, 2002.
Luis Fariñas del Cerro, Olivier Gasquet
Minimal Structures for Modal Tableaux: Some Examples
In : <A HREF =, Andrzej Pietruszczak & Jerzy Perzanowski., Department of LogicNicholas Copernicus UniversityAsnyka 2a 87-100 Torun, Vol. 8, pp. 1-16, 2000.
Nathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
A Mixed Decision Method for Duration Calculus
In : Journal of Logic and Computation, Oxford University Press, Vol. 10 N. 6, pp. 877-895, December 2000.
Luis Fariñas del Cerro, Olivier Gasquet
Tableaux Based Decision Procedures for Modal Logics of Confluence and Density
In : Fundamenta Informaticae , Vol. 40 N. 4, pp. 317-333, December 1999.
URL : http://www.irit.fr/recherches/LILAC/Pers/Gasquet/P/fi99.zip
BibTeXNathalie Chetcuti-Sperandio, Luis Fariñas del Cerro
A Decision Method for Duration Calculus
In : Journal of Universal Computer Science, Springer-Verlag, Vol. 5 N. 11, pp. 743-764, 1999.
URL : http://www.jucs.org/jucs_5_11/a_decision_method_for
BibTeXPhilippe Balbiani, Luis Fariñas del Cerro
Complete axiomatization of a relative modal logic with composition and intersection
In : Journal of Applied Non-Classical Logics, Vol. 8, pp. 325-335, December 1998.
Marcos Alexandre Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
Modal Tableaux with Propagation Rules and Structural Rules
In : Fundamenta Informaticae, Vol. 32 N. 3/4, pp. 281-297, 1997.
Philippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
Modal logics for incidence geometries
In : Journal of Logic and Computation, Oxford University Press, Vol. 7, pp. 59-78, 1997.
Philippe Balbiani, Luis Fariñas del Cerro
A relational model of movement
In : Logique et Analyse, Vol. 155-156, pp. 369-378, 1996.
Conditionales y non monotonia
In : Theoria, Vol. 23, pp. 27-37, 1995.
Razionamiento no monotono: un breve panorama
In : Theoria, Vol. 23, pp. 7-26, 1995.
Philippe Besnard, Laurence Cholvy, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, François Lévy, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Revision and updating in knowledge bases
In : International Journal of Intelligent Systems, Wiley, Special issue Special Issue on Revision and Upadating in Knowledge bases, Vol. 9 N. 1, pp. 1-182, 1994.
Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Reasoning under incomplete information in Artificial Intelligence: A comparison of formalisms using a single example
In : International Journal of Intelligent Systems, Wiley, Vol. 5 N. 4, pp. 323-471, 1990.
Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
raisonnement sur des informations incomplétes en Intellignece Artificielle – Comparaison à partir d’un exemple
In : Revue d’Intelligence Artificielle (RIA), Hermès Science, Vol. 2, N. 3-4, pp. 9-210, 1989.
Pedro Calabar, Jorge Fandinno, Luis Fariñas del Cerro
Founded World Views with Autoepistemic Equilibrium Logic
International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019), Jun 2019, Philadelphia, PA, United States. pp.134-147, ⟨10.1007/978-3-030-20528-7_11⟩
Pedro Calabar, Jorge Fandinno, Luis Fariñas del Cerro
Splitting Epistemic Logic Programs
International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2019), Jun 2019, Philadelphia, PA, United States. pp.120-133, ⟨10.1007/978-3-030-20528-7_10⟩
Jorge Fandinno, Luis Fariñas del Cerro
Constructive Logic Covers Argumentation and Logic Programming
16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Oct 2018, Tempe, United States. pp.128-137
Pedro Calabar, Jorge Fandinno, Luis Fariñas del Cerro
Splitting Epistemic Logic Programs (NMR- International Workshop on Non-Monotonic Reasoning, Tempe, Arizona, 27/10/18-29/10/18)
17th International Workshop on Non-Monotonic Reasoning – NMR 2018, Oct 2018, Tempe, Arizona, United States. pp.81-89
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
International Conference on Computational Models of Argument (COMMA 2018), Sep 2018, Varsovie, Poland. pp.29-36, ⟨10.3233/978-1-61499-906-5-29⟩
Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex
Argumentation Frameworks with Recursive Attacks and Evidence-Based Supports
10th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2018), May 2018, Budapest, Hungary. pp.150-169, ⟨10.1007/978-3-319-90050-6_9⟩
Claudette Cayrol, Jorge Fandinno, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex
Valid attacks in argumentation frameworks with recursive attacks
13th International Symposium on Commonsense Reasoning (Commonsense 2017), Nov 2017, London, United Kingdom. pp.1-8
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
18th Portuguese Conference on Artificial Intelligence (EPIA 2017), Sep 2017, Porto, Portugal. pp.624-636, ⟨10.1007/978-3-319-65340-2_51⟩
Jean-Marc Alliot, Martin Dieguez, Luis Fariñas del Cerro
Metabolic Pathways as Temporal Logic Programs
15th European Conference on Logics in Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. ⟨10.1007/978-3-319-48758-8_1⟩
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
Epistemic Equilibrium Logic (IJCAI 2015)
24th International Joint Conference on Artificial Intelligence (IJCAI 2015), International Joint Conference on Artificial Intelligence (IJCAI); Argentinean Association of Artificial Intelligence (AAIA-SADIO division), Jul 2015, Buenos Aires, Argentina. pp.2964-2970
Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
A Logical Model for Metabolic Networks with Inhibition (regular paper)
In : International Conference on Bioinformatics and Computational Biology (BIOCOMP 2013), Las Vegas, USA, 22/07/13-25/07/13, Computing Research Repository, pp. 122-128, July 2013.
Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
Molecular Interaction Automated Maps (regular paper)
In : International Workshop on Learning and Non Monotonic Reasoning (LNMR 2013), A Corunna, Spain, 15/09/13, Vol. abs/1311.4639, Computing Research Repository, pp. 31-42, September 2013.
Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
Automated Reasoning in Metabolic Networks with Inhibition (regular paper)
In : International Conference of the Italian Association for Artificial Intelligence (AI*IA 2013), Turin, Italy, 04/12/13-06/12/13, Vol. 8249, Springer, Lecture Notes in Computer Science, pp. 37-47, December 2013.
Luis Fariñas del Cerro, Newton Peron
Nmatrices for modal logic (regular paper)
In : World Congress and School on Universal Logic, Rio de Janeiro, Brazil, 29/03/13-07/04/13, ECEME – Escola de Comando e Estado-Maior do Exército, pp. 0-0, 2013.
Luis Fariñas del Cerro, David Pearce, Agustin Valverde
FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions (regular paper)
In : International Joint Conference on Artificial Intelligence (IJCAI 2013), Beijing – China, 09/08/13-09/08/13, International Joint Conference on Artificial Intelligence (IJCAI), pp. 658-664, 2013.
Luis Fariñas del Cerro, Andreas Herzig, Ezgi Iraz Su
Combining equilibrium logic and dynamic logic (regular paper)
In : Logic Programming and Nonmonotonic Reasoning (LPNMR 2013), Corunna, 15/09/13-19/09/13, Pedro Cabalar, Tran Cao Son (Eds.), Springer, LNAI 8148, pp. 304-316, September 2013.
Luis Fariñas del Cerro, Andreas Herzig
Logics of Contingency
In : AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, Stanford, California, USA, 21/03/11-23/03/11.
Luis Fariñas del Cerro, Andreas Herzig
The modal logic of equilibrium models (regular paper)
In : Frontiers of Combining Systems (FroCoS 2011), Saarbrucken, 05/10/11-07/10/11, Springer, LNCS 6989, pp. 135-146, 2011.
URL : http://www.irit.fr/~Andreas.Herzig/P/Frocos11.html
BibTeXLuis Fariñas del Cerro, Andreas Herzig
Contingency-based equilibrium logic (regular paper)
In : Logic Programming and Nonmonotonic Reasoning (LPNMR 2011), Vancouver, 16/05/11-19/05/11, Jim Delgrande, Wolfgang Faber (Eds.), Springer-Verlag, LNCS 6645, pp. 223-228, May 2011.
Luis Fariñas del Cerro, Robert Demolombe
Deduction and Abduction of Information about an entity (regular paper)
In : Workshop on Logical and Semantic Frameworks, with Applications (LSFA 2009), Brasilia (Brazil), 28/06/09-03/07/09 (invited speaker), 2009.
Guillaume Aucher, Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
Global and local graph modifiers
In : Methods for Modalities (MAM 2007), Cachan, France, 29/11/07-30/11/07, Elsevier, ENTCS , (on line), 2007.
Abstract URL : http://www.irit.fr/publis/LILAC/M4M.pdf
BibTeXLuis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade
LoTREC: An environment for experiencing Kripke Semantics
In : International Congress on Tools for Teaching Logic (ICTTL 2006), Salamanca, Spain, 26/09/06-30/09/06, Maria Manzano, Belén Pérez Lancho, Ana Gil (Eds.), University of Salamanca, pp. 41-44, September 2006.
Luis Fariñas del Cerro, Olivier Gasquet
Modal tableaux for reasoning about diagrams
In : Int. Workshop on Knowledge Representation and Approximate Reasoning, Olsztyn, Poland, 16/05/03-18/05/03.
Luis Fariñas del Cerro, David Fauthoux, Olivier Gasquet, Andreas Herzig, Dominique Longin, Fabio Massacci
Lotrec: a generic tableau prover for modal and description logics (regular paper)
In : International Joint Conference on Automated Reasoning (IJCAR 2001), Siena, Italy, 18/06/01-23/06/01, Vol. 2083, R. Goré, A. Leitsch, T. Nipkow (Eds.), Springer-Verlag, LNCS, pp. 453-458, 2001.
URL : http://www.irit.fr/publis/LILAC/Conf_internationales/2001_Farinas_et_al_IJCAR.pdf
BibTeXPhilippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
Raisonement qualitatif a propos des points de l’espace
In : Cinquiemes journees nationales sur la resolution pratique deproblemes NP-complets, Lyon, 01/01/99-31/12/99, Insa de Lyon, pp. 139-149, January 1999.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
A tractable subclass of the block algebra: constraint propagation and preconvex relations
In : Proceedings of the Ninth Portuguese Conference on Artificial Intelligence (EPIA’99), Evora, ., January 1999.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
A new tractable subclass of the rectangle algebra
In : Sixteenth International Joint Conference on ArtificialIntelligence, Suede, 01/01/99-31/12/99, International Joint Conferences on Artificial Intelligence, pp. 442-447, January 1999.
Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Marcos Alexandre Castilho
Reasoning about actions in modal logic
In : Working Notes of the Symposium on Reasoning about Actions: Foundations and Applications at ESSLLI’98, Saarbrücken, Germany, .
Marcos Alexandre Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
Modal Tableaux with Propagation Rules and Structural Rules (position paper)
In : Tableaux’98, Netherlands, .
Luis Fariñas del Cerro, Andreas Herzig, Dominique Longin, Omar Rifi
Belief Reconstruction in Cooperative Dialogues (regular paper)
In : Int. Conf. on Artificial Intelligence: Methodology, Systems, and Applications (AIMSA 1998), Sozopol, Bulgaria, 21/09/98-23/09/98, Fausto Giunchiglia (Eds.), Springer-Verlag, LNAI 1480, pp. 254-266, September 1998.
URL : http://www.irit.fr/publis/LILAC/Conf_internationales/1998_Farinas_et_al_AIMSA.pdf
BibTeXPhilippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro, Aomar Osmani
Reasoning about generalized intervals
In : Artificial Intelligence: Methodology, Systems andApplications, Bulgarie, 01/01/98-31/12/98, Springer-Verlag, pp. 50-61, January 1998.
Philippe Balbiani, Jean-Francois Condotta, Luis Fariñas del Cerro
A model for reasoning about bidimensional temporal relations
In : Sixth International Conference on Principles of KnowledgeRepresentation and Reasoning, Italie, Morgan Kaufmann, pp. 124-130, January 1998.
Marcos Alexandre Castilho, Luis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig
A customized tableau method for reasoning about actions and plans in modal logic
In : Working notes of the Symposium on Logical Approaches to Agent Modeling and Desing – ESSLLI’97, Aix-en-Provence, France, 01/01/97.
URL : http://www.irit.fr/~Andreas.Herzig/P/ecp97.html
BibTeXDidier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
Qualitative relevance and independence: a roadmap (regular paper)
In : International Joint Conference on Artificial Intelligence (IJCAI 1997), Nagoya, Japon, 01/01/97, Morgan Kaufmann Publishers, pp. 62-67, January 1997.
URL : http://www.irit.fr/~Andreas.Herzig/ijcai97.html
BibTeXLuis Fariñas del Cerro, Andreas Herzig
Combining classical and intuitionistic logic, or: intuitionistic implication as a conditional (regular paper)
In : Frontiers of Combining Systems (FroCoS 2018), –, 01/01/18, Franz Baader, Klaus U. Schulz (Eds.), Kluwer, Logic Series 3, pp. 93-102, January 1996.
URL : http://www.irit.fr/~Andreas.Herzig/P/frocos96.html
BibTeXLuis Fariñas del Cerro, Andreas Herzig
Belief change and dependence (regular paper)
In : Conf. on Theoretical Aspects of Rationality and Knowledge (TARK 2018), De Zeuwse Stromen, 01/01/18, Morgan Kaufmann Publishers, pp. 147-162, January 1996.
URL : http://www.irit.fr/~Andreas.Herzig/P/tark96.html
BibTeXLuis Fariñas del Cerro, Antonio Frias Delgado, Andreas Herzig
Talkin’bout consistency, or: when logically possible becomes possible (regular paper)
In : Int. Conf. on Formal and Applied Practical Reasoning (FAPR ), –, Springer-Verlag, pp. 141-150, June 1996.
URL : http://www.irit.fr/~Andreas.Herzig/P/fapr96.ps.gz
BibTeXPhilippe Balbiani, Luis Fariñas del Cerro, Tinko Tinchev, Dimiter Vakarelov
Geometrical structures and modal logic (regular paper)
In : Int. Conf. on Formal and Applied Practical Reasoning (FAPR 1996), Bonn, 03/06/96-07/06/96, Springer-Verlag, pp. 43-57, June 1996.
Abstract URL : https://link.springer.com/chapter/10.1007/3-540-61313-7_62
BibTeXPhilippe Balbiani, Luis Fariñas del Cerro
Affine geometry of collinearity and conditional term rewriting
In : Term Rewriting, Font Romeux, 01/05/95-31/05/95, Hubert Comon, Jean-Pierre Jouannaud (Eds.), Springer-Verlag, pp. 196-213, May 1995.
Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
Qualitative possibilistic independence, plausible reasoning and belief revision
In : Proc. of the IJCAI’95 Workshop on Nonmonotonic Reasoning Action and Change, Montréal, Canada, 20/08/95-25/08/95.
Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
An ordinal view of independence, plausible reasoning and belief revision
In : Proc. of the 10th Conference on Uncertainty in Artificial Intelligence (UIA-94), Seattle, USA, 29/07/94-31/07/94, Ramon Lopez de Mantaras, David Poole (Eds.), Morgan Kaufmann Publishers, pp. 195-203, 1994.
Abstract URL : http://uai.sis.pitt.edu/displayArticles.jsp?mmnu=1&smnu=1&proceeding_id=10
BibTeXPhilippe Besnard, Marie-Odile Cordier, Didier Dubois, Laurence Cholvy, Luis Fariñas del Cerro, Christine Froidevaux, François Lévy, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Révision de bases de connaissances
In : Actes des 4èmes Journées Nationales du PRC_GDR Intelligence artificielle, Marseille, France, 19/10/92-21/10/92, Teknea, pp. 207-238, 1992.
Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Inférences non-classiques en intelligence articielle. Ebauche de comparaisons sur un exemple
In : Actes 2èmes Journées Nationales du P.R.C – G.R.E.C.O. Intelligence articielle, toulouse, 14/03/88-15/03/88, Teknea, pp. 137-230, 1988.
Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
Declarative semantics for modal logic programs
In : Proceedings of the International Conference on Fifth Generation Computer Systems 1988 (FGCS 1988), Japon, 01/01/88-31/12/88, Institute for New Generation Computer Technology, pp. 507-514, January 1988.
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
Carlos I. Chesñevar et al. Argumentation-based Proofs of Endearment. Essays in Honor of Guillermo R. Simari on the Occasion of his 70 th Birthday, 37, College publications, pp.43-72, 2018, Tributes, 978-1848902923
Claudette Cayrol, Luis Fariñas del Cerro, Marie-Christine Lagasquie-Schiex
A Propositional Logical Encoding of Enriched Interactions in Abstract Argumentation Graphs
Golinska-Pilarek, Joanna; Zawidzki, Michal. Ewa Orłowska on Relational Methods in Logic and Computer Science, 17, Springer, pp.481–502, 2018, OCTR : Outstanding Contributions to Logic, 10.1007/978-3-319-97879-6_18. ⟨10.1007/978-3-319-97879-6_18⟩
Jean-Marc Alliot, Robert Demolombe, Martin Dieguez, Luis Fariñas del Cerro, Gilles Favre, Jean-Charles Faye, Naji Obeid, Olivier Sordet
Temporal Logic Modeling of Biological Systems
Towards Paraconsistent Engineering ; ISBN: 978-3-319-40417-2, 110, Springer, pp.205-226, 2016, Intelligent Systems Reference Library book series (ISRL), ⟨10.1007/978-3-319-40418-9_11⟩
Robert Demolombe, Luis Fariñas del Cerro, Naji Obeid
A Logical Model for Molecular Interaction Maps
Luis Fariñas del Cerro; Katsumi Inoue. Logical Modeling of Biological Systems, ISTE – WILEY, 2014, 978-1848216808. ⟨10.1002/9781119005223.ch3⟩
Luis Fariñas del Cerro, Olivier Gasquet
Modal tableaux for reasoning about diagrams
In : Essays in Logic and Ontology. J. Malinowski, A. Pietruszczak (Eds.) , Rodopi, pp. 169-184, Vol. 91, Poznan Studies in the Philosophy of the Sciences and the Humanities, 2007.
URL : http://www.irit.fr/recherches/LILAC/Pers/Gasquet/Pub/GasquetFarinas.pdf
BibTeXLuis Fariñas del Cerro, Olivier Gasquet, Andreas Herzig, Mohamad Sahade
Modal Tableaux: Completeness vs. Termination
In : We Will Show Them: Essays in Honour of Dov Gabbay. Sergei Artemov, Howard Barringer, Luis Lamb, John Woods (Eds.) , College Publications (ISBN 1904987117), London, pp. 587-614, Vol. 1, 2005.
Philippe Balbiani, Luis Fariñas del Cerro
Diagrammatic reasoning in projective geometry
In : Logic, Language and Reasoning: Essays in Honour of Dov Gabbay. Hans Ohlbach, Uwe Reyle (Eds.) , Kluwer, pp. 99-114, 1999.
Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
A roadmap of qualitative independence
In : Fuzzy Sets, Logics and Reasoning about Knowledge. D. Dubois, H. Prade, E.P. Klement (Eds.) , Kluwer Academic Publishers, Dordrecht, Pays-Bas, pp. 325-350, Vol. 15, Applied Logic series, 1999.
Luis Fariñas del Cerro, Valérie Lugardon
Quantification and Dependence Logics
In : Logic, Language and Information. Seiki Akama (Eds.) , Kluwer, Dordrecht, pp. 179-191, 1997.
URL : http://kapis.www.wkap.nl/kapis/CGI-BIN/WORLD/book.htm?0-7923-4376-X
BibTeXGabriella Crocco, Luis Fariñas del Cerro
Counterfactuals: Foundations for non monotonic reasoning, sequent Systems
In : Logic and Information. A. Fuhrmann, H. Rott (Eds.) , DeGruyter Publishers, Berlin, pp. 189-207, 1995.
Gabriella Crocco, Luis Fariñas del Cerro, Andreas Herzig
Introduction
In : Conditionals From Philosophy to Computer Science. G. Crocco, L. Fariñas del Cerro, A. Herzig (Eds.) , Oxford University Press, pp. 1-13, 1995.
Luis Fariñas del Cerro, Andreas Herzig
Changements minimaux constructifs
In : Méthodes logiques pour les sciences cognitives. Jacques Dubucs, François Lepage (Eds.) , Hermes, pp. 195-204, 1995.
Luis Fariñas del Cerro, Andreas Herzig
Revisions, Updates, and Interference
In : Logic and Information. André Fuhrmann, Hans Rott (Eds.) , DeGruyter Publishers, Berlin, pp. 189-207, 1995.
Luis Fariñas del Cerro, Andreas Herzig
Modal deduction with applications in epistemic and temporal logic
In : Handbook of Logic and Artificial Intelligence. Dov Gabbay, J. Chris, J. A. Robinson (Eds.) , Oxford, pp. 499-594, Vol. 4, 1995.
Luis Fariñas del Cerro, Andreas Herzig
Possibility theory and independence
In : Advances in Intelligent Computing – IPMU’94, Selected Papers. Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh (Eds.) , Springer, pp. 292-301, 1995.
Luis Fariñas del Cerro, David Pearce, Agustin Valverde
Correct Reasoning – Essays on Logic-Based AI in Honour of Vladimir Lifschitz, Springer, Vol. 7265, Lecture Notes in Computer Science, 2012.
Robert Demolombe, Luis Fariñas del Cerro
Information about a given entity: from semantics towards automated deduction, Oxford University Press, Vol. 20, Journal of Logic and Computation, 6, 2010.
Selected Papers of Logic in AI, Baltzer Science Publishers, 2006.
Nicole Bidoit, Luis Fariñas del Cerro, Serge Fdida, Brigitte Vallée
Paradigmes et enjeux de l’informatique
, Hermès, Lavoisier, Paris, Série informatique et systèmes, 2005.
Luis Fariñas del Cerro, Jürgen Dix, Ulrich Furbach
Selected Papers of Logic in AI, Baltzer Science Publishers, Vol. 27, Special Issue of the Annals in Mathematics and Artificial Intelligence, 2000.
Gabriella Crocco, Luis Fariñas del Cerro, Andreas Herzig
Conditionals: From Philosophy to Computer Science
, Oxford University Press, Studies in Logic and Computation, 1995.
Philippe Besnard, Laurence Cholvy, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, François Lévy, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Revision and Updating in Knowledge Bases, Wiley, 1994.
Philippe Balbiani, Vincent Dugat, Luis Fariñas del Cerro, Anne Lopez
Eléments de géométrie mécanique, Hermès, 1994.
Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Reasoning under incomplete informatin in artificial intelligence: A comparison of formalisms using a single example, Wiley, 1990.
Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Luis Fariñas del Cerro, Christine Froidevaux, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Raisonnement sur des informations incomplètes en Intelligence Artificielle – Comparaison de formalismes sur un exemple, Teknea, 1989.
Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig
Special Issue 20th Anniversary – Part 2
Dans : Journal of Applied Non-Classical Logics, Taylor & Francis Group, Vol. 20 N. 4, 2011.
Luis Fariñas del Cerro, Antonio Frias Delgado
Numéro Spécial sur le Raisonnement non-monotone
Dans : Theoria, -, Vol. 23, 1995.
Luis Fariñas del Cerro, Andreas Herzig, Jérôme Mengin
Logics in Artificial Intelligence – 13th European Conference, JELIA 2012, Toulouse, France, 26/09/12 – 28/09/12, Springer-Verlag, LNCS 7519 , September 2012.
Didier Dubois, Luis Fariñas del Cerro, Andreas Herzig, Henri Prade
Proc. of the FAPR’96 Workshop ‘Is Logic + Ordering Enough for Formalizing Common Sense Reasoning?’ (International Conference on Formal And Applied Practical Reasoning), Bonn – Allemagne, June 1996.
Luis Fariñas del Cerro, A. Cohn
Working Notes of the Workshop on Space and Geometry at the Seventh Eur. Summer School in Logic, Language and Information, Barcelona, Spain, August 1995.
Luis Fariñas del Cerro, Olivier Gasquet, Malik Ghallab, J.P. Krivine, Henri Prade
Débat : ‘Progrès et prospectives en IA — Une journée thématique ‘Intelligence Artificialle’ à l’Observatoire de Recherche Fondamentale en Informatique
Diffusion scientifique. 1996. Bulletin de l’AFIA, V.25, p.7-15
Philippe Besnard, Marie-Odile Cordier, Didier Dubois, Laurence Cholvy, Luis Fariñas del Cerro, Christine Froidevaux, François Lévy, Yves Moinard, Henri Prade, Camilla Schwind, Pierre Siegel
Informations incomplètes-Informations contradictoires – Raisonnement plausible et révision de croyances
Diffusion scientifique. 1993. Courrier du CNRS, Numéro Spécial “Informatique”, N°80, pp 68-69