Select Publications
Books
2017, Preface
,2016, Preface
,2014, General Game Playing, Morgan & Claypool, http://dx.doi.org/10.2200/S00564ED1V01Y201311AIM024
,2014, General Game Playing, Springer International Publishing, http://dx.doi.org/10.1007/978-3-031-01569-4
,2008, Action Programming Languages, Morgan & Claypool
,2008, ACTION PROGRAMMING LANGUAGES, Springer International Publishing, http://dx.doi.org/10.1007/978-3-031-01547-2
,2005, Reasoning Robots: The Art and Science of Programming Robotic Agents (vol. 33 of Applied Logic Series), Springer, The Netherlands
,2000, Challenges for Action Theories, Springer Berlin Heidelberg, http://dx.doi.org/10.1007/3-540-45596-5
,2000, Challenges for Action Theories\/: Solving the Ramification and Qualification Problem, Springer
,1995, Automatisiertes Schließen über Kausalbeziehungen mit SLDENF-Resolution, infix, St. Augustin
,