Les travaux de Pascal Nicolas: Interrogation, induction et déduction automatiques pour le raisonnement non monotone... et plus encore - Université d'Angers Accéder directement au contenu
Article Dans Une Revue Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle Année : 2012

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

Résumé

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.

Fichier non déposé

Dates et versions

hal-03350576 , version 1 (21-09-2021)

Identifiants

  • HAL Id : hal-03350576 , version 1
  • OKINA : ua4261

Citer

Béatrice Duval, Laurent Garcia, Claire Lefevre, Igor Stéphan. Les travaux de Pascal Nicolas: Interrogation, induction et déduction automatiques pour le raisonnement non monotone... et plus encore. Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2012, 26 (1-2), pp.11 - 38. ⟨hal-03350576⟩

Collections

UNIV-ANGERS LERIA
12 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More