Follow
Jens Claßen
Title
Cited by
Cited by
Year
A Logic for Non-Terminating Golog Programs.
J Claßen, G Lakemeyer
KR, 589-599, 2008
842008
Towards an Integration of Golog and Planning
J Claßen, P Eyerich, G Lakemeyer, B Nebel
Proc. IJCAI 2007 7, 1846-1851, 2007
572007
A situation-calculus semantics for an expressive fragment of PDDL
J Claßen, Y Hu, G Lakemeyer
AAAI 7, 956-961, 2007
322007
Verification of knowledge-based programs over description logic actions
B Zarrieß, J Claßen
312015
Platas—Integrating Planning and the Action Language Golog
J Claßen, G Röger, G Lakemeyer, B Nebel
KI-Künstliche Intelligenz 26, 61-67, 2012
302012
Continual planning in Golog
T Hofmann, T Niemueller, J Claßen, G Lakemeyer
Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016
292016
Decidable verification of Golog programs over non-local effect actions
B Zarrieß, J Claßen
Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016
212016
Exploring the boundaries of decidable verification of non-terminating Golog programs
J Claßen, M Liebenberg, G Lakemeyer, B Zarrieß
Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014
212014
Planning and verification in the agent language Golog
J Claßen
RWTH Aachen University, 2013
212013
Foundations for knowledge-based programs using ES
J Claßen, G Lakemeyer
KR, 318-328, 2006
212006
GOLOG and PDDL: What is the Relative Expressiveness?
P Eyerich, B Nebel, G Lakemeyer, J Claßen
Proceedings of the 2006 international symposium on Practical cognitive …, 2006
202006
Verifying CTL* properties of Golog programs over local-effect actions
B Zarrieß, J Claßen
ECAI 2014, 939-944, 2014
182014
A Semantics for ADL as Progression in the Situation Calculus
J Claßen, G Lakemeyer
Proceedings of the 11th Workshop on Nonmonotonic Reasoning, 334, 2006
182006
Integrating Golog and planning: An empirical evaluation
J Claßen, V Engelmann, G Lakemeyer, G Röger
Proc. NMR, 10-18, 2008
122008
Symbolic verification of Golog programs with first-order BDDs
J Claßen
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
92018
On Decidable Verification of Non-terminating Golog Programs
J Claßen, M Liebenberg, G Lakemeyer
NRAC 2013, 2013
72013
On the verification of very expressive temporal properties of non-terminating Golog programs
J Claßen, G Lakemeyer
ECAI 2010, 887-892, 2010
72010
Tractable first-order Golog with disjunctive knowledge bases
J Claßen, G Lakemeyer
Proc. Commonsense, 27-33, 2009
62009
Decidable Verification of Decision-Theoretic Golog
J Claßen, B Zarrieß
Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017 …, 2017
52017
An Account of Intensional and Extensional Actions, and its Application to Belief, Nondeterministic Actions and Fallible Sensors
J Claßen, JP Delgrande
Proceedings of the International Conference on Principles of Knowledge …, 2021
42021
The system can't perform the operation now. Try again later.
Articles 1–20