Activités de recherche
Laboratoire : LIS
UMR
CNRS 7020 Equipe LIRICA
Thèmes de recherche : Représentation des
connaissances et raisonnement en Intelligence Artificielle
- Représentation des
connaissances évolutives
- Formalisation
et mise en oeuvre d'opérations de changement de
croyances (révision, fusion, mise-à-jour)
- Représentation des
connaissances et raisonnement dans le contexte d'informations
structurées ou semi-structurées
Research
Gate Liste
de publications
Publications
récentes
Comités de Progamme :
IJCAI (2015-2021), ECAI (2010, 2020), KR
(201-2020), NMR (2006, 2016-2020) , ECSQARU(2001-2021), FLAIRS
(2016-2017), SUM, PRIMA (2015-2016), IEA/AEI (2017), CNIA
(2016-2020), JIAF (2007-2021)
Coordination
de projets:
- Projet
ANR BLANC ASPIQ
ASP technologIes for Querying large scale multisource
heterogeneous web information (2012-2017)
- Projet
AMADEUS Toward tractable belief merging (2013-2015)
- Projet IA3D
: (pdf )
Responsabilité de tâches :
VENUS (2006 -
2009)
Coordination
(avec P. Marquis et H. Prade) de l'ouvrage : "Panorama
de l'intelligence artificielle" Cépaduès.
mai 2014
vol 1 :
Représentation des connaissances et formalisation des raisonnements,
vol 2 : Algorithmes pour
l'intelligence artificielle,
vol 3 : intelligence
artificielle : frontières et applications
Coordination
(avec P. Marquis et H. Prade) de l'ouvrage : "A
guided tour of artificial intelligence research" Springer.
2020
vol 1 : Knowledge
representation, reasoning and learning,
vol 2 : AI
Algorithms,
vol 3 : Interfaces
and Applications of AI