Alexandre Niveau

Publication Activity (10 Years)

Years Active: 2010-2022
Publications (10 Years): 9

Top Venues

IJCAI

AAAI

Rev. d'Intelligence Artif.

ICAPS

Paul Sabatier University, Toulouse, France (PHD)

Education History

Paul Sabatier University, Toulouse, France

PHD

Publications

Sébastien Gamblin, Alexandre Niveau, Maroua Bouzid
A Symbolic Representation for Probabilistic Dynamic Epistemic Logic. AAMAS (2022)
Sergej Scheck, Alexandre Niveau, Bruno Zanuttini
A KC Map for Variants of Nondeterministic PDDL. JIAF (2022)
Sergej Scheck, Alexandre Niveau, Bruno Zanuttini
Knowledge Compilation for Nondeterministic Action Languages. ICAPS (2021)
Tristan Charrier, Sébastien Gamblin, Alexandre Niveau, François Schwarzentruber
Hintikka's World: Scalable Higher-order Knowledge. IJCAI (2019)
Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau
Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions. IJCAI (2017)
Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau
Décision de la cohérence des réseaux de contraintes qualitatives combinés. Rev. d'Intelligence Artif. 31 (1-2) (2017)
Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau
Checking the Consistency of Combined Qualitative Constraint Networks. AAAI (2017)
Alexandre Niveau, Bruno Zanuttini
Efficient Representations for the Modal Logic S5. IJCAI (2016)
Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau
An Algebra of Granular Temporal Relations for Qualitative Reasoning. IJCAI (2015)
Hélène Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt
A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams. AAAI (2014)
Jérôme Amilhastre, Hélène Fargier, Alexandre Niveau, Cédric Pralet
Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams. Int. J. Artif. Intell. Tools 23 (4) (2014)
Hélène Fargier, Pierre Marquis, Alexandre Niveau
Towards a Knowledge Compilation Map for Heterogeneous Representation Languages. IJCAI (2013)
Jérôme Amilhastre, Hélène Fargier, Alexandre Niveau, Cédric Pralet
Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams. ICTAI (2012)
Alexandre Niveau, Hélène Fargier, Cédric Pralet
Set-Labeled Diagrams for CSP Compilation. STAIRS (2012)
Alexandre Niveau, Hélène Fargier, Cédric Pralet
Representing CSPs with Set-Labeled Diagrams: A Compilation Map. GKR (2011)
Alexandre Niveau, Hélène Fargier, Cédric Pralet, Gérard Verfaillie
Knowledge Compilation Using Interval Automata and Applications to Planning. ECAI (2010)

Alexandre Niveau.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexandre Niveau