Alexandre Niveau

According to our database, Alexandre Niveau authored at least 17 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A knowledge compilation perspective on queries and transformations for belief tracking.

Alexandre Niveau, Héctor Palacios, Sergej Scheck, Bruno Zanuttini

Ann. Math. Artif. Intell., October, 2024

2022

A KC Map for Variants of Nondeterministic PDDL.

Sergej Scheck, Alexandre Niveau, Bruno Zanuttini

Proceedings of the 16èmes Journées d'Intelligence Artificielle Fondamentale, 2022

A Symbolic Representation for Probabilistic Dynamic Epistemic Logic.

Sébastien Gamblin, Alexandre Niveau, Maroua Bouzid

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

Knowledge Compilation for Nondeterministic Action Languages.

Sergej Scheck, Alexandre Niveau, Bruno Zanuttini

Proceedings of the Thirty-First International Conference on Automated Planning and Scheduling, 2021

2019

Hintikka's World: Scalable Higher-order Knowledge.

Tristan Charrier, Sébastien Gamblin, Alexandre Niveau, François Schwarzentruber

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

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

Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions.

Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Checking the Consistency of Combined Qualitative Constraint Networks.

Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Efficient Representations for the Modal Logic S5.

Alexandre Niveau, Bruno Zanuttini

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

An Algebra of Granular Temporal Relations for Qualitative Reasoning.

Quentin Cohen-Solal, Maroua Bouzid, Alexandre Niveau

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

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

A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams.

Hélène Fargier, Pierre Marquis, Alexandre Niveau, Nicolas Schmidt

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Towards a Knowledge Compilation Map for Heterogeneous Representation Languages.

Hélène Fargier, Pierre Marquis, Alexandre Niveau

Proceedings of the IJCAI 2013, 2013

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

PhD thesis, 2012

Set-Labeled Diagrams for CSP Compilation.

Alexandre Niveau, Hélène Fargier, Cédric Pralet

Proceedings of the STAIRS 2012, 2012

2011

Representing CSPs with Set-Labeled Diagrams: A Compilation Map.

Alexandre Niveau, Hélène Fargier, Cédric Pralet

Proceedings of the Graph Structures for Knowledge Representation and Reasoning, 2011

2010

Knowledge Compilation Using Interval Automata and Applications to Planning.

Alexandre Niveau, Hélène Fargier, Cédric Pralet, Gérard Verfaillie

Proceedings of the ECAI 2010, 2010