Alexis de Colnet Annuaire des anciens membres
Coordonnées
- poste 15 80 09
- decolnet@cril.fr
- https://www.ac.tuwien.ac.at/people/decolnet/
Diplôme en cours ou obtenu en étant au CRIL
- Thèse : Hard Functions in Knowledge Compilation: from Lower Bounds to Applications 2022-09-26
Axes de recherche
- Contraintes
- Connaissances
-
Projet récent
- ANR PRC PING/ACK 2019-2023
Publications
Articles de revues internationales
2023 Contraintes Alexis de Colnet, Stefan Mengel, Characterizing Tseitin-Formulas with Short Regular Resolution Refutations in Journal of Artificial Intelligence Research,vol. 76, pp. 265-286, 2023.
Articles de conférences internationales
2023 IA explicable Alexis de Colnet, Pierre Marquis, On Translations between ML Models for XAI Purposes in Thirty-Second International Joint Conference on Artificial Intelligence {IJCAI-23},International Joint Conferences on Artificial Intelligence Organization, pp. 3158-3166, 2023.
2022 Contraintes Stefan Mengel, Alexis de Colnet, Lower Bounds on Intermediate Results in Bottom-Up Knowledge Compilation in Thirty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2022,vol. 36, pp. 5564-5572, 2022.
2022 Contraintes Alexis de Colnet, Pierre Marquis, On the Complexity of Enumerating Prime Implicants from Decision-DNNF Circuits in Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22},International Joint Conferences on Artificial Intelligence Organization, pp. 2583-2590, 2022.
2021 Contraintes Stefan Mengel, Alexis de Colnet, Characterizing Tseitin-Formulas with Short Regular Resolution Refutations in 24th International Conference Theory and Applications of Satisfiability Testing - SAT 2021,Springer International Publishing, vol. 12831, pp. 116-133, 2021.
2021 Contraintes Alexis de Colnet, Stefan Mengel, A Compilation of Succinctness Results for Arithmetic Circuits in 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021,2021.
2020 Contraintes Alexis de Colnet, Stefan Mengel, Lower Bounds for Approximate Knowledge Compilation in Twenty-Ninth International Joint Conference on Artificial Intelligence and Seventeenth Pacific Rim International Conference on Artificial Intelligence {IJCAI-PRICAI-20},International Joint Conferences on Artificial Intelligence Organization, pp. 1834-1840, 2020.
2020 Contraintes Alexis de Colnet, A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints in Theory and Applications of Satisfiability Testing – SAT 2020,2020.