Section: Overall Objectives

Highlights of the Year

• Organization of ECAI 2012 (European Conference on Artificial Intelligence), one of the major conferences in AI, together with the Coconut team at LIRMM (see Sect.  9.1 ).

• Several keynote talks at international conferences and workshops: RuleML 2012, Effost 2012, Datalog 2.0 2012, MPREF 2012 (see Sect.  9.1 ).

• Three new ANR projects: ASPIQ, PAGODA and Qualinca, the latter being coordinated by GraphIK (see Sect.  8.1 ). The three projects tackle different aspects of ontology-based data management, with our rule-based framework as the kernel formalism.

Best Paper Award :

[31] A Sound and Complete Backward Chaining Algorithm for Existential Rules in RR'2012: International Conference on Web Reasoning and Rule Systems.

M. König, M. Leclère, M.-L. Mugnier, M. Thomazo.