This year, 6 papers from CRIL will be presented at IJCAI 2016 :

  • Improving Model Counting by Leveraging Definability Jean Marie Lagniez, Emmanuel Lonca and Pierre Marquis

  • On Consensus Extraction Eric Gregoire, Sébastien Konieczny and Jean Marie Lagniez

  • A SAT-based Approach for Mining Association Rules Abdelhamid Boudane, Said Jabbour, Lakhdar Sais and Yakoub Salhi

  • Is Promoting Beliefs Useful to Make Them Accepted in Networks of Agents? Nicolas Schwind, Katsumi Inoue, Gauvain Bourgne, Sébastien Konieczny and Pierre Marquis

  • On The Use Of Non-Objection Inference In Inconsistent Lightweight Ontologies Zied Bouraoui, Salem Benferhat, Madalina Croitoru, Odile Papini and Karim Tabia

  • Efficient Path Consistency Algorithm for Large Qualitative Constraint Networks Zhiguo Long, Michael Sioutis and Sanjiang Li