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
Argumentation-based Ranking Logics, Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, pp.1511-1519, 2015. ,
A Dialectical Proof Theory for Universal Acceptance in Coherent Logic-Based Argumentation Frameworks, -Including Prestigious Applications of Artificial Intelligence (PAIS 2016), 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
Logic-based argumentation with existential rules, Int. J. Approx. Reasoning, vol.90, pp.76-106, 2017. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01596666
DLGP: An extended Datalog Syntax for Existential Rules and Datalog+, 2015. ,
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
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 Comparative Study of Ranking-Based Semantics for Abstract Argumentation, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, pp.914-920, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01263996
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. Advanced Information and Knowledge Processing, 2009. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00355336
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. ,
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, pp.103-117, 2010. ,
The ASPIC+ framework for structured argumentation: a tutorial, Argument & Computation, vol.5, issue.1, pp.31-62, 2014. ,
Computing Preferred Extensions for Argumentation Systems with Sets of Attacking Arguments, Computational Models of Argument: Proceedings of COMMA 2006, pp.97-108, 2006. ,
A Generalization of Dung's Abstract Framework for Argumentation: Arguing with Sets of Attacking Arguments, Nicolas Maudet, Simon Parsons, and Iyad Rahwan, editors, Argumentation in Multi-Agent Systems, pp.54-73, 2007. ,
A Food Packaging Use Case for Argumentation, Sissi Closs, Rudi Studer, Emmanouel Garoufallou, and Miguel-Angel Sicilia, 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, issue.1, pp.93-97, 2017. ,
, Conjunctive Query Answering Under Existential Rules -Decidability, Complexity, and Algorithms, 2013.
URL : https://hal.archives-ouvertes.fr/tel-00925722
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
DAG-GER: Datalog+/-Argumentation Graph GEneRator, Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, pp.1841-1843, 2018. ,
Toward a More Efficient Generation of Structured Argumentation Graphs, Proceedings of the 7th International Conference on Computational Models of Argument, vol.2018, pp.11-14, 2018. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01892707
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