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