Gianfranco Lamperti, Marina Zanella, Xiangfu Zhao. Diagnosis of Active Systems with Abstract Observations and Compiled Knowledge. In Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem 0001, editors, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021. pages 442-453, 2021. [doi]
Abstract is missing.