Claßen, Jens

9 publications

AAAI 2025 LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments Till Hofmann, Jens Claßen

AAAI 2025 On Action Theories with Iterable First-Order Progression Daxin Liu, Jens Claßen

IJCAI 2024 First-Order Progression Beyond Local-Effect and Normal Actions Daxin Liu, Jens Claßen

AAAI 2016 Continual Planning in Golog Till Hofmann, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer

AAAI 2016 Decidable Verification of Golog Programs over Non-Local Effect Actions Benjamin Zarrieß, Jens Claßen

IJCAI 2015 Verification of Knowledge-Based Programs over Description Logic Actions Benjamin Zarrieß, Jens Claßen

AAAI 2014 Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrieß

AAAI 2007 A Situation-Calculus Semantics for an Expressive Fragment of PDDL Jens Claßen, Yuxiao Hu, Gerhard Lakemeyer

IJCAI 2007 Towards an Integration of Golog and Planning Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel