Emmanuel Lonca - Engineer
Personal Data
- 03 21 79 17 50
- lonca@cril.univ-artois.fr
- http://www.cril.univ-artois.fr/~lonca
https://orcid.org/0000-0002-9502-2821- idHalemmanuel-lonca
-
- fac
UFR des Sciences Jean Perrin
Rue Jean Souvraz SP 18
62307 Lens Cedex
France
Degree prepared or obtained while being at CRIL
Research Axes
- Constraints
- Data
- Knowledge
-
Recent Projects
- ANR JCJC ERIANA 2023-2027
- CNRS IRP MAKC 2020-2024
- CPER Data 2015-2022
Current PhD student
- Thomas Bailleux : Learning and reasoning from natural language explanations
Software
Data
Publications
International journals
2020 Constraints Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis, Definability for model counting in Artificial Intelligence,vol. 281, pp. 103229, 2020.
2015 Sergio Segura, Amador Durán, Ana B. Sánchez, Daniel Le Berre, Emmanuel Lonca, Antonio Ruiz Cortés, Automated metamorphic testing of variability analysis tools in Journal of Software Testing, Verification and Reliability,vol. 25, n° 2, pp. 138-163, 2015.
International conferences
2024 Knowledge Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, A SAT-based Approach for Argumentation Dynamics in 23rd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2024),2024.
2024 Constraints Jean-Marie Lagniez, Emmanuel Lonca, Leveraging Decision-DNNF Compilation for Enumerating Disjoint Partial Models in 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024),2024.
2018 Knowledge Sébastien Konieczny, Emmanuel Lonca, Artificial Intelligence Conferences Closeness in 27th International Joint Conference on Artificial Intelligence (IJCAI'18),pp. 5158-5164, 2018.
2016 Frédéric Koriche, Daniel Le Berre, Emmanuel Lonca, Pierre Marquis, Fixed-Parameter Tractable Optimization under DNNF Constraints in 22nd European Conference on Artificial Intelligence (ECAI'16),pp. 1194-1202, 2016.
2016 Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis, Improving Model Counting by Leveraging Definability in 25th International Joint Conference on Artificial Intelligence (IJCAI'16),pp. 751-757, 2016.
2015 Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver in 27th International Conference on Tools with Artificial Intelligence (ICTAI'15),IEEE, pp. 928-935, 2015.
2014 Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey, Detecting Cardinality Constraints in CNF in 17th International Conference on Theory and Applications of Satisfiability Testing (SAT'14),Springer, pp. 285-301, 2014.
National conferences
2016 Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis, Exploiter les définitions pour le comptage de modèles in 12èmes Journée Francophone de Programmation par Contraintes (JFPC'16),2016.
2016 Frédéric Koriche, Daniel Le Berre, Emmanuel Lonca, Pierre Marquis, Complexité paramétrée de l'optimisation sous contrainte DNNF in 12èmes Journée Francophone de Programmation par Contraintes (JFPC'16),2016.
2014 Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey, Détection de contraintes de cardinalité dans les CNF in 10èmes Journées Francophones de Programmation par Contraintes (JFPC'14),pp. 253-262, 2014.
2013 Daniel Le Berre, Emmanuel Lonca, Réutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne in 9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13),pp. 185-194, 2013.
2012 Daniel Le Berre, Emmanuel Lonca, Pierre Marquis, Anne Parrain, Calcul de solutions équilibrées Pareto-optimales : application au problème de gestion de dépendances logicielles in Huitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012,2012.
2012 Daniel Le Berre, Emmanuel Lonca, Pierre Marquis, Anne Parrain, Optimisation multicritère pour la gestion de dépendances logicielles : utilisation de la norme de Tchebycheff in RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle),pp. 978-2-9539515-2-3, 2012.
International workshops
2023 Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit, A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation in First International Workshop on Argumentation and Applications (Arg&App 2023),CEUR-WS, vol. 3472, 2023.
2020 Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit, Introducing the Fourth International Competition on Computational Models of Argumentation in Third International Workshop on Systems and Algorithms for Formal Argumentation,2020.
Technical reports
2022 Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca, Proceedings of the 2022 XCSP3 Competition 2022.
2021 Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit, Design and Results of ICCMA 2021 2021.
2014 Daniel Le Berre, Emmanuel Lonca, Pierre Marquis, On the Complexity of Optimization Problems based on Compiled NNF Representations 2014.