Actualités
-
2018-10-11 Séminaire Collective Singleton-based Consistency for Qualitative Constraint Networks: Theory and Practice
Michael Sioutis (Örebro University) -
2018-09-17 Nouvelle Soutenance de thèse de Valentin Montmirail - Practical resolution of satisfiability testing for modal logics
Le 17 septembre 2018, à 10h, salle des thèses de la faculté Jean Perrin -
2018-09-13 Nouvelle Soutenance de thèse de Abdelhamid Boudane - Fouille de données par contraintes
Le 13 septembre 2018, à 14h, salle des thèses de la faculté Jean Perrin -
2018-07-26 Nouvelle Papiers acceptés à KR'18
4 papiers et 3 posters ont été acceptés à la conférence KR (Tempe, Arizona, 2018) -
2018-06-09 Nouvelle Ivan Varzinczak reçoit le prix de logique Louis Couturat
Ivan Varzinczak recevra le prix de la logique Louis Couturat lors de la prochaine édition de la conférence UNILOG’18 le 24 juin, pour son article “A note on a description logic of concept and role typicality”. -
2018-06-05 Séminaire Liens entre fusion propositionnelle et agrégation de jugements
Patricia Everaere (Université de Lille) - Présentation des projets QDoSSI et AniAge
-
2018-05-16 Nouvelle Papiers acceptés à IJCAI'18
7 papiers ont été acceptés à la conférence IJCAI (Stockholm, 2018) - Karine Caby
-
2018-03-29 Séminaire How to extend IAR semantics to prioritized lightweight ontologies?
Salem Benferhat (CRIL, Université d’Artois - CNRS)