Emmanuel Lonca

According to our database, Emmanuel Lonca authored at least 25 papers between 2014 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Explanation Quality Assessment as Ranking with Listwise Rewards.

Thomas Bailleux, Tanmoy Mukherjee, Emmanuel Lonca, Pierre Marquis, Zied Bouraoui

CoRR, April, 2026

Targeting in Multi-Criteria Decision Making.

Nicolas Schwind, Patricia Everaere, Sébastien Konieczny, Emmanuel Lonca

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Proceedings of the 2025 XCSP3 Competition.

Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca

CoRR, November, 2025

The third and fourth international competitions on computational models of argumentation: Design, results and analysis.

Stefano Bistarelli, Lars Kotthoff, Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit, Francesco Santini, Carlo Taticchi

Argument Comput., 2025

Counterexample-Guided Abstraction Refinement for Assumption-based Argumentation.

Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly

Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning, 2025

Enhancing Query Efficiency for D-DNNF Representations Through Preprocessing.

Jean-Marie Lagniez, Emmanuel Lonca

Proceedings of the Logics in Artificial Intelligence - 19th European Conference, 2025

2024

Proceedings of the 2024 XCSP3 Competition.

Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca

CoRR, 2024

Leveraging Decision-DNNF Compilation for Enumerating Disjoint Partial Models.

Jean-Marie Lagniez, Emmanuel Lonca

Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, 2024

A SAT-based Approach for Argumentation Dynamics.

Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

Proceedings of the 2023 XCSP3 Competition.

Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca

CoRR, 2023

Reasoning on Feature Models: Compilation-Based vs. Direct Approaches.

Pierre Bourhis, Laurence Duchien, Jérémie Dusart, Emmanuel Lonca, Pierre Marquis, Clément Quinton

CoRR, 2023

A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation.

Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit

Proceedings of the 17èmes Journées d'Intelligence Artificielle Fondamentale, 2023

2022

Proceedings of the 2022 XCSP3 Competition.

Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca

CoRR, 2022

Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits.

Pierre Bourhis, Laurence Duchien, Jérémie Dusart, Emmanuel Lonca, Pierre Marquis, Clément Quinton

CoRR, 2022

2021

Design and Results of ICCMA 2021.

Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit

CoRR, 2021

2020

Definability for model counting.

Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis

Artif. Intell., 2020

Introducing the Fourth International Competition on Computational Models of Argumentation.

Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit

Proceedings of the Third International Workshop on Systems and Algorithms for Formal Argumentation co-located with the 8th International Conference on Computational Models of Argument (COMMA 2020), 2020

2018

Artificial Intelligence Conferences Closeness.

Sébastien Konieczny, Emmanuel Lonca

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2016

Improving Model Counting by Leveraging Definability.

Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

Fixed-Parameter Tractable Optimization Under DNNF Constraints.

Frédéric Koriche, Daniel Le Berre, Emmanuel Lonca, Pierre Marquis

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

Automated metamorphic testing of variability analysis tools.

Sergio Segura, Amador Durán, Ana Belén Sánchez, Daniel Le Berre, Emmanuel Lonca, Antonio Ruiz Cortés

Softw. Test. Verification Reliab., 2015

CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver.

Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

2014

Réutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne.

Daniel Le Berre, Emmanuel Lonca

Rev. d'Intelligence Artif., 2014

On the Complexity of Optimization Problems based on Compiled NNF Representations.

Daniel Le Berre, Emmanuel Lonca, Pierre Marquis

CoRR, 2014

Detecting Cardinality Constraints in CNF.

Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2014, 2014