Postulates for logic-based argumentation systems, Int. J. Approx. Reasoning, vol.55, issue.9, pp.2028-2048, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01123709
A dialectical proof theory for universal acceptance in coherent logic-based argumentation frameworks, Including Prestigious Applications of Artificial Intelligence (PAIS 2016), vol.29, pp.55-63, 2016. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01333368
DALEK: A tool for dialectical explanations in inconsistent knowledge bases, Computational Models of Argument-Proceedings of COMMA 2016, pp.461-462, 2016. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01337019
Explanatory dialogues with argumentative faculties over inconsistent knowledge bases, Expert Syst. Appl, vol.80, pp.244-262, 2017. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01596665
Logic-based argumentation with existential rules, Int. J. Approx. Reasoning, vol.90, pp.76-106, 2017. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01596666
On rules with existential variables: Walking the decidability line, Artif. Intell, vol.175, issue.9, pp.1620-1654, 2011. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00587012
SCC-recursiveness: a general schema for argumentation semantics, Artif. Intell, vol.168, issue.1-2, pp.162-210, 2005. ,
An introduction to argumentation semantics, Knowledge Eng. Review, vol.26, issue.4, pp.365-410, 2011. ,
On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies, Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00789141
Substantive irrationality in cognitive systems, Including Prestigious Applications of Artificial Intelligence (PAIS 2016), vol.29, pp.1642-1643, 2016. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01344696
A general datalog-based framework for tractable query answering over ontologies, Proceedings of the TwentyEigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2009, pp.77-86, 2009. ,
On the evaluation of argumentation formalisms, Artif. Intell, vol.171, issue.5-6, pp.286-310, 2007. ,
Computing Preferred Extensions in Abstract Argumentation: A SAT-Based Approach, Theory and Applications of Formal Argumentation-Second International Workshop, TAFA 2013, pp.176-193, 2013. ,
What Can Argumentation Do for Inconsistent Ontology Query Answering?, Scalable Uncertainty Management-7th International Conference, SUM 2013, pp.15-29, 2013. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00936486
On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and n-Person Games, Artif. Intell, vol.77, issue.2, pp.321-358, 1995. ,
The cf2 argumentation semantics revisited, J. Log. Comput, vol.23, issue.5, pp.925-949, 2013. ,
An empirical evaluation of argumentation in explaining inconsistency tolerant query answering, Description Logics, 30th International Workshop, 2017. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01586155
Argumentation-based defeasible reasoning for existential rules, Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, vol.2017, pp.1568-1569, 2017. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01520171
Coquiaas: A constraintbased quick abstract argumentation solver, Web Reasoning and Rule Systems-Fourth International Conference, RR 2010, Bressanone, pp.103-117, 2010. ,
Summary Report of The First International Competition on Computational Models of Argumentation, vol.37, p.102, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01332194
Mixing Materialization and Query Rewriting for Existential Rules, Including Prestigious Applications of Intelligent Systems (PAIS 2014), pp.897-902, 2014. ,
An argumentation workflow for reasoning in ontology based data access, Computational Models of Argument-Proceedings of COMMA 2016, pp.61-68, 2016. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01401316
Are ranking semantics sensitive to the notion of core?, Autonomous Agents and Multiagent Systems-Proceedings of AAMAS 2017, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01605720
A structural benchmark for logical argumentation frameworks, Proceedings of the 20th International Symposium on Intelligent Data Analysis, 2017. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01668017
A structural benchmark for logical argumentation frameworks, Proceedings of the 17th Conference on Autonomous Agents and MultiAgent Systems, 2018. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01668017
Expressive Completeness of Existential Rule Languages for Ontology-Based Query Answering, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, pp.1330-1337, 2016. ,