Dominique Pastre--Ollivier-Pallud
professeur d'informatique honoraire / former professor of computer science


courriel : pastre (chez) phare (point) normalesup (point) org
/e-mail : pastre (at) phare (dot) normalesup (dot) org

Recherche / Research

Thème : Intelligence Artificielle / Artificial intelligence

Réalisation / Implementation : démonstrateur / prover Muscadet

Applications sur la base TPTP Problem Library

Participation aux compétitions CASC / Participation to CASC competitions
organisées dans le cadre des conférences CADE / held at CADE (Conferences on Automated DEduction) conferences
(dans les divisions FOF (premier ordre avec (FEQ) ou sans (NEQ) égalité) / in FOF divisions (first-order with (FEQ) or without (NEQ) equality)

Quelques publications / Some publications


Principaux enseignements effectués et quelques supports de cours
/ Main teaching


  • Intelligence Artificielle / Artificial intelligence
  • Logique / Logic
  • Programmation logique / Logic programming
  • Démonstration automatique de théorèmes   
    / Automated theorem proving
L'IA : Définition - Généralités - Historique
Résolution de problèmes - Représentations
Logique et principe de résolution
Prolog
Automatisation du raisonnement mathématique
et Démonstration automatique de théorèmes

et aussi / and also

langages enseignés et/ou utilisés / languages
Algol, Fortran, Basic, PL1, LSE, Pascal, C, Java
Shell
Lex, Yacc
Lisp, Prolog
Reduce, Mapple, Macsyma, MuPAD
Scilab


Tout savoir sur / To know everything about