Till Hofmann and Jens Claßen:
Strategy Synthesis for First-Order Agent Programs over Finite Traces.
In Proceedings of the 35th Nordic Workshop on Programming Theory (NWPT 2024), pages 39-42, 2024.
PDFBibTeX
Till Hofmann and Jens Claßen:
LTLf Synthesis on First-Order Action Theories.
In CoRR, Volume abs/2410.00726, 2024.
PDFBibTeXDOI
Daxin Liu and Jens Claßen:
First-Order Progression beyond Local-Effect and Normal Actions.
In Proceedings of the 33rd International Joint Conference on Artificial Intelligence (IJCAI 2024), pages 3475-3483, ijcai.org, 2024.
PDFBibTeXDOI
Jens Claßen and James P. Delgrande:
Projection of Belief in the Presence of Nondeterministic Actions and Fallible Sensing.
In Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning (KR 2022), pages 400-404, ijcai.org, 2022.
PDFBibTeXDOI
Jens Claßen and James P. Delgrande:
Towards a Temporal Account of Contrary-to-Duty Constraints over Complex Actions in the Situation Calculus.
In Proceedings of the 19th International Workshop on Nonmonotonic Reasoning (NMR 2021), pages 81-90, 2021.
PDFBibTeX
Jens Claßen and James Delgrande:
An Account of Intensional and Extensional Actions, and its Application to Belief, Nondeterministic Actions, and Fallible Sensors.
In Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), pages 194-204, ijcai.org, 2021.
PDFBibTeXDOI
Jens Claßen and James Delgrande:
Dyadic Obligations over Complex Actions as Deontic Constraints in the Situation Calculus.
In Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), pages 253-263, ijcai.org, 2020.
PDFBibTeXDOI
Jens Claßen, Gerhard Lakemeyer, and Benjamin Zarrieß:
Situation Calculus Meets Description Logics.
In Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, Lecture Notes in Computer Science vol. 11560, pages 240-265, Springer, 2019.
PDFBibTeXDOI
Jens Claßen:
Symbolic Verification of Golog Programs with First-Order BDDs.
In Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), pages 524-528, AAAI Press, 2018.
PDFBibTeX
Denis Golovin, Jens Claßen, and Christoph Schwering:
Reasoning about Conditional Beliefs for the Winograd Schema Challenge.
In Proceedings of the 13th International Symposium on Commonsense Reasoning (Commonsense 2017), CEUR-WS.org, 2017.
PDFBibTeX
Jens Claßen and Benjamin Zarrieß:
Decidable Verification of Decision-Theoretic Golog.
In Proceedings of the Eleventh International Symposium on Frontiers of Combining Systems (FroCoS 2017), pages 227-243, Springer, 2017.
PDFBibTeXDOI
Gesche Gierse, Tim Niemueller, Jens Claßen, and Gerhard Lakemeyer:
Interruptible Task Execution with Resumption in Golog.
In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), pages 1265-1273, IOS Press, 2016.
PDFBibTeXDOI
Jens Claßen and Malte Neuss:
Knowledge-Based Programs with Defaults in a Modal Situation Calculus.
In Proceedings of the 22nd European Conference on Artificial Intelligence (ECAI 2016), pages 1309-1317, IOS Press, 2016.
PDFBibTeXDOI
Till Hofmann, Tim Niemueller, Jens Claßen, and Gerhard Lakemeyer:
Continual Planning in Golog.
In Proceedings of the 13th AAAI Conference on Artificial Intelligence (AAAI 2016), pages 3346-3353, AAAI Press, 2016.
PDFBibTeX
Benjamin Zarrieß and Jens Claßen:
Decidable Verification of Golog Programs over Non-Local Effect Actions.
In Proceedings of the 13th AAAI Conference on Artificial Intelligence (AAAI 2016), pages 1109-1115, AAAI Press, 2016.
PDFBibTeX
Benjamin Zarrieß and Jens Claßen:
Verification of Knowledge-Based Programs over Description Logic Actions.
In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), pages 3278-3284, AAAI Press, 2015.
PDFBibTeX
Benjamin Zarrieß and Jens Claßen:
Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing.
In Proceedings of the 28th International Workshop on Description Logics (DL 2015), CEUR-WS.org, 2015.
PDFBibTeX
Benjamin Zarrieß and Jens Claßen:
Verifying CTL* Properties of Golog Programs over Local-Effect Actions.
In Proceedings of the 21st European Conference on Artificial Intelligence (ECAI 2014), pages 939-944, IOS Press, 2014.
PDFBibTeX
Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, and Benjamin Zarrieß:
Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs.
In Proceedings of the 28thth AAAI Conference on Artificial Intelligence (AAAI 2014), pages 1012-1019, AAAI Press, 2014.
PDFBibTeX
Benjamin Zarrieß and Jens Claßen:
On the Decidability of Verifying LTL Properties of Golog Programs.
In Proceedings of the AAAI 2014 Spring Symposium: Knowledge Representation and Reasoning in Robotics (KRR'14), AAAI Press, 2014.
PDFBibTeX
Jens Claßen:
Planning and Verification in the Agent Language Golog.
PhD Thesis, Department of Computer Science, RWTH Aachen University, 2013.
RWTH Aachen University Electronic LibraryBibTeX
Jens Claßen, Martin Liebenberg, and Gerhard Lakemeyer:
On Decidable Verification of Non-terminating Golog Programs.
In Proceedings of the Tenth International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2013), pages 13-20, 2013.
PDFBibTeX
Jens Claßen, Gabriele Röger, Gerhard Lakemeyer, and Bernhard Nebel:
PLATAS - Integrating Planning and the Action Language Golog.
In KI - Künstliche Intelligenz, Volume 26, Number 1, pages 61-67, Springer, 2012.
PDFBibTeXDOI
Jens Claßen and Gerhard Lakemeyer:
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs.
In Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), pages 887-892, IOS Press, 2010.
PDFBibTeXDOI
Jens Claßen and Gerhard Lakemeyer:
Tractable First-Order Golog with Disjunctive Knowledge Bases.
In Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2009), pages 27-33, UTSePress, 2009.
PDFBibTeX
Jens Claßen and Gerhard Lakemeyer:
A Logic for Non-Terminating Golog Programs.
In Proceedings of the 11th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008), pages 589-599, AAAI Press, 2008.
PDFBibTeX
Jens Claßen, Viktor Engelmann, Gerhard Lakemeyer, and Gabriele Röger:
Integrating Golog and Planning: An Empirical Evaluation.
In Proceedings of the 12th International Workshop on Nonmonotonic Reasoning (NMR 2008), pages 10-18, 2008.
PDFBibTeX
Jens Claßen, Yuxiao Hu, and Gerhard Lakemeyer:
A Situation-Calculus Semantics for an Expressive Fragment of PDDL.
In Proceedings of the 22nd Conference on Artificial Intelligence (AAAI 2007), pages 956-961, AAAI Press, 2007.
PDFBibTeX
Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer, and Bernhard Nebel:
Towards an Integration of Golog and Planning.
In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007), pages 1846-1851, AAAI Press, 2007.
PDFBibTeX
Patrick Eyerich, Bernhard Nebel, Gerhard Lakemeyer, and Jens Claßen:
Golog and PDDL: What is the Relative Expressiveness?.
In Proceedings of the 2006 International Symposium on Practical Cognitive Agents and Robots (PCAR 2006), pages 93-104, University of Western Australia Press, 2006.
PDFBibTeXDOI
Jens Claßen and Gerhard Lakemeyer:
A Semantics for ADL as Progression in the Situation Calculus.
In Proceedings of the Eleventh Workshop on Nonmonotonic Reasoning (NMR 2006), pages 334-341, Institut für Informatik, TU Clausthal, 2006.
PDFBibTeX
Jens Claßen and Gerhard Lakemeyer:
Foundations for Knowledge-Based Programs using ES.
In Proceedings of the Tenth Conference on Principles of Knowledge Representation and Reasoning (KR 2006), pages 318-328, AAAI Press, 2006.
PDFBibTeX