Postulates for logic-based argumentation systems, Int. J. Approx. Reasoning, vol.55, pp.2028-2048, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-01123709
An argumentation system for defeasible reasoning, Int. J. Approx. Reasoning, vol.85, pp.1-20, 2017. ,
A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-Based Argumentation Frameworks, ECAI 2016-22nd European Conference on Artificial Intelligence, 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.12-16, 2016. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01337019
, , pp.461-462, 2016.
On rules with existential variables: Walking the decidability line, Artif. Intell, vol.175, pp.1620-1654, 2011. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00587012
An introduction to argumentation semantics, Knowledge Eng. Review, vol.26, 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
Florence Dupin de Saint-Cyr, and Abdelraouf Hecham, pp.2016-2038, 2016. ,
, The Hague, The Netherlands-Including Prestigious Applications of Artificial Intelligence (PAIS, European Conference on Artificial Intelligence, vol.29, pp.1642-1643, 2016.
A general datalogbased framework for tractable query answering over ontologies, Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp.77-86, 2009. ,
Graph-based Knowledge Representation-Computational Foundations of Conceptual Graphs, 2009. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00355336
What Can Argumentation Do for Inconsistent Ontology Query Answering, Scalable Uncertainty Management7th International Conference, SUM 2013, 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, 1995. ,
, Artif. Intell, vol.77, pp.321-358, 1995.
A Comprehensive Analysis of the cf2 Argumentation Semantics: From Characterization to Implementation, 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
CoQuiAAS: A Constraint-Based Quick Abstract Argumentation Solver, 27th IEEE International Conference on Tools with Artificial Intelligence, vol.2015, pp.928-935, 2015. ,
Inconsistency-Tolerant Semantics for Description Logics, Web Reasoning and Rule Systems-Fourth International Conference, RR 2010, 2010. ,
The ASPIC+ framework for structured argumentation: a tutorial, Argument & Computation, vol.5, pp.31-62, 2014. ,
A Food Packaging Use Case for Argumentation, Metadata and Semantics Research: 8th Research Conference, pp.344-358, 2014. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01089612
Eco-Efficient Packaging Material Selection for Fresh Produce: Industrial Session, Graph-Based Representation and Reasoning: 21st International Conference on Conceptual Structures, pp.305-310, 2014. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01089599
The Tweety Library Collection for Logical Aspects of Artificial Intelligence and Knowledge Representation, KI, vol.31, pp.93-97, 2017. ,
, Conjunctive Query Answering Under Existential RulesDecidability, Complexity, and Algorithms. Ph.D. Dissertation. Université Montpellier II-Sciences et Techniques du Languedoc, 2013.
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
A Structural Benchmark for Logical Argumentation Frameworks, Advances in Intelligent Data Analysis XVI-16th International Symposium, pp.334-346, 2017. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01668017