![]() |
Dominique Pastre--Ollivier-Pallud
|
Recherche / Research
Thème : Intelligence Artificielle / Artificial intelligence
Démonstration automatique de théorèmes / Automated theorem proving
Automatisation du raisonnement mathématique / Automatisation of mathematical reasoning
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
|
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
L'AFIA (Association Française pour l'Intelligence Artificielle / French association for artifical intelligence)
SPECIF
(Société des Personnels Enseignants et Chercheurs
en Informatique de France
/
Association for computer science teachers and researchers)
Les associations
Femmes et Mathématiques
European Women in mathematics (EWM)
Association for Women in Mathematics (USA)
Le GUMS
(Groupe Universitaire de Montagne et de Ski
(qui n'est pas seulement universitaire ...))
/ Association for mountaineering and cross-country skiing
Amnesty international (fr)
(en)
(prix Nobel de la Paix / Nobel Peace prize 1977)
controler les armes /
control arms
Handicap international,
une des six ONG fondatrices de la
/ one of the six NGO founder of
Campagne Internationale pour l'interdiction des mines antipersonnel /
International Campaign to ban landmines (ICBL),
prix Nobel de la Paix / Nobel Peace prize 1997
contre les bombes à sous-munitions
/ against cluster bombs
Venez déposer vos chaussures pour construire les
Pyramides de chaussures
tous les ans fin septembre, en 2023 ce sera le 23 septembre,
à Paris (place de la République), Lyon et Nice .