| 2025 | AAAI | On Action Theories with Iterable First-Order Progression. | Daxin Liu, Jens Claen |
| 2025 | AAAI | LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments. | Till Hofmann, Jens Claen |
| 2025 | TABLEAUX | A Tableau System for First-Order Logic with Standard Names. | Jens Claen, Torben Braner |
| 2024 | IJCAI | First-Order Progression beyond Local-Effect and Normal Actions. | Daxin Liu, Jens Claen |
| 2022 | KR | Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing. | Jens Claen, James P. Delgrande |
| 2021 | KR | An Account of Intensional and Extensional Actions, and its Application to Belief, Nondeterministic Actions and Fallible Sensors. | Jens Claen, James P. Delgrande |
| 2020 | KR | Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus. | Jens Claen, James P. Delgrande |
| 2018 | KR | Symbolic Verification of Golog Programs with First-Order BDDs. | Jens Claen |
| 2016 | AAAI | Continual Planning in Golog. | Till Hofmann, Tim Niemueller, Jens Claen, Gerhard Lakemeyer |
| 2016 | AAAI | Decidable Verification of Golog Programs over Non-Local Effect Actions. | Benjamin Zarrie, Jens Claen |
| 2016 | ECAI | Knowledge-Based Programs with Defaults in a Modal Situation Calculus. | Jens Claen, Malte Neuss |
| 2016 | ECAI | Interruptible Task Execution with Resumption in Golog. | Gesche Gierse, Tim Niemueller, Jens Claen, Gerhard Lakemeyer |
| 2015 | IJCAI | Verification of Knowledge-Based Programs over Description Logic Actions. | Benjamin Zarrie, Jens Claen |
| 2014 | AAAI | Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs. | Jens Claen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrie |
| 2014 | ECAI | Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions. | Benjamin Zarrie, Jens Claen |
| 2010 | ECAI | On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs. | Jens Claen, Gerhard Lakemeyer |
| 2008 | KR | A Logic for Non-Terminating Golog Programs. | Jens Claen, Gerhard Lakemeyer |
| 2007 | AAAI | A Situation-Calculus Semantics for an Expressive Fragment of PDDL. | Jens Claen, Yuxiao Hu, Gerhard Lakemeyer |
| 2007 | IJCAI | Towards an Integration of Golog and Planning. | Jens Claen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel |
| 2006 | KR | Foundations for Knowledge-Based Programs using ES. | Jens Claen, Gerhard Lakemeyer |