HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Rolf Hennicker

Publications
Symbolic Realisation of Epistemic Processes
Rolf Hennicker, Alexander Knapp and Martin Wirsing
In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning

Keyphrases

action model, epistemic logic, epistemic process, propositional dynamic logic, symbolic abstraction, symbolic execution, weakest liberal precondition.

Copyright © 2012-2025 easychair.org. All rights reserved.