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]
@inproceedings{KamideE18,
title = {Logics and Translations for Inconsistency-tolerant Model Checking},
author = {Norihiro Kamide and Kazuki Endo},
year = {2018},
doi = {10.5220/0006640601910200},
url = {https://doi.org/10.5220/0006640601910200},
researchr = {https://researchr.org/publication/KamideE18},
cites = {0},
citedby = {0},
pages = {191-200},
booktitle = {Proceedings of the 10th International Conference on Agents and Artificial Intelligence, ICAART 2018, Volume 2, Funchal, Madeira, Portugal, January 16-18, 2018},
editor = {Ana Paula Rocha 0001 and Jaap van den Herik},
publisher = {SciTePress},
isbn = {978-989-758-275-2},
}