Emmanuel Lonca

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 13

Top Topics

Optimization Problems

Propositional Satisfiability

Abstract Argumentation

Cardinality Constraints

Top Venues

Rev. d'Intelligence Artif.

Publications

Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly
A SAT-based Approach for Argumentation Dynamics. AAMAS (2024)
Pierre Bourhis, Laurence Duchien, Jérémie Dusart, Emmanuel Lonca, Pierre Marquis, Clément Quinton
Reasoning on Feature Models: Compilation-Based vs. Direct Approaches. CoRR (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. Arg&App@KR (2023)
Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca
Proceedings of the 2023 XCSP3 Competition. CoRR (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. JIAF (2023)
Gilles Audemard, Christophe Lecoutre, Emmanuel Lonca
Proceedings of the 2022 XCSP3 Competition. CoRR (2022)
Pierre Bourhis, Laurence Duchien, Jérémie Dusart, Emmanuel Lonca, Pierre Marquis, Clément Quinton
Pseudo Polynomial-Time Top-k Algorithms for d-DNNF Circuits. CoRR (2022)
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit
Design and Results of ICCMA 2021. CoRR (2021)
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly, Julien Rossit
Introducing the Fourth International Competition on Computational Models of Argumentation. SAFA@COMMA (2020)
Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis
Definability for model counting. Artif. Intell. 281 (2020)
Sébastien Konieczny, Emmanuel Lonca
Artificial Intelligence Conferences Closeness. IJCAI (2018)
Jean-Marie Lagniez, Emmanuel Lonca, Pierre Marquis
Improving Model Counting by Leveraging Definability. IJCAI (2016)
Frédéric Koriche, Daniel Le Berre, Emmanuel Lonca, Pierre Marquis
Fixed-Parameter Tractable Optimization Under DNNF Constraints. ECAI (2016)
Jean-Marie Lagniez, Emmanuel Lonca, Jean-Guy Mailly
CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver. ICTAI (2015)
Sergio Segura, Amador Durán, Ana Belén Sánchez, Daniel Le Berre, Emmanuel Lonca, Antonio Ruiz Cortés
Automated metamorphic testing of variability analysis tools. Softw. Test. Verification Reliab. 25 (2) (2015)
Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey
Detecting Cardinality Constraints in CNF. SAT (2014)
Daniel Le Berre, Emmanuel Lonca
Réutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne. Rev. d'Intelligence Artif. 28 (5) (2014)
Daniel Le Berre, Emmanuel Lonca, Pierre Marquis
On the Complexity of Optimization Problems based on Compiled NNF Representations. CoRR (2014)