Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach, TAFA 2013, pp.176-193, 2013. ,
What Can Argumentation Do for Inconsistent Ontology Query Answering?, SUM 2013, pp.15-29, 2013. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00936486
CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver, ICTAI 2015, pp.928-935, 2015. ,
Algorithms for decision problems in argument systems under preferred semantics, Artif. Intell, vol.207, pp.23-51, 2014. ,
Dagger: Datalog+/-argumentation graph generator. AAMAS Demos, 2017. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01892588
Graph theoretical properties of logic based argumentation frameworks: Proofs and general results, GKR 2017, pp.118-138, 2017. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01892703
A Structural Benchmark for Logical Argumentation Frameworks, IDA 2017, pp.334-346, 2017. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01668017