Publications of Jens Claßen

Jens Claßen

Proceedings Articles

Benjamin Zarrieß, Jens Claßen
Decidable Verification of Golog Programs over Non-Local Effect Actions
In Dale Schuurmans, Michael Wellman, eds., Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16), to appear. AAAI Press
Details Download

Benjamin Zarrieß, Jens Claßen
Verification of Knowledge-Based Programs over Description Logic Actions
In Qiang Yang, Michael Wooldridge, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), 3278-3284, 2015. AAAI Press
Details

Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrieß
Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs
In Carla E. Brodley; Peter Stone, eds., Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI'14), 1012--1019, July 2014. AAAI Press
Details Download

Benjamin Zarrieß, Jens Claßen
On the Decidability of Verifying LTL Properties of Golog Programs
Proceedings of the AAAI 2014 Spring Symposium: Knowledge Representation and Reasoning in Robotics (KRR'14), to appear. AAAI Press
Details Download

Technical Reports

Benjamin Zarrieß, Jens Claßen
On the Decidability of Verifying LTL Properties of Golog Programs
Technical Report, Chair of Automata Theory, TU Dresden, volume 13-10, 2013. LTCS-Report
Details Download