Verification of Knowledge-Based Programs over Description Logic Actions

Zarrieß and Claßen. "Verification of Knowledge-Based Programs over Description Logic Actions." International Joint Conference on Artificial Intelligence, 2015.

[Zarrieß and Claßen. "Verification of Knowledge-Based Programs over Description Logic Actions." International Joint Conference on Artificial Intelligence, 2015.](https://mlanthology.org/ijcai/2015/zarrie2015ijcai-verification/)

@inproceedings{zarrie2015ijcai-verification,
  title     = {{Verification of Knowledge-Based Programs over Description Logic Actions}},
  author    = {Zarrieß, Benjamin and Claßen, Jens},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2015},
  pages     = {3278-3284},
  url       = {https://mlanthology.org/ijcai/2015/zarrie2015ijcai-verification/}
}