Emmanuel Lonca

25 papers A* 5A 3B 1Journal 12Unranked 4
YearRankTypeTitle / Venue / Authors
2026 A* conf
Targeting in Multi-Criteria Decision Making.
AAAI
Nicolas Schwind, Patricia Everaere, Sébastien Konieczny, Emmanuel Lonca
2025 A* conf
Counterexample-Guided Abstraction Refinement for Assumption-based Argumentation.
KR
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly
2025 — conf
Enhancing Query Efficiency for D-DNNF Representations Through Preprocessing.
JELIA (2)
Jean-Marie Lagniez, Emmanuel Lonca
2025 J jnl
Proceedings of the 2025 XCSP3 Competition.
CoRR
Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca
2025 J jnl
The third and fourth international competitions on computational models of argumentation: Design, results and analysis.
Argument Comput.
Stefano Bistarelli, Lars Kotthoff, Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit, Francesco Santini, Carlo Taticchi
2024 A conf
A SAT-based Approach for Argumentation Dynamics.
AAMAS
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly
2024 A* conf
Leveraging Decision-DNNF Compilation for Enumerating Disjoint Partial Models.
KR
Jean-Marie Lagniez, Emmanuel Lonca
2024 J jnl
Proceedings of the 2024 XCSP3 Competition.
CoRR
Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca
2023 — conf
A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation.
JIAF
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit
2023 — conf
A New Evolutive Generator for Graphs with Communities and its Application to Abstract Argumentation.
Arg&App
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit
2023 J jnl
Proceedings of the 2023 XCSP3 Competition.
CoRR
Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca
2023 J jnl
Reasoning on Feature Models: Compilation-Based vs. Direct Approaches.
CoRR
Pierre Bourhis, Laurence Duchien, Jérémie Dusart, Emmanuel Lonca, Pierre Marquis, Clément Quinton
2022 J jnl
Proceedings of the 2022 XCSP3 Competition.
CoRR
Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca
2022 J jnl
Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits.
CoRR
Pierre Bourhis, Laurence Duchien, Jérémie Dusart, Emmanuel Lonca, Pierre Marquis, Clément Quinton
2021 J jnl
Design and Results of ICCMA 2021.
CoRR
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit
2020 J jnl
Definability for model counting.
Artif. Intell.
Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis
2020 — conf
Introducing the Fourth International Competition on Computational Models of Argumentation.
SAFA
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit
2018 A* conf
Artificial Intelligence Conferences Closeness.
IJCAI
Sébastien Konieczny, Emmanuel Lonca
2016 A conf
Fixed-Parameter Tractable Optimization Under DNNF Constraints.
ECAI
Frédéric Koriche, Daniel Le Berre, Emmanuel Lonca, Pierre Marquis
2016 A* conf
Improving Model Counting by Leveraging Definability.
IJCAI
Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis
2015 J jnl
Automated metamorphic testing of variability analysis tools.
Softw. Test. Verification Reliab.
Sergio Segura, Amador Durán, Ana Belén Sánchez, Daniel Le Berre, Emmanuel Lonca, Antonio Ruiz Cortés
2015 B conf
CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver.
ICTAI
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly
2014 A conf
Detecting Cardinality Constraints in CNF.
SAT
Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey
2014 J jnl
On the Complexity of Optimization Problems based on Compiled NNF Representations.
CoRR
Daniel Le Berre, Emmanuel Lonca, Pierre Marquis
2014 J jnl
Réutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne.
Rev. d'Intelligence Artif.
Daniel Le Berre, Emmanuel Lonca