Actualités
-
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 -
2017-03-30 Séminaire Resource games and redistributions
Nicolas Troquard -
2017-03-23 Séminaire Reasoning Defeasibly over Ontologies
Ivan Varzinczak (Univ Artois) -
2017-03-21 Nouvelle Participation du CRIL à #FranceIA
-
2017-03-16 Séminaire Déploiement et mesure de consommation logicielle à grande échelle
Romain Rouvoy -
2017-03-09 Séminaire Data distribution optimization in a system of collaborative systems
Ronan Bocquillon -
2017-03-02 Séminaire Temporal equilibrium logic
Martin Dieguez (IRIT) -
2017-02-02 Séminaire Let's compute through infinite time!
Sabrina Ouazzani