Content: Publications

Publications by Benjamin Zarrieß

Jens Claßen, Gerhard Lakemeyer, 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)

Patrick Koopmann, Benjamin Zarrieß

On the Complexity of Verifying Timed Golog Programs over Description Logic Actions

Workshop on Hybrid Reasoning and Learning (HRL 2018) (2018)

Benjamin Zarrieß

Complexity of Projection with Stochastic Actions in a Probabilistic Description Logic

Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) (2018)

Benjamin Zarrieß

Verification of Golog Programs over Description Logic Actions

PhD. Thesis, TU Dresden (2018)

Jens Claßen, Benjamin Zarrieß

Decidable Verification of Decision-Theoretic Golog

Eleventh International Symposium on Frontiers of Combining Systems (FroCoS 2017) (2017)

Benjamin Zarrieß, Jens Claßen

Decidable Verification of Golog Programs over Non-Local Effect Actions

Thirtieth AAAI Conference on Artificial Intelligence (2016)

Benjamin Zarrieß, Jens Claßen

Verification of Knowledge-Based Programs over Description Logic Actions

Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015 (2015)

Benjamin Zarrieß, Jens Claßen

Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing

Twenty-Eighth International Workshop on Description Logics (DL 2015) (2015)

Benjamin Zarrieß, Jens Claßen

Verifying CTL* Properties of Golog Programs over Local-Effect Actions

Twenty-First European Conference on Artificial Intelligence (ECAI 2014) (2014)

Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrieß

Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs

Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014) (2014)

Benjamin Zarrieß, Jens Claßen

On the Decidability of Verifying LTL Properties of Golog Programs

AAAI 2014 Spring Symposium: Knowledge Representation and Reasoning in Robotics (KRR'14) (2014)

Franz Baader, Benjamin Zarrieß

Verification of Golog Programs over Description Logic Actions.

Proceedings of the 9th International Symposium on Frontiers of Combining Systems (FroCoS 2013) (2013)