Search - Archive ouverte HAL Access content directly

Filter your results

7 Results
Image document

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

Jean-Marie Lagniez , Emmanuel Lonca , Jean-Guy Mailly , Julien Rossit
First International Workshop on Argumentation and Applications (Arg&App 2023), Sep 2023, Rhodes (Grèce), Greece
Conference papers hal-04213767v1
Image document

Introducing the Fourth International Competition on Computational Models of Argumentation

Jean-Marie Lagniez , Emmanuel Lonca , Jean-Guy Mailly , Julien Rossit
Third International Workshop on Systems and Algorithms for Formal Argumentation, Sep 2020, Perugia, Italy
Conference papers hal-03167490v1
Image document

Calcul de solutions équilibrées Pareto-optimales : application au problème de gestion de dépendances logicielles

Daniel Le Berre , Emmanuel Lonca , Pierre Marquis , Anne Parrain
Huitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France
Conference papers hal-00829567v1

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

Daniel Le Berre , Emmanuel Lonca
9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13), 2013, Aix-en-Provence, France. pp.185-194
Conference papers hal-00869924v1
Image document

Definability for model counting

Jean-Marie Lagniez , Emmanuel Lonca , Pierre Marquis
Artificial Intelligence, 2020, 281, pp.103229. ⟨10.1016/j.artint.2019.103229⟩
Journal articles hal-03167468v1
Image document

Optimisation multicritère pour la gestion de dépendances logicielles : utilisation de la norme de Tchebycheff

Daniel Le Berre , Emmanuel Lonca , Pierre Marquis , Anne Parrain
RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3
Conference papers hal-00656571v1

On the Complexity of Optimization Problems based on Compiled NNF Representations

Daniel Le Berre , Emmanuel Lonca , Pierre Marquis
[Technical Report] CRIL. 2014
Reports hal-03296019v1