Consistent Query Answers in Inconsistent Databases, Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp.68-79, 1999. ,
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
A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, pp.513-516, 2016. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01328690
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
Parallel Search for Maximal Independence Given Minimal Dependence, Proceedings of the First Annual ACM-SIAM Symposium on Discrete Algorithms, pp.212-218, 1990. ,
Non-Objection Inference for Inconsistency-Tolerant Query Answering, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, pp.3684-3690, 2016. ,
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
An Efficient Incremental Algorithm for Generating All Maximal Independent Sets in Hypergraphs of Bounded Dimension, Parallel Processing Letters, vol.10, issue.4, pp.253-266, 2000. ,
Inconsistency Handling in Ontology-Mediated Query Answering, 2016. ,
URL : https://hal.archives-ouvertes.fr/tel-01378723
Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications, Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, p.27, 2010. ,
What Can Argumentation Do for Inconsistent Ontology Query Answering? In: Scalable Uncertainty Management -7th International Conference, Proceedings, pp.15-29, 2013. ,
An Efficient Parallel Algorithm for Computing a Maximal Independent Set in a Hypergraph of Dimension 3, Inf. Process. Lett, vol.42, issue.6, pp.309-313, 1992. ,
Directed Hypergraphs and Applications, Discrete Applied Mathematics, vol.42, issue.2, p.90045, 1993. ,
A New Parallel Algorithm for the Maximal Independent Set Problem, SIAM J. Comput, vol.18, issue.2, pp.419-427, 1989. ,
,
Boosting a Complete Technique to Find MSS and MUS Thanks to a Local Search Oracle, IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, pp.2300-2305, 2007. ,
Using local search to find MSSes and MUSes, European Journal of Operational Research, vol.199, issue.3, pp.640-646, 2009. ,
Defeasible reasoning for existential rules. (Raisonnement defaisable dans les règles existentielles), 2018. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01520171
On the Chase for All Provenance Paths with Existential Rules, Rules and Reasoning -International Joint Conference, pp.135-150, 2017. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01520172
On the Parallel Complexity of Computing a Maximal Independent Set in a Hypergraph, Proceedings of the 24th Annual ACM Symposium on Theory of Computing, pp.339-350, 1992. ,
Inconsistency-Tolerant Semantics for Description Logics, Web Reasoning and Rule Systems -Fourth International Conference, pp.103-117, 2010. ,
Linking Data to Ontologies, J. Data Semantics, vol.10, pp.133-173, 2008. ,
Interrogation tolérante aux incohérences, 2013. ,
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
Arguing About End-of-Life of Packagings: Preferences to the Rescue, Metadata and Semantics Research -10th International Conference, MTSR 2016, pp.119-131, 2016. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01401481
Inconsistency Measures for Repair Semantics in OBDA, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, pp.1977-1983, 2018. ,
URL : https://hal.archives-ouvertes.fr/lirmm-01892704