Certification of Iterated Belief Changes via Model Checking and its Implementation
Heltweg P, Sauerwald K, Beierle C (2021)
Publication Type: Conference contribution, Original article
Publication year: 2021
Pages Range: 250--254
Conference Proceedings Title: 19th International Workshop on Non-Monotonic Reasoning NMR} 2021, Hanoi, Vietnam, November 2-5, 2021, Proceedings
URI: https://nmr.cs.tu-dortmund.de/proceedings/NMR2021Proceedings.pdf#page=257
Authors with CRIS profile
Involved external institutions
Germany (DE)How to cite
APA:
Heltweg, P., Sauerwald, K., & Beierle, C. (2021). Certification of Iterated Belief Changes via Model Checking and its Implementation. In Amgoud L, Booth R (Eds.), 19th International Workshop on Non-Monotonic Reasoning NMR} 2021, Hanoi, Vietnam, November 2-5, 2021, Proceedings (pp. 250--254).
MLA:
Heltweg, Philip, Kai Sauerwald, and Christoph Beierle. "Certification of Iterated Belief Changes via Model Checking and its Implementation." Proceedings of the 19th International Workshop on Non-Monotonic Reasoning NMR} 2021, Hanoi, Vietnam, November 2-5, 2021, Proceedings Ed. Amgoud L, Booth R, 2021. 250--254.
BibTeX: Download