| A Logic for Non-Terminating Golog Programs. J Claßen, G Lakemeyer KR, 589-599, 2008 | 64 | 2008 |
| Towards an Integration of Golog and Planning J Claßen, P Eyerich, G Lakemeyer, B Nebel Proc. IJCAI 2007 7, 1846-1851, 2007 | 50 | 2007 |
| A situation-calculus semantics for an expressive fragment of PDDL J Claßen, Y Hu, G Lakemeyer AAAI 7, 956-961, 2007 | 26 | 2007 |
| Platas—Integrating Planning and the Action Language Golog J Claßen, G Röger, G Lakemeyer, B Nebel KI-Künstliche Intelligenz 26 (1), 61-67, 2012 | 19 | 2012 |
| Continual planning in Golog T Hofmann, T Niemueller, J Claßen, G Lakemeyer Thirtieth AAAI Conference on Artificial Intelligence, 2016 | 18 | 2016 |
| 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 | 18 | 2006 |
| Foundations for knowledge-based programs using ES J Claßen, G Lakemeyer KR, 318-328, 2006 | 18 | 2006 |
| Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions. B Zarrieß, J Claßen ECAI, 939-944, 2014 | 13 | 2014 |
| 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 | 11 | 2006 |
| Planning and verification in the agent language Golog J Claßen RWTH Aachen University, 2013 | 10 | 2013 |
| Integrating Golog and planning: An empirical evaluation J Claßen, V Engelmann, G Lakemeyer, G Röger Non-Monotonic Reasoning Workshop. Sydney, Australia, 2008 | 9 | 2008 |
| Verification of knowledge-based programs over description logic actions B Zarrieß, J Claßen Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015 | 8 | 2015 |
| Exploring the boundaries of decidable verification of non-terminating Golog programs J Claßen, M Liebenberg, G Lakemeyer, B Zarrieß Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014 | 8 | 2014 |
| On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs. J Claßen, G Lakemeyer ECAI, 887-892, 2010 | 7 | 2010 |
| Decidable verification of Golog programs over non-local effect actions B Zarrieß, J Claßen Thirtieth AAAI Conference on Artificial Intelligence, 2016 | 6 | 2016 |
| Tractable first-order Golog with disjunctive knowledge bases J Claßen, G Lakemeyer Proc. Commonsense, 27-33, 2009 | 6 | 2009 |
| Symbolic verification of Golog programs with first-order BDDs J Claßen Sixteenth International Conference on Principles of Knowledge Representation …, 2018 | 4 | 2018 |
| On Decidable Verification of Non-terminating Golog Programs J Claßen, M Liebenberg, G Lakemeyer ECAI 2010, 2013 | 4 | 2013 |
| On the decidability of verifying LTL properties of Golog programs B Zarrieß, J Claßen 2014 AAAI Spring Symposium Series, 2014 | 3 | 2014 |
| Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing⋆ B Zarrieß, J Claßen endeavour 6, 15, 2015 | 2 | 2015 |
Gerhard LakemeyerProfessor of Computer Science, RWTH Aachen UniversityBestätigte E-Mail-Adresse bei cs.rwth-aachen.de
