Professor at Université Paul Sabatier
Member of
the Logic, Interaction, Language, and Computation
Group of IRIT at Université
Paul Sabatier
(formerly Applied Logic Group)
·
RESEARCH
TOPICS:
o Automated theorem proving for non-classical logics (tableaux
and translation methods)
o LoTREC (theorem prover for modal and terminological
logics)
·
PAPERS
·
PROJECTS
·
OTHER
SCIENTIFIC ACTIVITIES:
o Executive editor of the Journal
of Applied Non-Classical Logics (1992-2001)
o Member of the organizing comitees of
IPMU’01, KR’02, AiML’02
o Responsable de la Commission Prospective (émanation du conseil scientifique de l’IRIT)
o Reviewer for international
conferences: KR04, IJCAR04, KR02, MFI01, KR00, CADE97, JELIA96, KR96
o Reviewer for international journals : Journal of Applied Logic, Journal of Applied Non
Classical Logic, Journal of Logic and Computation
· TEACHING (Cours et Travaux dirigés à l’Université Paul Sabatier – Toulouse III)
o Logique formelle classique (Responsable, L2 : Licence d’informatique 2ème année)
o Théorie des graphes (Responsable, L3 : Licence d’informatique 3ème année)
o Logique modale (Responsable, M2R) et des transparents sur le logiciel LoTREC
o Logique du premier ordre (M2R)
o Algorithmique (L3 : Licence d’informatique 3ème année)
1. Types abstraits algébriques
2. Spécifications et preuves de programme (méthode B)
o Théorie des langages et des automates
o Programmation (C, ADA, Scheme, Prolog)
o Introduction à l’Intelligence Artificielle (IUP SI 2ème année)
· Responsabilités relatives à l’enseignement :
o Responsable de la 2ème année de la licence d’informatique
o Membre du conseil pédagogique de l’UFR MIG
o Responsable du cours Logique Modale et Application à l’Interaction du DEA Master M2, Spécialité Recherche : " Intelligence Artificielle : Raisonnement, Coopération, Langage " (Toulouse III)
· Jurys de thèse :
o Président du jury de la thèse de Mohamad Sahade, juillet 2006 « Un démonstrateur automatique basé sur la méthode des tableaux pour les logiques modales : implémentations et études de stratégies » (jury : R. Caferra, A. Herzig, F. Massacci, N. Olivetti, M. Strecker, O. Gasquet)
o Président du jury de la thèse d’Ivan Varzinczak, septembre 2006 « Qu’est-ce qu’une bonne description de domaine ? Evaluation et révision de théories d’action en logique dynamique » (jury : M.C Rousset, M. Thielscher, L. Perussel, O. Gasquet, invité : A. Herzig, R. Demolombe).
o Président du jury de la thèse de Sihem Belabbès, juin 2007 « Contribution aux systèmes de délibération multi-agents : une approche argumentative » (jury : Y. Demazeau, J. Montmain, H. Prade, L. Amgoud, O. Gasquet)
o
Membre du jury de la thèse de Elise Bonzon, novembre
2007 « Modélisation des interactions entre agents rationnels :
les jeux booléens » (jury : N. Asher, A. Astie-Vidal, O. Gasquet, A.
Herzig, M.C Lagasquie-Schiex, J. Lang, N. Maudet, P. Marquis, L. van der Torre,
B. Zanuttini)
voice: +33 56155-6344 Université Paul Sabatier
secr.: -6347 IRIT – LILaC
Fax: -6258 Olivier Gasquet
118 route de Narbonne
F-31062 Toulouse Cedex 9, France
Email: Olivier.Gasquet/at/irit.fr
WWW: https://www.irit.fr/~Olivier.Gasquet