| A Logic for Non-Terminating Golog Programs. J Claßen, G Lakemeyer KR, 589-599, 2008 | 69 | 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 |
| Continual planning in Golog T Hofmann, T Niemueller, J Claßen, G Lakemeyer Proceedings of the AAAI Conference on Artificial Intelligence 30 (1), 2016 | 21 | 2016 |
| 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 | 21 | 2012 |
| Foundations for knowledge-based programs using ES J Claßen, G Lakemeyer KR, 318-328, 2006 | 19 | 2006 |
| 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 |
| Verification of Knowledge-Based Programs over Description Logic Actions. B Zarrieß, J Claßen IJCAI, 3278-3284, 2015 | 15 | 2015 |
| Verifying CTL* Properties of GOLOG Programs over Local-Effect Actions. B Zarrieß, J Claßen ECAI, 939-944, 2014 | 15 | 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 | 12 | 2006 |
| Planning and verification in the agent language Golog J Claßen RWTH Aachen University, 2013 | 11 | 2013 |
| 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 | 9 | 2014 |
| 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 |
| 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 | 8 | 2016 |
| On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs. J Claßen, G Lakemeyer ECAI, 887-892, 2010 | 7 | 2010 |
| 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 KR, 524-529, 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 AAAI Spring Symposia, 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
