Publications
Les publications réalisées dans le cadre du projet sont listées sur cette page.
Etienne Grandjean et Théo Grente Descriptive complexity for minimal time of cellular automata. Proceedings of LICS 2019, pp. 1-13. Voir.
Bruno Zanuttini, Jérôme Lang, Abdallah Saffidine et François Schwarzentruber. Knowledge-Based Programs as Succinct Policies for Partially Observable Domains. Artificial Intelligence, Volume 288, Novembre 2020, 103365. Voir.
Jérôme Mengin. An Incomplete Knowledge Compilation Map for Conditional Preference Statements-Based Languages. Journées d’Intelligence Artificielle Fondamentale (JIAF), Juillet 2020, pp.1-10. Voir.
Sergej Scheck, Alexandre Niveau et Bruno Zanuttini. Knowledge Compilation for Action Languages. Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes (JFPDA), Juillet 2020, pp.34-44. Voir.
Alexis de Colnet et Stefan Mengel. Lower Bounds for Approximate Knowledge Compilation. Proceedings of IJCAI-PRICAI 2020, Juillet 2020, pp.1834-1840. Voir.
Alexis de Colnet. A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints. Proceedings of SAT 2020, Juillet 2020, pp.312-321. Voir.
Julien Clément et Antoine Genitrini. Binary Decision Diagrams: from Tree Compaction to Sampling. Proceedings of LATIN 2020, Mai 2020, pp. 571-583. Voir.
Jean-Marie Lagniez, Emmanuel Lonca et Pierre Marquis. Definability for Model Counting. Artificial Intelligence, Volume 281, Avril 2020, 103229. Voir.
Etienne Grandjean, Théo Grente et Véronique Terrier. Inductive Definitions in Logic Versus Programs of Real-Time Cellular Automata. Preprint, Février 2020. Voir.
Hélène Fargier et Jérôme Mengin. A Knowledge Compilation Map for Conditional Preference Statements-based Languages. Research Report, Février 2021. Voir.
Sergej Scheck, Alexandre Niveau et Bruno Zanuttini. Explicit Representations of Persistency for Propositional Action Theories. Journées sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes (JFPDA), 2021 Voir
Hélène Fargier et Jérôme Mengin. A knowledge compilation map for conditional preference statements-based languages. Proceedings of AAMAS 2021, pp. 492-500. Voir
Florent Capelli, Jean-Marie Lagniez et Pierre Marquis. Certifying Top-Down Decision-DNNF Compilers. Proceedings of AAAI 2021, pp. 6244-6253. Voir.
Théo Grente et Etienne Grandjean. Conjunctive Grammars, Cellular Automata and Logic. Proceedings of 27th IFIP WG 1.5 International Workshop on Cellular Automata and Discrete Complex Systems (AUTOMATA), 2021, 8:1-8:19. Voir
Jean-Marie Lagniez et Pierre Marquis. About Caching in D4 2.0 Proceedings of Workshop on Model Counting and Sampling 2021 Voir
Stefan Mengel. No Efficient Disjunction or Conjunction of Switch-Lists J. Satisf. Boolean Model. Comput. 13(1): 1-4 (2022). Voir.
Alexis de Colnet et Stefan Mengel. Characterizing Tseitin-Formulas with Short Regular Resolution Refutations. J. Artif. Intell. Res. 76: 265-286 (2023).
Voir.Sergej Scheck, Alexandre Niveau et Bruno Zanuttini. Knowledge Compilation for Nondeterministic Action Languages. Proceedings of ICAPS 2021, pp. 308-316. Voir
Alexis de Colnet et Stefan Mengel. Characterizing Tseitin-Formulas with Short Regular Resolution Refutations. Proceedings of SAT 2021, pp. 116-133. Voir
Alexis de Colnet et Stefan Mengel. A Compilation of Succinctness Results for Arithmetic Circuits. Proceedings of KR 2021, pp. 205-215. Voir
Stefan Mengel et Friedrich Slivovsky. Proof Complexity of Symbolic QBF Reasoning. Proceedings of SAT 2021, pp. 399-416. Voir
Sébastien Gamblin, Alexandre Niveau et Maroua Bouzid. A Symbolic Representation for Probabilistic Dynamic Epistemic Logic. Proceedings of AAMAS 2022, pp. 445-453. Voir
Alexis de Colnet et Stefan Mengel. Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation. Proceedings of AAAI 2022, pp. 5564-5572. Voir
Alexis de Colnet and Pierre Marquis. On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits. Proceedings of IJCAI-ECAI 2022, pp. 2583-2590. Voir
Sergej Scheck, Alexandre Niveau et Bruno Zanuttini. A KC Map for Variants of Nondeterministic PDDL. Journées d’Intelligence Artificielle Fondamentale (JIAF), 2022. Voir
Alexis de Colnet et Pierre Marquis. On Translations between ML Models for XAI Purposes. Proceedings of IJCAI 2023, pp. 3158-3166. Voir
Stefan Mengel. Bounds on BDD-Based Bucket Elimination. Proceedings of SAT 2023, 16:1-16:11. Voir
Julien Clément et Antoine Genitrini. An iterative approach for counting reduced ordered binary decision diagrams. Proceedings of MFCS 2023, 36:1-36:15. Voir
Sara Riva, Jean-Marie Lagniez, Gustavo Magaña López et Loïc Paulevé. Tackling Universal Properties of Minimal Trap Spaces of Boolean Networks. Proceedings of CMSB 2023, pp. 157-174. Voir
Jean-Marie Lagniez et Pierre Marquis. Boosting Definability Bipartition Computation using SAT Witnesses. Proceedings of JELIA 2023, pp. 697-711. Voir