Nicola Bertoglio, Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao. Explanatory Diagnosis of Discrete-Event Systems with Temporal Information and Smart Knowledge-Compilation. In Diego Calvanese, Esra Erdem 0001, Michael Thielscher, editors, Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. pages 130-140, 2020. [doi]
Abstract is missing.