Accepted papers at IJCAI'17
This year, there will be 8 papers from CRIL to be presented at IJCAI 2017 :
-
Acceptability Semantics for Weighted Argumentation Frameworks by Leila Amgoud, Jonathan Ben-Naim, Srdjan Vesic, Dragan Doder
-
Measuring the Intensity of Attacks in Argumentation Graphs with Shapley Value by Leila AMGOUD, Jonathan Ben-Naim, Srdjan Vesic
-
Efficiently Enforcing Path Consistency on Qualitative Constraint Networks by use of Abstraction by Michael Sioutis, Jean-François Condotta
-
Constraint-Based Symmetry Detection in General Game Playing by Frederic Koriche, Sylvain Lagrue, Eric Piette, Sébastien Tabary
-
On Neighborhood Singleton Consistencies by Kostas Stergiou, Anastasia Paparrizou
-
A Recursive Shortcut for CEGAR: Application To The Modal Logic K Satisfiability Problem by Jean-Marie Lagniez, Daniel Le Berre, Tiago de Lima, Valentin Montmirail
-
Automatic Synthesis of Smart Table Constraints by Abstraction of Table Constraints by Baudouin Le Charlier, Minh Thanh Khong, Christophe Lecoutre, Yves Deville
-
An Improved Decision-DNNF Compiler by Pierre Marquis, Jean-Marie Lagniez