LILaC


Olivier Gasquet

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      Reasoning about actions

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

How to get to IRIT