Publications by Jens Claßen
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)
Symbolic Verification of Golog Programs with First-Order BDDs
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) (2018)
Reasoning about Conditional Beliefs for the Winograd Schema Challenge
Thirteenth International Symposium on Commonsense Reasoning (Commonsense 2017) (2017)
Decidable Verification of Decision-Theoretic Golog
Eleventh International Symposium on Frontiers of Combining Systems (FroCoS 2017) (2017)
Knowledge-Based Programs with Defaults in a Modal Situation Calculus
Twenty-Second European Conference on Artificial Intelligence (ECAI 2016) (2016)
Interruptible Task Execution with Resumption in Golog
Twenty-Second European Conference on Artificial Intelligence (ECAI 2016) (2016)
Decidable Verification of Golog Programs over Non-Local Effect Actions
Thirtieth AAAI Conference on Artificial Intelligence (2016)
Thirtieth AAAI Conference on Artificial Intelligence (AAAI) (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)
On Decidable Verification of Non-terminating Golog
10th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2013) (2013)
Planning and Verification in the Agent Language Golog
PhD. Thesis, Department of Computer Science, RWTH Aachen University (2013)