DALEK: A Tool for Dialectical Explanations in Inconsistent Knowledge Bases, COMMA, 2016. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01337019
Logic-based argumentation with existential rules, Int. J. Approx. Reasoning, vol.90, pp.76-106, 2017. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01596666
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
An empirical evaluation of argumentation in explaining inconsistency tolerant query answering, 2017. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01586155
CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver, ICTAI 2015, pp.928-935, 2015. ,
Are Ranking Semantics Sensitive to the Notion of Core, AAMAS 2017, pp.943-951, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01605720
Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results, GKR 2017, pp.118-138, 2018. ,
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