State transition in multi-agent epistemic domains using answer set programming
scientific article; zbMATH DE number 7671894