Publikationen von Jens Claßen

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche
Toggle side column

Publikationen von Jens Claßen


Artikel in Tagungsbänden

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

Technische Berichte

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