Filter your results
- 5
- 2
- 5
- 1
- 1
- 1
- 7
- 1
- 2
- 1
- 1
- 2
- 4
- 3
- 7
- 2
- 2
- 7
- 4
- 4
- 3
- 2
- 2
- 2
7 Results
|
|
sorted by
|
|
A New Evolutive Generator for Graphs with Communities and its Application to Abstract ArgumentationFirst International Workshop on Argumentation and Applications (Arg&App 2023), Sep 2023, Rhodes (Grèce), Greece
Conference papers
hal-04213767v1
|
||
|
Introducing the Fourth International Competition on Computational Models of ArgumentationThird International Workshop on Systems and Algorithms for Formal Argumentation, Sep 2020, Perugia, Italy
Conference papers
hal-03167490v1
|
||
|
Calcul de solutions équilibrées Pareto-optimales : application au problème de gestion de dépendances logiciellesHuitiè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éenne9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13), 2013, Aix-en-Provence, France. pp.185-194
Conference papers
hal-00869924v1
|
|||
|
Definability for model countingArtificial Intelligence, 2020, 281, pp.103229. ⟨10.1016/j.artint.2019.103229⟩
Journal articles
hal-03167468v1
|
||
|
Optimisation multicritère pour la gestion de dépendances logicielles : utilisation de la norme de TchebycheffRFIA 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[Technical Report] CRIL. 2014
Reports
hal-03296019v1
|