Abstract, The Journal of Symbolic Logic, vol.48, issue.02, pp.510-530, 1985. ,
DOI : 10.1080/00048408412341331
Deontic Logic:Introductory and Systematic Readings, chap. Hierarchies of regulations and their logic, pp.125-148, 1981. ,
Pushing the el envelope, Proc. of IJCAI 2005, 2005. ,
Walking the complexity lines for generalized guarded existential rules, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, pp.712-717, 2011. ,
URL : https://hal.archives-ouvertes.fr/lirmm-00618081
On the complexity of consistent query answering in the presence of simple ontologies, Proc of AAAI, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00789141
A general datalog-based 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. ,
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family, Journal of Automated Reasoning, vol.104, issue.1,2, pp.385-429, 2007. ,
DOI : 10.1007/s10817-007-9078-x
What Can Argumentation Do for Inconsistent Ontology Query Answering?, pp.15-29, 2013. ,
DOI : 10.1007/978-3-642-40381-1_2
URL : https://hal.archives-ouvertes.fr/lirmm-00936486
Belief Base Dynamics, 1991. ,
Semi-revision, Journal of Applied Non-Classical Logics, vol.1995, issue.1-2, pp.151-175, 1997. ,
DOI : 10.1080/11663081.1997.10510904
Inconsistency-Tolerant Semantics for Description Logics, Proc. of RR, pp.103-117, 2010. ,
DOI : 10.1007/978-3-642-15918-3_9