Sauerwald K, Heltweg P (2021)
Publication Status: Published
Publication Type: Conference contribution, Conference Contribution
Publication year: 2021
Publisher: CEUR-WS
Book Volume: 2961
Pages Range: 23-33
URI: http://ceur-ws.org/Vol-2961/paper_3.pdf
Open Access Link: http://ceur-ws.org/Vol-2961/paper_3.pdf
APA:
Sauerwald, K., & Heltweg, P. (2021). On using model checking for the certification of iterated belief changes. In Proceedings of the 7th Workshop on Formal and Cognitive Reasoning, FCR 2021 (pp. 23-33). CEUR-WS.
MLA:
Sauerwald, Kai, and Philip Heltweg. "On using model checking for the certification of iterated belief changes." Proceedings of the 7th Workshop on Formal and Cognitive Reasoning, FCR 2021 CEUR-WS, 2021. 23-33.
BibTeX: Download