Actualités
-
2017-12-12 Nouvelle Soutenance de thèse de Jérôme Delobelle - Sémantique à base de Classement pour l’Argumentation Abstraite
Le 12 décembre 2017, à 14h30, salle des thèses de la faculté Jean Perrin -
2017-12-08 Nouvelle Soutenance de thèse de Amélie Levray - Théorie des possibilités à intervalles : Conditionnement et transformations probabilités/possibilités
Le 8 décembre 2017, à 14h, salle des thèses de la faculté Jean Perrin -
2017-11-30 Séminaire Acceptability semantics for weighted argumentation frameworks (IJCAI 2017)
Srdjan Vesic (CRIL, CNRS - Université d’Artois) -
2017-11-16 Séminaire Strong consistencies for efficient solving
Anastasia Paparrizou (CRIL, CNRS - Université d’Artois) - Hubie Chen (Birkbeck, University of London)
-
2017-10-19 Séminaire Solving Multiobjective Discrete Optimization Problems with Propositional Minimal Model Generation (CP 2017)
Takehide Soh (Kobe University, Japan) -
2017-10-12 Séminaire A lower bound on CNF encodings of the at-most-one constraint
Petr Kučera (Charles University, Czech Republic) -
2017-10-05 Séminaire A Connection Calculus for the Description Logic ALC
Fred Freitas (Federal University of Pernambuco, Cin/UFPE, Brazil) -
2017-09-21 Séminaire Constraint-Based Symmetry Detection in General Game Playing (IJCAI 2017)
Sébastien Tabary (CRIL, Université d’Artois - CNRS) -
2017-09-14 Séminaire RECAR: Recursive Explore and Check Abstraction Refinement (IJCAI 2017)
Valentin Montmirail (CRIL, Université d’Artois - CNRS) -
2017-07-11 Séminaire Belief Change in a Preferential Non-monotonic Framework
Tommie Meyer (CAIR, South Africa) -
2017-07-06 Nouvelle Prix de thèse AFIA pour Eric Piette
Eric Piette a obtenu le prix de thèse (exr-aequo) de l'Association Française pour l'Intelligence Artificielle pour sa thèse intitulée "Une nouvelle approche au General Game Playing dirigée par les contraintes". -
2017-05-19 Séminaire Constraint Games
Arnaud Lallouet -
2017-05-18 Séminaire Developing a parallel CP (or SAT) solver through the exploitation of strong propagation methods.
Kostas Stergiou (University of Western Macedonia) -
2017-05-17 Nouvelle Papiers acceptés à IJCAI'17
8 papiers ont été acceptés à la conférence IJCAI (Melbourne, 2017) -
2017-04-18 Nouvelle Proposition de thèse financée au CRIL sur l’argumentation abstraite
Utilisation de l’argumentation pour automatiser l’exploitation des avis clients pour la vente en ligne et pour les consultations citoyennes : modélisation des attaques et supports entre arguments -
2017-04-06 Séminaire Plausible Reasoning about Ontologies
Zied Bouraoui -
2017-04-05 Séminaire Autour des classes polynomiales pour les problèmes de satisfaction de contraintes
Achref El Mouelhi