On using model checking for the certification of iterated belief changes

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

Authors with CRIS profile

Philip Heltweg Professur für Open Source Software

How to cite

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