Select Publications

Books

Cazenave T; Winands MHM; Edelkamp S; Schiffel S; Thielscher M; Togelius J, 2017, Preface

Cazenave T; Winands MHM; Edelkamp S; Schiffel S; Thielscher M; Togelius J, 2016, Preface

Genesereth M; Thielscher M, 2014, General Game Playing, Morgan & Claypool, http://dx.doi.org/10.2200/S00564ED1V01Y201311AIM024

Thielscher M, 2008, Action Programming Languages, Synthesis Lectures on Artificial Intelligence and Machine Le, Morgan & Claypool

Thielscher M, 2005, Reasoning Robots: The Art and Science of Programming Robotic Agents (vol. 33 of Applied Logic Series), First, Springer, The Netherlands

Thielscher M, 2000, Challenges for Action Theories, Lecture Notes in Computer Science, Springer Berlin Heidelberg, http://dx.doi.org/10.1007/3-540-45596-5

Thielscher M, 2000, Challenges for Action Theories\/: Solving the Ramification and Qualification Problem, LNAI, Springer

Thielscher M, 1995, Automatisiertes Schließen über Kausalbeziehungen mit SLDENF-Resolution, DISKI, infix, St. Augustin

Book Chapters

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

Thielscher M, 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

Thielscher M, 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

Thielscher M, 2011, 'Translating General Game Descriptions into an Action Language', in Balduccinin M; Son T (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, pp. 300 - 314, http://dx.doi.org/10.1007/978-3-642-20832-4_19

Schiffel S; Thielscher M, 2010, 'A Multiagent Semantics for the Game Description Language', in Filipe J; Fred A; Sharp B (ed.), Communications in Computer and Information Science, Springer, pp. 44 - 55, http://dx.doi.org/10.1007/978-3-642-11819-7_4

Thielscher M, 2000, 'Nondeterministic Actions in the Fluent Calculus\/: Disjunctive State Update Axioms', in olldobler SH (ed.), Intellectics and Computational Logic, Kluwer Academic, pp. 327 - 345

Thielscher M, 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

Bibel W; Thielscher M, 1996, 'Non-Classical Automated Deduction', in Albrecht R; Herre H (ed.), Trends in Theoretical Informatics, Oldenbourg, pp. 39 - 59

Journal articles

Engesser T; Mattmüller R; Nebel B; Thielscher M, 2021, 'Game description language and dynamic epistemic logic compared', Artificial Intelligence, vol. 292, http://dx.doi.org/10.1016/j.artint.2020.103433

Schofield M; Thielscher M, 2019, 'General game playing with imperfect information', Journal of Artificial Intelligence Research, vol. 66, pp. 901 - 935, http://dx.doi.org/10.1613/jair.1.11844

Bonet B; Cavazza M; desJardins M; Felner A; Hawes N; Knox B; Konidaris G; Lang J; Linares Lopez C; Magazzeni D; McGovern A; Natarajan S; Sturtevant NR; Thielscher M; Yeoh W; Sardina S; Wagstaff K, 2015, 'A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence', AI MAGAZINE, vol. 36, pp. 99 - 106, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000361926600009&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1

Zhang D; Thielscher M, 2015, 'Representing and Reasoning about Game Strategies', Journal of Philosophical Logic, vol. 44, pp. 203 - 236, http://dx.doi.org/10.1007/s10992-014-9334-6

Schiffel M; Thielscher M, 2014, 'Representing and Reasoning About the Rules of General Games With Imperfect Information', Journal of Artificial Intelligence Research, vol. 49, pp. 171 - 206, http://dx.doi.org/10.1613/jair.4115

Strass H; Thielscher M, 2013, 'A general first-order solution to the ramification problem with cycles', JAPL, vol. 11, pp. 289 - 308, http://dx.doi.org/10.1016/j.jal.2013.05.003

Thielscher M; Ruan J, 2013, 'Logical-Epistemic Foundations of General Game Descriptions', Studia Logica, vol. 102, pp. 321 - 338, http://dx.doi.org/10.1007/s11225-014-9547-2

Strass H; Thielscher M, 2012, 'A Language for Default Reasoning about Actions', Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz, vol. 7265, pp. 527 - 542, http://dx.doi.org/10.1007/978-3-642-30743-0_36

Haufe S; Schiffel S; Thielscher M, 2012, 'Automated Verification of State Sequence Invariants in General Game Playing', AIJ, vol. 187–188, pp. 1 - 30, http://dx.doi.org/10.1016/j.artint.2012.04.003

Thielscher M, 2011, 'Special Issue on General Game Playing', KI - Kunstliche Intelligenz, vol. 25, pp. 5 - 7, http://dx.doi.org/10.1007/s13218-010-0084-5

Thielscher M, 2011, 'A Unifying Action Calculus', AIJ, vol. 175, pp. 120 - 141, http://dx.doi.org/10.1016/j.artint.2010.04.010

Drescher C; Thielscher M, 2011, 'ALPprolog - A new logic programming method for dynamic domains.', Theory Pract. Log. Program., vol. 11, pp. 451 - 468, http://dx.doi.org/10.1017/S1471068411000111

Drescher C; Thielscher M, 2011, 'ALPprolog —A new logic programming method for dynamic domains', TPLP, vol. 11, pp. 451 - 468, http://dx.doi.org/10.1017/S1471068411000111

Thielscher M, 2011, 'GDL-II', KI, vol. 25, pp. 63 - 66, http://dx.doi.org/10.1007/s13218-010-0076-5

Haufe S; Michulke D; Schiffel S; Thielscher M, 2011, 'Knowledge-based general game playing', KI, vol. 25, pp. 25 - 33, http://dx.doi.org/10.1007/s13218-010-0073-8

Schiffel S; Thielscher M, 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

Björnsson Y; Thielscher M, 2008, 'The IJCAI-09 WORKSHOP ON GENERAL GAME PLAYING', ICGA Journal, vol. 31, pp. 254 - 254, http://dx.doi.org/10.3233/icg-2008-31414

Jin Y; Thielscher M, 2008, 'Reinforcement Belief Revision', JLC, vol. 18, pp. 783 - 813, http://dx.doi.org/10.1093/logcom/exm094

Jin Y; Thielscher M, 2007, 'Iterated Belief Revision, Revised', AIJ, vol. 171, pp. 1 - 18, http://dx.doi.org/10.1016/j.artint.2006.11.002

Beetz M; Rajan K; Thielscher M; Rusu RB, 2006, 'AAAI Workshop - Technical Report: Preface', AAAI Workshop - Technical Report, vol. WS-06-03

Achtner W; Aimeur E; Anand SS; Appelt D; Ashish N; Barnes T; Beck JE; Beetz M; Dias MB; Doshi P; Drummond C; Elazmeh W; Felner A; Freitag D; Geffner H; Geib CW; Goodwin R; Holte RC; Hutter F; Isaac F; Japkowicz N; Kaminka GA; Koenig S; Lagoudakis MG; Leake D; Lewis L; Liu H; Metzler T; Mihalcea R; Mobasher B; Poupart P; Pynadath DV; Rajan K; Roth-Berghofer T; Ruml W; Rusu RB; Schulz S; Schwarz S; Seneff S; Sheth A; Sun R; Thielscher M; Upal A; Williams J; Young S; Zelenko D, 2006, 'Reports on the Twenty-First National Conference on Artificial Intelligence (AAAI-06) workshop program', AI Magazine, vol. 27, pp. 92 - 102

Thielscher M, 2006, 'General Game Playing', KI — K"unstliche Intelligenz, vol. 4/06, pp. 37 - 39

Coradeschi S; Ishiguro H; Asada M; Shapiro S; Thielscher M; Breazeal C; Mataric M; Ishida H, 2006, 'Human-Inspired Robots', IEEE Intelligent Systems, vol. 21, pp. 74 - 85, http://dx.doi.org/10.1109/MIS.2006.72

Coradeschi S; Ishiguro H; Asada M; Shapiro S; Thielscher M; Breazeal C; Matarić M; Ishida H, 2006, 'Human-Inspired Robots', IEEE Intelligent Systems, vol. 21, pp. 75 - 85

Achtner W; Aïmeur E; Anand SS; Appelt D; Ashish N; Barnes T; Beck JE; Dias MB; Doshi P; Drummond C; Elazmeh W; Felner A; Freitag D; Geffner H; Geib CW; Goodwin R; Holte RC; Hutter F; Isaac F; Japkowicz N; Kaminka GA; Koenig S; Lagoudakis MG; Leake DB; Lewis L; Liu H; Metzler T; Mihalcea R; Mobasher B; Poupart P; Pynadath DV; Roth-Berghofer T; Ruml W; Schulz S; Schwarz S; Seneff S; Sheth AP; Sun R; Thielscher M; Upal A; Williams JD; Young SJ; Zelenko D, 2006, 'Reports on the Twenty-First National Conference on Artificial Intelligence (AAAI-06) Workshop Program.', AI Mag., vol. 27, pp. 92 - 102, http://dx.doi.org/10.1609/aimag.v27i4.1912

Jin Y; Thielscher M, 2005, 'Iterated belief revision, revised', 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2005

Thielscher M, 2005, 'FLUX: A programming language for reasoning agents', Theory and Practice of Logic Programming, vol. 5, pp. 533 - 565

Thielscher M, 2005, 'FLUX\/: A Logic Programming Method for Reasoning Agents', TPLP, vol. 5, pp. 533 - 565, http://dx.doi.org/10.1017/S1471068405002358

Thielscher M, 2005, 'Handling Implication and Universal Quantification Constraints in FLUX', CP, vol. 3709, pp. 667 - 681, http://dx.doi.org/10.1007/11564751_49

Thielscher M, 2004, 'FLUX: A Logic Programming Method for Reasoning Agents', CoRR, vol. cs.AI/0408044

Fichtner M; Großmann A; Thielscher M, 2003, 'Intelligent Execution Monitoring in Dynamic Environments', FI, vol. 57, pp. 371 - 392

Thielscher M, 2001, 'The Concurrent, Continuous Fluent Calculus', Studia Logica, vol. 67, pp. 315 - 331, http://dx.doi.org/10.1023/A:1010558931274

Thielscher M, 2001, 'The Qualification Problem\/: A Solution to the Problem of Anomalous Models', AIJ, vol. 131, pp. 1 - 37, http://dx.doi.org/10.1016/S0004-3702(01)00131-X

Gabbay DM; Nossum R; Thielscher M, 1999, 'Agents in Proactive Environments', JLC, vol. 9, pp. 25 - 45


Back to profile page