AIIDE Artifact Archive


Date Archived: 13 November 2018
Accompanying Paper: Keeping the Story Straight: A Comparison of Commitment Strategies for a Social Deduction Game
Artifact URL:
Alternative URL:

This repository contains a runtime system that can execute actions in Baltag's variant of Dynamic Epistemic Logic. Because writing the actions in this logic directly is cumbersome for any non-trivial application, macros are provided that make writing them much easier.

How to Cite This Artifact

The examples below show how to cite this page, but when referring to this work, many authors will prefer that you cite the accompanying paper linked above.

AAAI Style
Eger, M.; and Martens, C. 2018. Ostari. Accessed 19 June 2024.
IEEE Style
M. Eger, and C. Martens, "Ostari," 2018. [Online]. Available: [Accessed Jun 19, 2024].
BiBTeX Entry
	author={Eger, Markus and Martens, Chris},
	note={Accessed 19 June 2024}