Alexandre Niveau

About Me

Since September 2013, I have been an assistant professor (“maître de conférences”) at the Université de Caen Normandie, and a member of the GREYC lab in the MAD (Models, Agents, Decision) team.

Between October 2011 and August 2013, I was an assistant professor (“attaché temporaire d’enseignement et de recherche”) at the IUT de Lens (France) and a member of the CRIL Computer Science research lab.

In March 2012, I obtained a PhD in computer science, delivered by the University of Toulouse. I worked on the application of knowledge compilation to online decision-making, under the supervision of Hélène Fargier (from IRIT), Cédric Pralet, and Gérard Verfaillie (both from ONERA Toulouse).

In October 2008, I graduated from the ISAE-Supaero grande école.

Contact

You can contact me at alexandre.niveau@unicaen.fr, or by phone at +33 (0)2 31 56 74 84,
or you can use the following postal address:
GREYC-UMR 6072
Université de Caen Normandie
Campus Côte de Nacre, Boulevard du Maréchal Juin
CS 14032
14032 CAEN cedex 5
FRANCE

Research

My main research interests are at the intersection of several fields of artificial intelligence; they belong to knowledge representation and reasoning, but are also related to constraint satisfaction, and I study applications in automated planning and interactive configuration.

More precisely, I study knowledge compilation (offline translation of problems that makes their online resolution tractable): I classify target compilation languages with respect to their succinctness and computational power, work on techniques to compile constraint networks into these languages, look for and design languages fitting the requirements of planning and configuration applications, and run experiments about all these aspects.

Teaching

In 2017–2018, I taught the following courses at the Université de Caen Normandie:

  • HTML/CSS (L1);
  • JavaScript (L1);
  • Web technologies (L3);
  • Web application programming (M1);
  • Networks and protocols (M1);
  • System and networking (M1).

In 2016–2017, I taught the following courses at the Université de Caen Normandie:

  • Introduction to web languages (LP Webmaster);
  • Implementation of an MDP solver (“Planning and decision-making” course, M2 DECIM);
  • Web technologies (L3);
  • Networks and protocols (M1).

In 2015–2016, I taught the following courses at the Université de Caen Normandie:

  • Introduction to web languages (LP Webmaster);
  • Implementation of an MDP solver (“Planning and decision-making” course, M2 DECIM);
  • Web technologies (L3);
  • Networks and protocols (M1);
  • Object oriented programming (DUT1 RT).

In 2014–2015, I taught the following courses at the Université de Caen–Basse-Normandie:

  • Networks (M2 e-secure);
  • Decision diagrams for factored MDPs (“Planning and decision-making” course, M2 DECIM);
  • Introduction to web languages (LP Webmaster);
  • Web technologies (L3);
  • Networks and protocols (M1);
  • Object oriented programming (DUT1 RT).

In 2013–2014, I taught the following courses at the Université de Caen–Basse-Normandie:

  • Networks (M2 e-secure);
  • Knowledge compilation (“Agents & reasoning” course, M2 DECIM);
  • Introduction to web languages (LP Webmaster);
  • Object oriented programming (DUT2 RT);
  • Web technologies (L3);
  • Networks and protocols (M1).

Between 2011 and 2013, I was a teacher in seminars and/or lab sessions for the following first-year courses at the IUT de Lens:

  • Algorithms (C/C++);
  • Assembly language (Intel 32 bits);
  • Introduction to algorithms and programming (Python);
  • Computer architecture;
  • Data structures (Java);
  • Networking;
  • System programming (Unix/bash);
  • Web programming (HTML/CSS, PHP).

Between 2008 and 2012, I was a teacher in seminars and/or lab sessions for the following courses at Supaero:

  • Algorithms and programming (C, first year);
  • Object-oriented conception and programming (Java, second year).

Publications

International Conferences

  • S. Gamblin, A. Niveau, M. Bouzid A Symbolic Representation for Probabilistic Dynamic Epistemic Logic International Conference on Autonomous Agents and Multiagent Systems, 2022 (AAMAS’22) paper HAL
  • S. Scheck, A. Niveau, B. Zanuttini Knowledge Compilation for Nondeterministic Action Languages International Conference on Automated Planning and Scheduling, 2021 (ICAPS’21) paper HAL
  • Q. Cohen-Solal, M. Bouzid, A. Niveau Temporal Sequences of Qualitative Information: Reasoning about the Topology of Constant-Size Moving Regions International Joint Conference on Artificial Intelligence, 2017 (IJCAI’17) paper HAL
  • Q. Cohen-Solal, M. Bouzid, A. Niveau Checking the Consistency of Combined Qualitative Constraint Networks AAAI Conference on Artificial Intelligence, 2017 (AAAI’17) paper HAL
  • A. Niveau, B. Zanuttini Efficient Representations for the Modal Logic S5 International Joint Conference on Artificial Intelligence, 2016 (IJCAI’16) paper HAL
  • Q. Cohen-Solal, M. Bouzid, A. Niveau An Algebra of Granular Temporal Relations for Qualitative Reasoning International Joint Conference on Artificial Intelligence, 2015 (IJCAI’15) paper HAL
  • H. Fargier, P. Marquis, A. Niveau, N. Schmidt A Knowledge Compilation Map for Ordered Real-Valued Decision Diagrams AAAI Conference on Artificial Intelligence, 2014 (AAAI’14) paper HAL
  • H. Fargier, P. Marquis, A. Niveau Towards a Knowledge Compilation Map for Heterogeneous Representation Languages International Joint Conference on Artificial Intelligence, 2013 (IJCAI’13) paper slides poster HAL
  • J. Amilhastre, H. Fargier, A. Niveau, C. Pralet Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams International Conference on Tools with Artificial Intelligence, 2012 (ICTAI’12) paper slides
  • A. Niveau, H. Fargier, C. Pralet, G. Verfaillie Knowledge Compilation Using Interval Automata and Applications to Planning European Conference on Artificial Intelligence, 2010 (ECAI’10) paper slides

International Journals

  • J. Amilhastre, H. Fargier, A. Niveau, C. Pralet Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams International Journal on Artificial Intelligence Tools, 23(4), 2014 Extended version of ICTAI’12 paper HAL

National Journals

  • Q. Cohen-Solal, M. Bouzid, A. Niveau Décision de la cohérence des réseaux de contraintes qualitatives combinés Revue d'intelligence artificielle 31(1-2), 2017 French extended version of AAAI’17 paper HAL

International Workshops

  • A. Niveau, H. Fargier, C. Pralet Set-Labeled Diagrams for CSP Compilation Starting AI Researchers’ Symposium, 2012 (STAIRS’12) paper slides
  • A. Niveau, H. Fargier, C. Pralet Representing CSPs with Set-labeled Diagrams: A Compilation Map IJCAI Workshop on Graph Structures for Knowledge Representation and Reasoning, 2011 (GKR’11) paper slides
  • A. Niveau, H. Fargier, C. Pralet Handling RealPaver’s Output by Interval Automata Compilation CP Worshop on Interval Analysis, Constraint Propagation, and Applications, 2009 (IntCP’09) paper

National Conferences

  • S. Scheck, A. Niveau, B. Zanuttini A KC Map for Variants of Nondeterministic PDDL Journées de l'intelligence artificielle fondamentale, 2022 (JIAF’22) paper HAL
  • S. Scheck, A. Niveau, B. Zanuttini Explicit Representations of Persistency for Propositional Action Theories Journées francophones sur la planification, la décision et l’apprentissage pour la conduite de systèmes, 2021 (JFPDA’21) paper HAL
  • S. Scheck, A. Niveau, B. Zanuttini Knowledge Compilation for Action Languages Journées francophones sur la planification, la décision et l’apprentissage pour la conduite de systèmes, 2020 (JFPDA’20). (Preliminary version of ICAPS’21) paper HAL
  • A. Niveau, F. Schwarzentruber, B. Zanuttini Premiers pas vers une résolution du problème de satisfaisabilité pour la logique monadique du premier ordre par une reformulation en logique des connaissances subjective mono-agent Journées de l'intelligence artificielle fondamentale, 2018 (JIAF’18) paper HAL
  • Q. Cohen-Solal, M. Bouzid, A. Niveau Séquences temporelles d’informations qualitatives : raisonner sur la topologie de régions mobiles de taille constante Journées de l'intelligence artificielle fondamentale, 2017 (JIAF’17) French version of IJCAI’17 paper HAL
  • Q. Cohen-Solal, M. Bouzid, A. Niveau Vérification de la cohérence des multi-réseaux de contraintes qualitatives Conférence nationale d'intelligence artificielle, 2016 (CNIA’16). (French preliminary version of AAAI’17) paper HAL
  • A. Niveau, B. Zanuttini Représentations efficaces pour la logique modale S5 Journées de l'intelligence artificielle fondamentale, 2016 (JIAF’16) French version of IJCAI’16 paper slides HAL
  • Q. Cohen-Solal, M. Bouzid, A. Niveau Une algèbre des relations temporelles granulaires pour le raisonnement qualitatif Journées de l'intelligence artificielle fondamentale, 2015 (JIAF’15) French version of IJCAI’15 paper HAL
  • H. Fargier, P. Marquis, A. Niveau, N. Schmidt Carte de compilation des diagrammes de décision ordonnés à valeurs réelles Journées de l'intelligence artificielle fondamentale, 2014 (JIAF’14) French version of AAAI’14 paper slides HAL
  • H. Fargier, P. Marquis, A. Niveau Vers une carte de compilation pour des langages de représentation hétérogènes Journées de l'intelligence artificielle fondamentale, 2013 (JIAF’13) French version of IJCAI’13 paper HAL
  • J. Amilhastre, H. Fargier, A. Niveau, C. Pralet Compilation de CSPs : carte de complexité des MDDs non-déterministes Journées francophones de programmation par contraintes, 2013 (JFPC’13) French version of ICTAI’12 paper slides HAL
  • A. Niveau, H. Fargier, C. Pralet Compilation de CSP en Set-labeled Diagram Journées francophones de programmation par contraintes, 2012 (JFPC’12) French version of STAIRS’12 paper slides HAL
  • A. Niveau, H. Fargier, C. Pralet, G. Verfaillie Compilation de connaissances avec automates à intervalles et applications à la planification Journées francophones de planification, décision et apprentissage, 2010 (JFPDA’10) French version of ECAI’10 paper slides

Dissertations and Reports

  • A. Niveau Knowledge Compilation for Online Decision: Application to the Control of Autonomous Systems PhD thesis english français slides HAL

Miscellaneous