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), First, 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, LNAI, Springer
,1995, Automatisiertes Schließen über Kausalbeziehungen mit SLDENF-Resolution, DISKI, infix, St. Augustin
,Book Chapters
2022, 'Hidden Information General Game Playing with Deep Learning and Search', in , pp. 161 - 172, http://dx.doi.org/10.1007/978-3-031-20868-3_12
,, 2020, '19 Universelle Spielprogramme', in Görz G; Schmid U; Braun T (ed.), Handbuch der Künstlichen Intelligenz, De Gruyter, pp. 817 - 858, http://dx.doi.org/10.1515/9783110659948-019
2015, 'Simulation of action theories and an application to general game-playing robots', in Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, Springer Verlag, pp. 33 - 46, http://dx.doi.org/10.1007/978-3-319-14726-0_3
,2013, '17 Universelle Spielprogramme', in Görz G; Schneeberger J; Schmid U (ed.), Handbuch der Künstlichen Intelligenz, DE GRUYTER, pp. 613 - 650, http://dx.doi.org/10.1524/9783486719796.613
,2011, 'Translating General Game Descriptions into an Action Language', in Balduccinin M; Son T (ed.), , Springer, pp. 300 - 314
,2010, 'A Multiagent Semantics for the Game Description Language', in Filipe J; Fred A; Sharp B (ed.), , Springer, pp. 44 - 55
,2000, 'Nondeterministic Actions in the Fluent Calculus\/: Disjunctive State Update Axioms', in olldobler SH (ed.), Intellectics and Computational Logic, Kluwer Academic, pp. 327 - 345
,1998, 'Kognitive Robotik — Perspektiven und Grenzen der KI-Forschung', in Akademie der Wissenschaften und der Literatur M (ed.), Colloquia Academica, Franz Steiner Verlag, Stuttgart, pp. 41 - 54
,1996, 'Non-Classical Automated Deduction', in Albrecht R; Herre H (ed.), Trends in Theoretical Informatics, Oldenbourg, pp. 39 - 59
,Journal articles
2023, 'Online Learning and Planning in Cognitive Hierarchies.', CoRR, abs/2310.12386
,2021, 'Game description language and dynamic epistemic logic compared', Artificial Intelligence, 292, http://dx.doi.org/10.1016/j.artint.2020.103433
,2019, 'General game playing with imperfect information', Journal of Artificial Intelligence Research, 66, pp. 901 - 935, http://dx.doi.org/10.1613/jair.1.11844
,2015, 'A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence', AI MAGAZINE, 36, pp. 99 - 106, https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000361926600009&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
,2015, 'Representing and Reasoning about Game Strategies', Journal of Philosophical Logic, 44, pp. 203 - 236, http://dx.doi.org/10.1007/s10992-014-9334-6
,2014, 'Representing and Reasoning About the Rules of General Games With Imperfect Information', Journal of Artificial Intelligence Research, 49, pp. 171 - 206, http://dx.doi.org/10.1613/jair.4115
,2013, 'A general first-order solution to the ramification problem with cycles', JAPL, 11, pp. 289 - 308, http://dx.doi.org/10.1016/j.jal.2013.05.003
,2013, 'Logical-Epistemic Foundations of General Game Descriptions', Studia Logica, 102, pp. 321 - 338, http://dx.doi.org/10.1007/s11225-014-9547-2
,2012, 'A Language for Default Reasoning about Actions', Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz, 7265, pp. 527 - 542
,2012, 'Automated Verification of State Sequence Invariants in General Game Playing', AIJ, 187–188, pp. 1 - 30
,2011, 'Special Issue on General Game Playing', KI - Kunstliche Intelligenz, 25, pp. 5 - 7, http://dx.doi.org/10.1007/s13218-010-0084-5
,2011, 'A Unifying Action Calculus', AIJ, 175, pp. 120 - 141
,2011, 'ALPprolog - A new logic programming method for dynamic domains.', Theory Pract. Log. Program., 11, pp. 451 - 468
,2011, 'ALPprolog —A new logic programming method for dynamic domains', TPLP, 11, pp. 451 - 468
,2011, 'GDL-II', KI, 25, pp. 63 - 66
,2011, 'Knowledge-based general game playing', KI, 25, pp. 25 - 33
,2009, 'Specifying multiagent environments in the game description language', ICAART 2009 - Proceedings of the 1st International Conference on Agents and Artificial Intelligence, pp. 21 - 28
,2008, 'The IJCAI-09 WORKSHOP ON GENERAL GAME PLAYING', ICGA Journal, 31, pp. 254 - 254, http://dx.doi.org/10.3233/icg-2008-31414
,2008, 'Reinforcement Belief Revision', JLC, 18, pp. 783 - 813
,2007, 'Iterated Belief Revision, Revised', AIJ, 171, pp. 1 - 18
,, 2006, 'AAAI Workshop - Technical Report: Preface', AAAI Workshop - Technical Report, WS-06-03
, 2006, 'Reports on the Twenty-First National Conference on Artificial Intelligence (AAAI-06) workshop program', AI Magazine, 27, pp. 92 - 102
2006, 'General Game Playing', KI — K"unstliche Intelligenz, 4/06, pp. 37 - 39
,2006, 'Human-Inspired Robots', IEEE Intelligent Systems, 21, pp. 74 - 85, http://dx.doi.org/10.1109/MIS.2006.72
,2006, 'Human-Inspired Robots', IEEE Intelligent Systems, 21, pp. 75 - 85
,2006, 'Reports on the Twenty-First National Conference on Artificial Intelligence (AAAI-06) Workshop Program.', AI Mag., 27, pp. 92 - 102
,2005, 'Iterated belief revision, revised', 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2005
,2005, 'FLUX: A programming language for reasoning agents', Theory and Practice of Logic Programming, 5, pp. 533 - 565
,2005, 'FLUX\/: A Logic Programming Method for Reasoning Agents', TPLP, 5, pp. 533 - 565
,2005, 'Handling Implication and Universal Quantification Constraints in FLUX', CP, 3709, pp. 667 - 681
,2004, 'FLUX: A Logic Programming Method for Reasoning Agents', CoRR, cs.AI/0408044
,