Alexandre Niveau

21 papers A* 8A 3B 1Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Deciding the Satisfiability of Combined Qualitative Constraint Networks.
CoRR
Quentin Cohen-Solal, Alexandre Niveau, Maroua Bouzid
2025 A conf
Post-Hoc Interpretation of POMDP Policies.
ECAI
Geoffrey Laforest, Olivier Buffet, Alexandre Niveau, Bruno Zanuttini
2025 — conf
Post-Hoc Interpretation of POMDP Policies.
JIAF-JFPDA
Geoffrey Laforest, Olivier Buffet, Alexandre Niveau, Bruno Zanuttini
2024 J jnl
A knowledge compilation perspective on queries and transformations for belief tracking.
Ann. Math. Artif. Intell.
Alexandre Niveau, Héctor Palacios, Sergej Scheck, Bruno Zanuttini
2022 — conf
A KC Map for Variants of Nondeterministic PDDL.
JIAF
Sergej Scheck, Alexandre Niveau, Bruno Zanuttini
2022 A conf
A Symbolic Representation for Probabilistic Dynamic Epistemic Logic.
AAMAS
Sébastien Gamblin, Alexandre Niveau, Maroua Bouzid
2021 A* conf
Knowledge Compilation for Nondeterministic Action Languages.
ICAPS
Sergej Scheck, Alexandre Niveau, Bruno Zanuttini
2019 A* conf
Hintikka's World: Scalable Higher-order Knowledge.
IJCAI
Tristan Charrier, Sébastien Gamblin, Alexandre Niveau, François Schwarzentruber
2017 A* conf
Checking the Consistency of Combined Qualitative Constraint Networks.
AAAI
Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau
2017 J jnl
Décision de la cohérence des réseaux de contraintes qualitatives combinés.
Rev. d'Intelligence Artif.
Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau
2017 A* conf
Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions.
IJCAI
Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau
2016 A* conf
Efficient Representations for the Modal Logic S5.
IJCAI
Alexandre Niveau, Bruno Zanuttini
2015 A* conf
An Algebra of Granular Temporal Relations for Qualitative Reasoning.
IJCAI
Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau
2014 A* conf
A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams.
AAAI
Hélène Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt
2014 J jnl
Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams.
Int. J. Artif. Intell. Tools
Jérôme Amilhastre, Hélène Fargier, Alexandre Niveau, Cédric Pralet
2013 A* conf
Towards a Knowledge Compilation Map for Heterogeneous Representation Languages.
IJCAI
Hélène Fargier, Pierre Marquis, Alexandre Niveau
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 B conf
Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams.
ICTAI
Jérôme Amilhastre, Hélène Fargier, Alexandre Niveau, Cédric Pralet
2012 — conf
Set-Labeled Diagrams for CSP Compilation.
STAIRS
Alexandre Niveau, Hélène Fargier, Cédric Pralet
2011 — conf
Representing CSPs with Set-Labeled Diagrams: A Compilation Map.
GKR
Alexandre Niveau, Hélène Fargier, Cédric Pralet
2010 A conf
Knowledge Compilation Using Interval Automata and Applications to Planning.
ECAI
Alexandre Niveau, Hélène Fargier, Cédric Pralet, Gérard Verfaillie