Knowledge Compilation Using Interval Automata and Applications to Planning. - Alexandre Niveau; Hélène Fargier; Cédric Pralet; Gérard Verfaillie (ECAI, 2010)

Representing CSPs with Set-Labeled Diagrams: A Compilation Map. - Alexandre Niveau; Hélène Fargier; Cédric Pralet (GKR, 2011)

Set-Labeled Diagrams for CSP Compilation. - Alexandre Niveau; Hélène Fargier; Cédric Pralet (STAIRS, 2012)

Compilation de connaissances pour la décision en ligne : application à la conduite de systèmes autonomes. (Knowledge compilation for online decision-making : application to the control of autonomous systems). - Alexandre Niveau (2012)

Towards a Knowledge Compilation Map for Heterogeneous Representation Languages. - Hélène Fargier; Pierre Marquis; Alexandre Niveau (IJCAI, 2013)

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

Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams. - Jérôme Amilhastre; Hélène Fargier; Alexandre Niveau; Cédric Pralet (Int. J. Artif. Intell. Tools, 2014)

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

Efficient Representations for the Modal Logic S5. - Alexandre Niveau; Bruno Zanuttini (IJCAI, 2016)

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

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

Décision de la cohérence des réseaux de contraintes qualitatives combinés. - Quentin Cohen-Solal; Maroua Bouzid; Alexandre Niveau (Rev. d'Intelligence Artif., 2017)

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

Knowledge Compilation for Nondeterministic Action Languages. - Sergej Scheck; Alexandre Niveau; Bruno Zanuttini (ICAPS, 2021)

A Symbolic Representation for Probabilistic Dynamic Epistemic Logic. - Sébastien Gamblin; Alexandre Niveau; Maroua Bouzid (AAMAS, 2022)

A KC Map for Variants of Nondeterministic PDDL. - Sergej Scheck; Alexandre Niveau; Bruno Zanuttini (JIAF, 2022)

A knowledge compilation perspective on queries and transformations for belief tracking. - Alexandre Niveau; Héctor Palacios; Sergej Scheck; Bruno Zanuttini (Ann. Math. Artif. Intell., 2024)

Post-Hoc Interpretation of POMDP Policies. - Geoffrey Laforest; Olivier Buffet; Alexandre Niveau; Bruno Zanuttini (JIAF-JFPDA, 2025)