Jens Claßen

ORCID

Publication Activity (10 Years)

Years Active: 2006-2022
Publications (10 Years): 11

Top Venues

AAAI

ECAI

Description Logics

RWTH Aachen University (PHD)

Education History

RWTH Aachen University

PHD

Publications

Jens Claßen, James P. Delgrande
Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing. KR (2022)
Jens Claßen, James P. Delgrande
An Account of Intensional and Extensional Actions, and its Application to Belief, Nondeterministic Actions and Fallible Sensors. KR (2021)
Jens Claßen, James P. Delgrande
Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus. KR (2020)
Jens Claßen, Gerhard Lakemeyer, Benjamin Zarrieß
Situation Calculus Meets Description Logics. Description Logic, Theory Combination, and All That (2019)
Jens Claßen
Symbolic Verification of Golog Programs with First-Order BDDs. KR (2018)
Jens Claßen, Benjamin Zarrieß
Decidable Verification of Decision-Theoretic Golog. FroCoS (2017)
Denis Golovin, Jens Claßen, Christoph Schwering
Reasoning about Conditional Beliefs for the Winograd Schema Challenge. COMMONSENSE (2017)
Jens Claßen, Malte Neuss
Knowledge-Based Programs with Defaults in a Modal Situation Calculus. ECAI (2016)
Benjamin Zarrieß, Jens Claßen
Decidable Verification of Golog Programs over Non-Local Effect Actions. AAAI (2016)
Gesche Gierse, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer
Interruptible Task Execution with Resumption in Golog. ECAI (2016)
Till Hofmann, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer
Continual Planning in Golog. AAAI (2016)
Benjamin Zarrieß, Jens Claßen
Verification of Knowledge-Based Programs over Description Logic Actions. IJCAI (2015)
Benjamin Zarrieß, Jens Claßen
Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing. Description Logics (2015)
Benjamin Zarrieß, Jens Claßen
Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions. ECAI (2014)
Benjamin Zarrieß, Jens Claßen
On the Decidability of Verifying LTL Properties of Golog Programs. AAAI Spring Symposia (2014)
Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrieß
Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs. AAAI (2014)
Jens Claßen, Gabriele Röger, Gerhard Lakemeyer, Bernhard Nebel
Platas - Integrating Planning and the Action Language Golog. Künstliche Intell. 26 (1) (2012)
Jens Claßen, Gerhard Lakemeyer
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs. ECAI (2010)
Jens Claßen, Gerhard Lakemeyer
A Logic for Non-Terminating Golog Programs. KR (2008)
Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel
Towards an Integration of Golog and Planning. IJCAI (2007)
Jens Claßen, Yuxiao Hu, Gerhard Lakemeyer
A Situation-Calculus Semantics for an Expressive Fragment of PDDL. AAAI (2007)
Jens Claßen, Gerhard Lakemeyer
Foundations for Knowledge-Based Programs using ES. KR (2006)

Jens Claßen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jens Claßen