Publications by Jens Claßen

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)

Jens Claßen

Symbolic Verification of Golog Programs with First-Order BDDs

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

Denis Golovin, Jens Claßen, Christoph Schwering

Reasoning about Conditional Beliefs for the Winograd Schema Challenge

Thirteenth International Symposium on Commonsense Reasoning (Commonsense 2017) (2017)

Jens Claßen, Benjamin Zarrieß

Decidable Verification of Decision-Theoretic Golog

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

Jens Claßen, Malte Neuss

Knowledge-Based Programs with Defaults in a Modal Situation Calculus

Twenty-Second European Conference on Artificial Intelligence (ECAI 2016) (2016)

Gesche Gierse, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer

Interruptible Task Execution with Resumption in Golog

Twenty-Second European Conference on Artificial Intelligence (ECAI 2016) (2016)

Benjamin Zarrieß, Jens Claßen

Decidable Verification of Golog Programs over Non-Local Effect Actions

Thirtieth AAAI Conference on Artificial Intelligence (2016)

Till Hofmann, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer

Continual Planning in Golog

Thirtieth AAAI Conference on Artificial Intelligence (AAAI) (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)

Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer

On Decidable Verification of Non-terminating Golog

10th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2013) (2013)

Jens Claßen

Planning and Verification in the Agent Language Golog

PhD. Thesis, Department of Computer Science, RWTH Aachen University (2013)