| 2025 | ECAI | Post-Hoc Interpretation of POMDP Policies. | Geoffrey Laforest, Olivier Buffet, Alexandre Niveau, Bruno Zanuttini |
| 2019 | IJCAI | Hintikka's World: Scalable Higher-order Knowledge. | Tristan Charrier, Sbastien Gamblin, Alexandre Niveau, Franois Schwarzentruber |
| 2017 | AAAI | Checking the Consistency of Combined Qualitative Constraint Networks. | Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau |
| 2017 | IJCAI | Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions. | Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau |
| 2016 | IJCAI | Efficient Representations for the Modal Logic S5. | Alexandre Niveau, Bruno Zanuttini |
| 2015 | IJCAI | An Algebra of Granular Temporal Relations for Qualitative Reasoning. | Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau |
| 2014 | AAAI | A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams. | Hlne Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt |
| 2013 | IJCAI | Towards a Knowledge Compilation Map for Heterogeneous Representation Languages. | Hlne Fargier, Pierre Marquis, Alexandre Niveau |
| 2012 | ICTAI | Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams. | Jrme Amilhastre, Hlne Fargier, Alexandre Niveau, Cdric Pralet |
| 2010 | ECAI | Knowledge Compilation Using Interval Automata and Applications to Planning. | Alexandre Niveau, Hlne Fargier, Cdric Pralet, Grard Verfaillie |