Norihiro Kamide, Kazuki Endo. Logics and Translations for Inconsistency-tolerant Model Checking. In Ana Paula Rocha 0001, Jaap van den Herik, editors, Proceedings of the 10th International Conference on Agents and Artificial Intelligence, ICAART 2018, Volume 2, Funchal, Madeira, Portugal, January 16-18, 2018. pages 191-200, SciTePress, 2018. [doi]
Abstract is missing.