| A Logic for Non-Terminating Golog Programs. J Claßen, G Lakemeyer KR, 589-599, 2008 | 88 | 2008 |
| Towards an Integration of Golog and Planning J Claßen, P Eyerich, G Lakemeyer, B Nebel Proc. IJCAI 2007 7, 1846-1851, 2007 | 58 | 2007 |
| 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 | 36 | 2012 |
| Verification of knowledge-based programs over description logic actions B Zarrieß, J Claßen | 35 | 2015 |
| A situation-calculus semantics for an expressive fragment of PDDL J Claßen, Y Hu, G Lakemeyer AAAI 7, 956-961, 2007 | 32 | 2007 |
| Continual planning in Golog T Hofmann, T Niemueller, J Claßen, G Lakemeyer Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016 | 30 | 2016 |
| 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 | 29 | 2016 |
| 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 | 25 | 2014 |
| Planning and verification in the agent language Golog J Claßen RWTH Aachen University, 2013 | 23 | 2013 |
| 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 | 22 | 2006 |
| Verifying CTL* properties of Golog programs over local-effect actions B Zarrieß, J Claßen ECAI 2014, 939-944, 2014 | 21 | 2014 |
| Foundations for knowledge-based programs using ES J Claßen, G Lakemeyer KR, 318-328, 2006 | 21 | 2006 |
| 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 | 18 | 2006 |
| Symbolic Verification of Golog Programs with First-Order BDDs. J Claßen KR, 524-529, 2018 | 13 | 2018 |
| Integrating Golog and planning: An empirical evaluation J Claßen, V Engelmann, G Lakemeyer, G Röger Proc. NMR, 10-18, 2008 | 13 | 2008 |
| Decidable Verification of Decision-Theoretic Golog J Claßen, B Zarrieß Frontiers of Combining Systems: 11th International Symposium, FroCoS 2017 …, 2017 | 9 | 2017 |
| 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 | 8 | 2021 |
| On the verification of very expressive temporal properties of non-terminating Golog programs J Claßen, G Lakemeyer ECAI 2010, 887-892, 2010 | 8 | 2010 |
| On Decidable Verification of Non-terminating Golog Programs J Claßen, M Liebenberg, G Lakemeyer NRAC 2013, 2013 | 7 | 2013 |
| On the Decidability of Verifying LTL Properties of Golog Programs. B Zarrieß, J Claßen AAAI Spring Symposia, 2014 | 6 | 2014 |
Gerhard LakemeyerProfessor of Computer Science, RWTH Aachen UniversityVerified email at cs.rwth-aachen.de
