Accéder directement au contenu Accéder directement à la navigation
Article dans une revue

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

Abstract :

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.

Type de document :
Article dans une revue
Liste complète des métadonnées

https://hal.univ-angers.fr/hal-03350576
Contributeur : Okina Univ Angers Connectez-vous pour contacter le contributeur
Soumis le : mardi 21 septembre 2021 - 14:22:52
Dernière modification le : mercredi 20 octobre 2021 - 03:19:09

Identifiants

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

Collections

Citation

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, Lavoisier, 2012, 26 (1-2), pp.11 - 38. ⟨hal-03350576⟩

Partager

Métriques

Consultations de la notice

5