External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Logics and Translations for Inconsistency-tolerant Model Checking

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]

Authors

Norihiro Kamide

This author has not been identified. Look up 'Norihiro Kamide' in Google

Kazuki Endo

This author has not been identified. Look up 'Kazuki Endo' in Google
runs on