Description logic knowledge and action bases, JAIR, vol.46, pp.651-686, 2013. ,
Reasoning with multiversion ontologies: A temporal logic approach, Proc. of ISWC, pp.398-412, 2005. ,
Towards scalable exploration of diagnoses in an ontology stream, Proc. of AAAI, pp.87-93, 2014. ,
Inconsistency-tolerant semantics for description logics, Proc. of RR, pp.103-117, 2010. ,
Explanatory diagnosis: Conjecturing actions to explain observations, Proc. of KR, pp.167-179, 1998. ,
Markov decision processes: Discrete stochastic dynamic programming, 1994. ,
Multi-agent epistemic explanatory diagnosis via reasoning about actions, Proc. of IJCAI, pp.1183-1190, 2013. ,
Explanatory Diagnosis of an Ontology Stream via Reasoning About Actions ,
URL : https://hal.archives-ouvertes.fr/hal-01934918