Publications by Benjamin Zarrieß
Situation Calculus Meets Description Logics
Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday (2019)
On the Complexity of Verifying Timed Golog Programs over Description Logic Actions
Workshop on Hybrid Reasoning and Learning (HRL 2018) (2018)
Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) (2018)
Verification of Golog Programs over Description Logic Actions
PhD. Thesis, TU Dresden (2018)
Decidable Verification of Decision-Theoretic Golog
Eleventh International Symposium on Frontiers of Combining Systems (FroCoS 2017) (2017)
Decidable Verification of Golog Programs over Non-Local Effect Actions
Thirtieth AAAI Conference on Artificial Intelligence (2016)
Verification of Knowledge-Based Programs over Description Logic Actions
Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015 (2015)
Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing
Twenty-Eighth International Workshop on Description Logics (DL 2015) (2015)
Verifying CTL* Properties of Golog Programs over Local-Effect Actions
Twenty-First European Conference on Artificial Intelligence (ECAI 2014) (2014)
Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs
Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014) (2014)
On the Decidability of Verifying LTL Properties of Golog Programs
AAAI 2014 Spring Symposium: Knowledge Representation and Reasoning in Robotics (KRR'14) (2014)
Verification of Golog Programs over Description Logic Actions.
Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013) (2013)