A short biography of Luis Fariñas del Cerro

Abstract Near the end of 2015, Luis Fariñas del Cerro officially retired as directeur de recherche in the Centre National de Recherche Scientifique (CNRS) and became an Emeritus researcher of the CNRS. The present special issue is a Festschrift in his honour to celebrate Luis’s achievements in science, both as an outstanding scholar as well as a remarkable and highly successful organiser, administrator and leader in science and technology policy and management, in particular as the founder of the Journal of Applied Non-Classical Logics. The issue contains 13 scientific contributions by 32 authors, among them Luis’s colleagues, former students and friends. Preceding versions of these papers were presented at the international workshop ‘Logical Reasoning and Computation’ that was held at IRITInstitut de Recherche en Informatique de Toulouse, Université Paul Sabatier, Toulouse, on 3–4 March 2016. The present introduction contains a short scientific biography describing the many different areas of logic and computation where Luis contributed significant advances.

[1]  Andreas Herzig.  Raisonnement automatique en logique modale et algorithmes d'unification , 1989 .

[2]  Andreas Herzig,et al.  Conditionals: from philosophy to computer science , 1996 .

[3]  Luis Fariñas del Cerro,et al.  FQHT: The Logic of Stable Models for Logic Programs with Intensional Functions , 2013, IJCAI.

[4]  Dominique Longin,et al.  Interaction rationnelle et évolution des croyances dans le dialogue : une logique basée sur la notion de topique , 1999 .

[5]  L. F. D. Cerro,et al.  Intensional logics for programming , 1992 .

[6]  Andreas Herzig,et al.  Kripke's Worlds - An Introduction to Modal Logics via Tableaux , 2014, Studies in Universal Logic.

[7]  Léa Sombé,et al.  Revision and updating in knowledge bases , 1994 .

[8]  Jean-François Condotta,et al.  Problemes de satisfaction de contraintes : algorithmes et complexite , 2000 .

[9]  Luis Fariñas del Cerro,et al.  A Free Logic for Stable Models with Partial Intensional Functions , 2014, JELIA.

[10]  Luis Fariñas del Cerro,et al.  Modal Logics for Incidence Geometries , 1997, J. Log. Comput..

[11]  N. Obeid.  MIM-Logic : a logic for reasoning about molecular interaction maps , 2014 .

[12]  Léa Sombé P.R.C.-G.R.E.C.O..  Reasoning under incomplete information in artificial intelligence: A comparison of formalisms using a single example , 2007 .

[13]  Philippe Balbiani.  Une caracterisation modale de la semantique des programmes logiques avec negation , 1991 .

[14]  Luis Fariñas del Cerro,et al.  A Note of the Complexity of the Satisfiability of Modal Horn Clauses , 1987, J. Log. Program..

[15]  Marta Cialdea.  Une methode de deduction automatique en logique modale , 1986 .