Jens Claßen

28 papers A* 15A 4B 1Journal 2Unranked 5
YearRankTypeTitle / Venue / Authors
2025 B conf
A Tableau System for First-Order Logic with Standard Names.
TABLEAUX
Jens Claßen, Torben Braüner
2025 A* conf
LTLf Synthesis on First-Order Agent Programs in Nondeterministic Environments.
AAAI
Till Hofmann, Jens Claßen
2025 A* conf
On Action Theories with Iterable First-Order Progression.
AAAI
Daxin Liu, Jens Claßen
2024 A* conf
First-Order Progression beyond Local-Effect and Normal Actions.
IJCAI
Daxin Liu, Jens Claßen
2024 J jnl
LTLf Synthesis on First-Order Action Theories.
CoRR
Till Hofmann, Jens Claßen
2022 A* conf
Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing.
KR
Jens Claßen, James P. Delgrande
2021 A* conf
An Account of Intensional and Extensional Actions, and its Application to Belief, Nondeterministic Actions and Fallible Sensors.
KR
Jens Claßen, James P. Delgrande
2020 A* conf
Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus.
KR
Jens Claßen, James P. Delgrande
2019 — conf
Situation Calculus Meets Description Logics.
Description Logic, Theory Combination, and All That
Jens Claßen, Gerhard Lakemeyer, Benjamin Zarrieß
2018 A* conf
Symbolic Verification of Golog Programs with First-Order BDDs.
KR
Jens Claßen
2017 — conf
Decidable Verification of Decision-Theoretic Golog.
FroCoS
Jens Claßen, Benjamin Zarrieß
2017 — conf
Reasoning about Conditional Beliefs for the Winograd Schema Challenge.
COMMONSENSE
Denis Golovin, Jens Claßen, Christoph Schwering
2016 A* conf
Continual Planning in Golog.
AAAI
Till Hofmann, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer
2016 A* conf
Decidable Verification of Golog Programs over Non-Local Effect Actions.
AAAI
Benjamin Zarrieß, Jens Claßen
2016 A conf
Interruptible Task Execution with Resumption in Golog.
ECAI
Gesche Gierse, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer
2016 A conf
Knowledge-Based Programs with Defaults in a Modal Situation Calculus.
ECAI
Jens Claßen, Malte Neuss
2015 — conf
Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing.
Description Logics
Benjamin Zarrieß, Jens Claßen
2015 A* conf
Verification of Knowledge-Based Programs over Description Logic Actions.
IJCAI
Benjamin Zarrieß, Jens Claßen
2014 A* conf
Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs.
AAAI
Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrieß
2014 — conf
On the Decidability of Verifying LTL Properties of Golog Programs.
AAAI Spring Symposia
Benjamin Zarrieß, Jens Claßen
2014 A conf
Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions.
ECAI
Benjamin Zarrieß, Jens Claßen
2013 — —
Planning and Verification in the agent language Golog.
Jens Claßen
2012 J jnl
Platas - Integrating Planning and the Action Language Golog.
Künstliche Intell.
Jens Claßen, Gabriele Röger, Gerhard Lakemeyer, Bernhard Nebel
2010 A conf
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs.
ECAI
Jens Claßen, Gerhard Lakemeyer
2008 A* conf
A Logic for Non-Terminating Golog Programs.
KR
Jens Claßen, Gerhard Lakemeyer
2007 A* conf
A Situation-Calculus Semantics for an Expressive Fragment of PDDL.
AAAI
Jens Claßen, Yuxiao Hu, Gerhard Lakemeyer
2007 A* conf
Towards an Integration of Golog and Planning.
IJCAI
Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel
2006 A* conf
Foundations for Knowledge-Based Programs using ES.
KR
Jens Claßen, Gerhard Lakemeyer