Les travaux de Pascal Nicolas: Interrogation, induction et déduction automatiques pour le raisonnement non monotone... et plus encore

This article traces all research of Pascal Nicolas. Professor at LERIA, Pascal led the theme "Automated reasoning systems for imperfect infortation" (Systemes de Raisonnement Automatique pour Informations Imparfaites). He was in particular a recognizes expert of nonmonotonic reasoning and of ASP. Pascal had explored logical formalisms which allow representation of incomplete knowledge, but also uncertain or nonmonotonic, and the characterization of different types of reasoning with these formalisms. Constnt to a scientific approach that he has respected throughout his career, Pascal tackled each of the problems he studied in a global approach ranging from the definition of formal systems to computer implementation.