Emmanuel Lonca - Ingénieur de recherche
Coordonnées
- 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
Diplôme en cours ou obtenu en étant au CRIL
Axes de recherche
- Contraintes
- Données
- Connaissances
-
Projets récents
- ANR JCJC ERIANA 2023-2027
- CNRS IRP MAKC 2020-2024
- CPER Data 2015-2022
Logiciels
- B+E - Improving Model Counting by Leveraging Definability
- CoQuiAAS
- COSCINUS, Statistiques de publications en informatique
- Crusti_bat
- Crusti_g2io
- d-DNNF - Queries and transformations on d-DNNF representations
- Decdnnf-rs
- Jigsaw-CLI
- Rubens
- SAT4J, bibliothèque pour la satisfaisabilité booléenne en Java
- Scalop
Données
Publications
Articles de revues internationales
2020 Contraintes 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.
Articles de conférences internationales
2024 Contraintes 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.
2024 Connaissances 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.
2018 Connaissances 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.
Articles de conférences nationales
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.
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.
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.
Articles de workshops internationaux
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.
Rapports techniques
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.