D. Babak-bagheri-hariri, M. Calvanese, G. D. Montali, R. D. Giacomo, P. Masellis et al., Description logic knowledge and action bases, JAIR, vol.46, pp.651-686, 2013.

Z. Huang and H. Stuckenschmidt, Reasoning with multiversion ontologies: A temporal logic approach, Proc. of ISWC, pp.398-412, 2005.

F. Lécué, Towards scalable exploration of diagnoses in an ontology stream, Proc. of AAAI, pp.87-93, 2014.

D. Lembo, M. Lenzerini, R. Rosati, M. Ruzzi, and D. F. Savo, Inconsistency-tolerant semantics for description logics, Proc. of RR, pp.103-117, 2010.

S. A. Mcilraith, Explanatory diagnosis: Conjecturing actions to explain observations, Proc. of KR, pp.167-179, 1998.

M. Puterman, Markov decision processes: Discrete stochastic dynamic programming, 1994.

Q. Yu, X. Wen, and Y. Liu, Multi-agent epistemic explanatory diagnosis via reasoning about actions, Proc. of IJCAI, pp.1183-1190, 2013.

Q. Yu, Explanatory Diagnosis of an Ontology Stream via Reasoning About Actions
URL : https://hal.archives-ouvertes.fr/hal-01934918