Niveau, Alexandre

7 publications

IJCAI 2019 Hintikka's World: Scalable Higher-Order Knowledge Tristan Charrier, Sébastien Gamblin, Alexandre Niveau, François Schwarzentruber

AAAI 2017 Checking the Consistency of Combined Qualitative Constraint Networks Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau

IJCAI 2017 Temporal Sequences of Qualitative Information: Reasoning About the Topology of Constant-Size Moving Regions Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau

IJCAI 2016 Efficient Representations for the Modal Logic S5 Alexandre Niveau, Bruno Zanuttini

IJCAI 2015 An Algebra of Granular Temporal Relations for Qualitative Reasoning Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau

AAAI 2014 A Knowledge Compilation mAP for Ordered Real-Valued Decision Diagrams Hélène Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt

IJCAI 2013 Towards a Knowledge Compilation mAP for Heterogeneous Representation Languages Hélène Fargier, Pierre Marquis, Alexandre Niveau