¶¶Òõ¶ÌÊÓƵ
Back to
Professor Michael Thielscher

Professor Michael Thielscher

Future Fellow (ARC)
Engineering
Computer Science and Engineering

Professor Michael Thielscher is a Professor at the School of Computer Science and Engineering. He has been named the highest ranked scholar (lifetime) in Artificial Intelligence in Australia (and 48th in the world) by ScholarGPS. He received his postgraduate diploma in 1992 and his Ph.D. in Computer Science in 1994, both with distinction, from Darmstadt University. He then joined Dresden University, where he was an Associate Professor before he moved to his present position. His Habilitation thesis was honoured with the Award for Research Excellence by the alumni of Darmstadt University in 1998, and in 2009 he won a Future Fellowship Award from the Australian Research Council. He is the author of over 200 refereed papers and five books, and he has co-authored the award winning FluxPlayer system, which in 2006 was crowned the World Champion at the AAAI General Game Playing Competition. He will be the Program Chair for . He was President of from 2020 to 2022 and has been the General Chair for  and a Program Co-Chair for ,Ìý,Ìý.

His research interests include:

  • Artificial General Intelligence
  • Cognitive Robotics
  • General Game Playing
  • Knowledge Representation
  • Intelligent Agents
Phone
+61 2 9385 7129
E-mail
m.thielscher@unsw.edu.au
Location
Office 609 Building K17
  • Books | 2017
    Cazenave T; Winands MHM; Edelkamp S; Schiffel S; Thielscher M; Togelius J, 2017, Preface
    Books | 2016
    Cazenave T; Winands MHM; Edelkamp S; Schiffel S; Thielscher M; Togelius J, 2016, Preface
    Books | 2014
    Genesereth M; Thielscher M, 2014, General Game Playing, Morgan & Claypool,
    Books | 2014
    Genesereth M; Thielscher M, 2014, General Game Playing, Springer International Publishing,
    Books | 2008
    Thielscher M, 2008, ACTION PROGRAMMING LANGUAGES, Springer International Publishing,
    Books | 2008
    Thielscher M, 2008, Action Programming Languages, Morgan & Claypool
    Books | 2005
    Thielscher M, 2005, Reasoning Robots: The Art and Science of Programming Robotic Agents (vol. 33 of Applied Logic Series), First, Springer, The Netherlands
    Books | 2000
    Thielscher M, 2000, Challenges for Action Theories, Springer Berlin Heidelberg,
    Books | 2000
    Thielscher M, 2000, Challenges for Action Theories\/: Solving the Ramification and Qualification Problem, LNAI, Springer
    Books | 1995
    Thielscher M, 1995, Automatisiertes Schließen über Kausalbeziehungen mit SLDENF-Resolution, DISKI, infix, St. Augustin
  • Book Chapters | 2022
    Partridge Z; Thielscher M, 2022, 'Hidden Information General Game Playing with Deep Learning and Search', in , pp. 161 - 172,
    Book Chapters | 2020
    , 2020, '19 Universelle Spielprogramme', in Görz G; Schmid U; Braun T (ed.), Handbuch der Künstlichen Intelligenz, De Gruyter, pp. 817 - 858,
    Book Chapters | 2015
    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,
    Book Chapters | 2013
    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,
    Book Chapters | 2011
    Thielscher M, 2011, 'Translating General Game Descriptions into an Action Language', in Balduccinin M; Son T (ed.), , Springer, pp. 300 - 314
    Book Chapters | 2010
    Schiffel S; Thielscher M, 2010, 'A Multiagent Semantics for the Game Description Language', in Filipe J; Fred A; Sharp B (ed.), , Springer, pp. 44 - 55
    Book Chapters | 2000
    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
    Book Chapters | 1998
    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
    Book Chapters | 1996
    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 | 2023
    Hengst B; Pagnucco M; Rajaratnam D; Sammut C; Thielscher M, 2023, 'Online Learning and Planning in Cognitive Hierarchies.', CoRR, abs/2310.12386
    Journal articles | 2021
    Engesser T; Mattmüller R; Nebel B; Thielscher M, 2021, 'Game description language and dynamic epistemic logic compared', Artificial Intelligence, 292,
    Journal articles | 2019
    Schofield M; Thielscher M, 2019, 'General game playing with imperfect information', Journal of Artificial Intelligence Research, 66, pp. 901 - 935,
    Journal articles | 2015
    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, 36, pp. 99 - 106,
    Journal articles | 2015
    Zhang D; Thielscher M, 2015, 'Representing and Reasoning about Game Strategies', Journal of Philosophical Logic, 44, pp. 203 - 236,
    Journal articles | 2014
    Schiffel M; Thielscher M, 2014, 'Representing and Reasoning About the Rules of General Games With Imperfect Information', Journal of Artificial Intelligence Research, 49, pp. 171 - 206,
    Journal articles | 2013
    Strass H; Thielscher M, 2013, 'A general first-order solution to the ramification problem with cycles', JAPL, 11, pp. 289 - 308,
    Journal articles | 2013
    Thielscher M; Ruan J, 2013, 'Logical-Epistemic Foundations of General Game Descriptions', Studia Logica, 102, pp. 321 - 338,
    Journal articles | 2012
    Haufe S; Schiffel S; Thielscher M, 2012, 'Automated Verification of State Sequence Invariants in General Game Playing', AIJ, 187–188, pp. 1 - 30
    Journal articles | 2012
    Strass H; Thielscher M, 2012, 'A Language for Default Reasoning about Actions', Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz, 7265, pp. 527 - 542
    Journal articles | 2011
    Drescher C; Thielscher M, 2011, 'ALPprolog - A new logic programming method for dynamic domains.', Theory Pract. Log. Program., 11, pp. 451 - 468,
    Journal articles | 2011
    Drescher C; Thielscher M, 2011, 'ALPprolog —A new logic programming method for dynamic domains', TPLP, 11, pp. 451 - 468
    Journal articles | 2011
    Haufe S; Michulke D; Schiffel S; Thielscher M, 2011, 'Knowledge-based general game playing', KI, 25, pp. 25 - 33
    Journal articles | 2011
    Thielscher M, 2011, 'A Unifying Action Calculus', AIJ, 175, pp. 120 - 141
    Journal articles | 2011
    Thielscher M, 2011, 'GDL-II', KI, 25, pp. 63 - 66
    Journal articles | 2011
    Thielscher M, 2011, 'Special Issue on General Game Playing', KI - Kunstliche Intelligenz, 25, pp. 5 - 7,
    Journal articles | 2009
    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
    Journal articles | 2008
    Björnsson Y; Thielscher M, 2008, 'The IJCAI-09 WORKSHOP ON GENERAL GAME PLAYING', ICGA Journal, 31, pp. 254 - 254,
    Journal articles | 2008
    Jin Y; Thielscher M, 2008, 'Reinforcement Belief Revision', JLC, 18, pp. 783 - 813
    Journal articles | 2007
    Jin Y; Thielscher M, 2007, 'Iterated Belief Revision, Revised', AIJ, 171, pp. 1 - 18
    Journal articles | 2006
    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, 27, pp. 92 - 102
    Journal articles | 2006
    Achtner W; Aïmeur E; Anand SS; Appelt DE; 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., 27, pp. 92 - 102
    Journal articles | 2006
    Beetz M; Rajan K; Thielscher M; Rusu RB, 2006, 'AAAI Workshop - Technical Report: Preface', AAAI Workshop - Technical Report, WS-06-03
    Journal articles | 2006
    Coradeschi S; Ishiguro H; Asada M; Shapiro S; Thielscher M; Breazeal C; Mataric M; Ishida H, 2006, 'Human-Inspired Robots', IEEE Intelligent Systems, 21, pp. 74 - 85,
    Journal articles | 2006
    Coradeschi S; Ishiguro H; Asada M; Shapiro S; Thielscher M; Breazeal C; Matarić M; Ishida H, 2006, 'Human-Inspired Robots', IEEE Intelligent Systems, 21, pp. 75 - 85
    Journal articles | 2006
    Thielscher M, 2006, 'General Game Playing', KI — K"unstliche Intelligenz, 4/06, pp. 37 - 39
    Journal articles | 2005
    Jin Y; Thielscher M, 2005, 'Iterated belief revision, revised', 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2005
    Journal articles | 2005
    Thielscher M, 2005, 'FLUX: A programming language for reasoning agents', Theory and Practice of Logic Programming, 5, pp. 533 - 565
    Journal articles | 2005
    Thielscher M, 2005, 'FLUX\/: A Logic Programming Method for Reasoning Agents', TPLP, 5, pp. 533 - 565
    Journal articles | 2005
    Thielscher M, 2005, 'Handling Implication and Universal Quantification Constraints in FLUX', CP, 3709, pp. 667 - 681
    Journal articles | 2004
    Thielscher M, 2004, 'FLUX: A Logic Programming Method for Reasoning Agents', CoRR, cs.AI/0408044
    Journal articles | 2003
    Fichtner M; Großmann A; Thielscher M, 2003, 'Intelligent Execution Monitoring in Dynamic Environments', FI, 57, pp. 371 - 392
    Journal articles | 2001
    Thielscher M, 2001, 'The Concurrent, Continuous Fluent Calculus', Studia Logica, 67, pp. 315 - 331
    Journal articles | 2001
    Thielscher M, 2001, 'The Qualification Problem\/: A Solution to the Problem of Anomalous Models', AIJ, 131, pp. 1 - 37
    Journal articles | 1999
    Gabbay DM; Nossum R; Thielscher M, 1999, 'Agents in Proactive Environments', JLC, 9, pp. 25 - 45
    Journal articles | 1999
    Thielscher M, 1999, 'Fluent Calculus Planning with Continuous Change', ETAI
    Journal articles | 1999
    Thielscher M, 1999, 'From Situation Calculus to Fluent Calculus\/: State Update Axioms as a Solution to the Inferential Frame Problem', AIJ, 111, pp. 277 - 299
    Journal articles | 1998
    Thielscher M, 1998, 'Introduction to the Fluent Calculus', ETAI, 2, pp. 179 - 192
    Journal articles | 1998
    Thielscher M, 1998, 'Kognitive Robotik — Perspektiven und Grenzen der "Künstlichen Intelligenz"-Forschung', Akademie-Journal, 2/98, pp. 41 - 45
    Journal articles | 1998
    Thielscher M, 1998, 'Reasoning About Actions\/: Steady Versus Stabilizing State Constraints', AIJ, 104, pp. 339 - 355
    Journal articles | 1997
    Gabbay D; Nossum R; Thielscher M, 1997, 'Agents in Proactive Environments',
    Journal articles | 1997
    Thielscher M, 1997, 'A Theory of Dynamic Diagnosis', ETAI, 1, pp. 73 - 104
    Journal articles | 1997
    Thielscher M, 1997, 'A Theory of Dynamic Diagnosis. Electronic Transactions on Artificial Intelligence.', Electron. Trans. Artif. Intell., 1, pp. 73 - 104
    Journal articles | 1997
    Thielscher M, 1997, 'Ramification and Causality', AIJ, 89, pp. 317 - 364
    Journal articles | 1996
    Bornscheuer S-E; Thielscher M, 1996, 'Representing Concurrent Actions and Solving Conflicts', IGPL, 4, pp. 355 - 368
    Journal articles | 1996
    Bornsheuer S-E; Thielscher M, 1996, 'Explicit and Implicit Indeterminism\/: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems',
    Journal articles | 1996
    Thielscher M, 1996, 'Ramification and Causality',
    Journal articles | 1995
    Thielscher M; Schaub T, 1995, 'Default Reasoning by Deductive Planning', JAR, 15, pp. 1 - 40
    Journal articles | 1995
    olldobler SH; Thielscher M, 1995, 'Computing Change and Specificity with Equational Logic Programs', AMAI, 14, pp. 99 - 133
    Journal articles | 1994
    Thielscher M, 1994, 'On the Completeness of SLDENF-Resolution',
    Journal articles | 1993
    Bruning S; Thielscher M; Bibel W, 1993, 'Comment on Ammon’s Note', AIJ, 64, pp. 353 - 354
    Journal articles | 1993
    Brüning S; Thielscher M; Bibel W, 1993, 'Letter to the editor', Artificial Intelligence, 64, pp. 353 - 354,
    Journal articles | 1993
    Thielscher M, 1993, 'On prediction in Theorist', AIJ, 60, pp. 283 - 292
  • Working Papers | 2019
    Hengst B; Pagnucco M; Rajaratnam D; Sammut C; Thielscher M, 2019, Perceptual Context in Cognitive Hierarchies,
  • Conference Papers | 2024
    He Y; Mittelmann M; Murano A; Saffidine A; Thielscher M, 2024, 'Verification of General Games with Imperfect Information Using Strategy Logic', in Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning, International Joint Conferences on Artificial Intelligence Organization, pp. 420 - 430, presented at 21st International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}, 01 November 2024 - 08 November 2024,
    Conference Papers | 2024
    He Y; Saffidine A; Thielscher M, 2024, 'Solving Two-player Games with QBF Solvers in General Game Playing', in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, pp. 807 - 815
    Conference Papers | 2024
    Ji J; Thielscher M, 2024, 'MCTS with Dynamic Depth Minimax', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 63 - 75,
    Conference Papers | 2023
    Cunanan M; Thielscher M, 2023, 'On Optimal Strategies for Wordle and General Guessing Games', in IJCAI International Joint Conference on Artificial Intelligence, pp. 5541 - 5548,
    Preprints | 2023
    Cunanan M; Thielscher M, 2023, On Optimal Strategies for Wordle and General Guessing Games, ,
    Preprints | 2023
    Hengst B; Pagnucco M; Rajaratnam D; Sammut C; Thielscher M, 2023, Online Learning and Planning in Cognitive Hierarchies, ,
    Conference Papers | 2023
    Zammit S; Thielscher M, 2023, 'General Game Playing With State-Independent Communication', in Proceedings of the International Conference on Knowledge Representation and Reasoning, pp. 710 - 719,
    Conference Papers | 2022
    McEwan C; Thielscher M, 2022, 'Knowledge Transfer for Deep Reinforcement Agents in General Game Playing', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 53 - 66,
    Creative Works (non-textual) | 2021
    Del Favero D; Kenderdine S; Shaw J; Lancaster L; Thielscher M; Ge J; Kelly L; Zhenhua L, 2021, The Atlas of Maritime Buddhism, Buddhist Maritime Silk Road – New Media Art Exhibition, Fo Guan Shan Monastery, Taiwan, 16 May 2021 - 17 May 2025, medium: Installation, at: https://www.fgsbmc.org.tw/maritime/en-bmsr.html#curators
    Creative Works (non-textual) | 2021
    Del Favero D; Kenderdine S; Thielscher M; Shaw J; Lancaster L; Ge J; Kelly L; Zhenhua L, 2021, Atlas of Maritime Buddhism VR, The Atlas of Maritime Buddhism VR, Hanart TZ Gallery, Hong Kong, 21 August 2021 - 02 October 2021, medium: Art Installation, at: http://www.hanart.com/exhibition/atlas-of-maritime-buddhism-vr/?status=future〈=en
    Conference Papers | 2021
    Rajaratnam D; Thielscher M, 2021, 'Representing and Reasoning with Event Models for Epistemic Planning', in Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, pp. 519 - 528,
    Conference Papers | 2020
    Calvanese D; Erdem E; Thielscher M, 2020, 'Preface', in 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
    Conference Papers | 2020
    Goldwaser A; Thielscher M, 2020, 'Deep reinforcement learning for general game playing', in AAAI 2020 - 34th AAAI Conference on Artificial Intelligence, New York, pp. 1701 - 1708, presented at 34th AAAI Conference on Artificial Intelligence, New York, 07 February 2020,
    Conference Papers | 2020
    Gunawan A; Ruan J; Thielscher M; Narayanan A, 2020, 'Exploring a Learning Architecture for General Game Playing', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 294 - 306,
    Conference Papers | 2020
    2020, 'Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020.', in Calvanese D; Erdem E; Thielscher M (eds.), KR
    Conference Papers | 2019
    Manuel S; Rajaratnam D; Thielscher M, 2019, 'Encoding epistemic strategies for general game playing', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Cuvu, Yanuca Island, Fiji, pp. 555 - 567, presented at PRICAI, Cuvu, Yanuca Island, Fiji, 26 August 2019 - 30 August 2019,
    Conference Papers | 2018
    Chitizadeh A; Thielscher M, 2018, 'General language evolution in general game playing', in Mitrovic T; Xue B; Li X (eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, Cham, Wellington, New Zealand, pp. 51 - 64, presented at Australasian Joint Conference on Artificial Intelligence : AI 2018, Wellington, New Zealand, 11 December 2018 - 14 December 2018,
    Conference Papers | 2018
    Chitizadeh A; Thielscher M, 2018, 'Iterative Tree Search in General Game Playing with Incomplete Information', in Communications in Computer and Information Science, Stockholm, Sweden, pp. 98 - 115, presented at CGW 2018 Computer Games Workshop, Stockholm, Sweden, 13 July 2018,
    Conference Papers | 2018
    Engesser T; Mattmüller R; Nebel B; Thielscher M, 2018, 'Game description language and dynamic epistemic logic compared', in Lang J (ed.), IJCAI International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, Stockholm, Sweden, pp. 1795 - 1802, presented at IJCAI-ECAI-18, Stockholm, Sweden, 13 July 2018 - 19 July 2018,
    Preprints | 2018
    Hengst B; Pagnucco M; Rajaratnam D; Sammut C; Thielscher M, 2018, Perceptual Context in Cognitive Hierarchies, ,
    Conference Papers | 2017
    Anderson M; Barták R; Brownstein JS; Buckeridge DL; Eldardiry H; Geib C; Gini M; Isaksen A; Keren S; Laddaga R; Lisy V; Martin R; Martinez D; Michalowski M; Michael L; Mirsky R; Nguyen T; Paul MJ; Pontelli E; Sanner S; Shaban-Nejad A; Sinha A; Sohrabi S; Sricharan K; Srivastava B; Stefik M; Streilein W; Sturtevant N; Talamadupula K; Thielscher M; Togelius J; Tran SC; Tran-Thanh L; Wagner N; Wallace BC; Wilk S; Zhu J, 2017, 'Reports of the Workshops of the 31st AAAI Conference on Artificial Intelligence', in AI Magazine, pp. 72 - 82,
    Creative Works (non-textual) | 2017
    Del Favero D; Thielscher M; Frohne U; Tschapeller W; Kruschkova K; Pomassi K; Balfe E; Wimmer M, 2017, Intraspace_2, Intraspace - Practicing Virtual Conditions, Academy of Fine Arts, Vienna, 05 April 2017 - 08 April 2017, medium: Interactive Performance Installation, at: https://intraspace.akbild.ac.at/portfolios/practicing-virtual-conditions/
    Creative Works (non-textual) | 2017
    Kenderdine S; Thielscher M; Nakata M; Ross S; Arthur P; Bourke P; Lueg C; Shaw J; Greuter S; Gibson R; Kelly L; Hart T; Neale M; Berry D; Del Favero D, 2017, Domelab, Songlines: Tracking the Seven Sisters, National Museum Canberra, 15 September 2017 - 25 February 2018, medium: Visualisation Environment, at: http://www.nma.gov.au/exhibitions/songlines
    Conference Papers | 2017
    Schofield M; Thielscher M, 2017, 'The efficiency of the hyperplay technique over random sampling', in 31st AAAI Conference on Artificial Intelligence, AAAI 2017, pp. 282 - 289
    Conference Papers | 2017
    Thielscher M, 2017, 'GDL-III: A description language for epistemic general game playing', in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, International Joint Conferences on Artifical Intelligence (IJCAI), Melbourne, Australia, pp. 1276 - 1282, presented at International Joint Conference on Artificial Intelligence (IJCAI), Melbourne, Australia, 19 August 2017 - 25 August 2017,
    Conference Papers | 2016
    Cazenave T; Saffidine A; Schofield M; Thielscher M, 2016, 'Nested monte carlo search for two-player games', in 30th AAAI Conference on Artificial Intelligence, AAAI 2016, pp. 687 - 693
    Recorded / Rendered Creative Works | 2016
    Del Favero D; Harley R; Bennett J; Thielscher M; Brown N; Stockings C; Reid R, 2016, Retrospect, Published: 01 July 2016, Recorded / Rendered Creative Works,
    Conference Papers | 2016
    Rajaratnam D; Hengst B; Pagnucco M; Sammut C; Thielscher M, 2016, 'Composability in cognitive hierarchies', in Kang BH; Bai Q (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, Hobart, TAS, Australia, pp. 42 - 55, presented at 29th Australasian Joint Conference, Hobart, TAS, Australia, 05 December 2016 - 08 December 2016,
    Conference Papers | 2016
    Schofield M; Thielscher M, 2016, 'The scalability of the HyperPlay technique for imperfect-information games', in AAAI Workshop - Technical Report, pp. 378 - 386
    Conference Papers | 2016
    Thielscher M, 2016, 'GDL-III: A proposal to extend the game description language to general epistemic games', in Frontiers in Artificial Intelligence and Applications, pp. 1630 - 1631,
    Conference Papers | 2016
    Thielscher M, 2016, 'Sampling-based belief revision', in IJCAI International Joint Conference on Artificial Intelligence, pp. 1272 - 1278
    Conference Papers | 2016
    hengst B; Marcus N; pagnucco M; Rajaratnam D; sammut C; Thielscher M, 2016, 'Towards Autonomous Adaptation and Trust.', Daejeon, Korea, presented at IEEE/RSJ International Conference on Intelligent Robots and Systems, Daejeon, Korea, 09 October 2016 - 14 October 2016
    Conference Proceedings (Editor of) | 2016
    Cazenave T; Winands MHM; Edelkamp S; Schiffel S; Thielscher M; Togelius J, (eds.), 2016, 'Computer Games - Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers', Springer, Vol. 614
    Conference Papers | 2016
    2016, 'A Framework for Integrating Symbolic and Sub-symbolic Representations'
    Conference Papers | 2016
    2016, 'Computer Poker and Imperfect Information Games, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016.', in Lisý V; Thielscher M; Nguyen T (eds.), AAAI Workshop: Computer Poker and Imperfect Information Games, AAAI Press
    Conference Papers | 2015
    Rajaratnam DP; Thielscher MIT, 2015, 'Execution Monitoring as Meta-Games for General Game-Playing Robots', in Wooldridge M; Yang Q (ed.), Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, presented at 24th International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, Argentina, 25 July 2015 - 31 July 2015,
    Conference Papers | 2015
    Schofield M; Thielscher M, 2015, 'Lifting Model Sampling for General Game Playing to Incomplete-Information Models', in Bonet B (ed.), Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, presented at AAAI Conference on Artificial Intelligence, Austin, 25 January 2015 - 30 January 2015
    Conference Papers | 2015
    Zhang D; Thielscher M, 2015, 'A Logic for Reasoning About Game Strategies', in Bonet B; Koenig S (ed.), Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, presented at AAAI Conference on Artificial Intelligence, Austin, 25 January 2015 - 30 January 2015,
    Conference Papers | 2014
    Cerexhe T; Gebser M; Thielscher M, 2014, 'Online agent logic programming with oClingo', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 945 - 957,
    Conference Papers | 2014
    Cerexhe T; Rajaratnam D; Saffidine A; Thielscher M, 2014, 'A Systematic Solution to the (De-)Composition Problem in General Game Playing', in Schaub T (ed.), ECAI 2014 - 21st European Conference on Artificial Intelligence, IOS Press, Prague, Czech Republic, pp. 195 - 200, presented at 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, 18 August 2014 - 22 August 2014,
    Conference Papers | 2014
    Rajaratnam D; Levesque HJ; Pagnucco M; Thielscher M, 2014, 'Forgetting in Action', in Baral C; De Giacomo G (ed.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, AAAI Press, Vienna, Austria, presented at 14th International Conference on Principles of Knowledge Representation and Reasoning, Vienna, Austria, 20 July 2014 - 24 July 2014,
    Conference Papers | 2014
    Romero J; Saffidine A; Thielscher M, 2014, 'Solving the inferential frame problem in the general Game Description Language', in Proceedings of the National Conference on Artificial Intelligence, pp. 515 - 521
    Conference Papers | 2014
    2014, 'KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings', in Lutz C; Thielscher M (ed.), KI, Springer
    Conference Papers | 2013
    Cerexhe T; Sabuncu O; Thielscher M, 2013, 'Evaluating Answer Set Clause Learning for General Game Playing', in Logic Programming and Nonmonotonic Reasoning : Lecture Notes in Computer Science, Springer, Corunna, Spain, presented at 12th International Conference on Logic Programming and Nonmonotonic Reasoning, Corunna, Spain, 15 September 2013 - 19 September 2013,
    Conference Papers | 2013
    Huang X; Ruan J; Thielscher M, 2013, 'Model checking for reasoning about incomplete information games', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 246 - 258,
    Conference Papers | 2013
    Pagnucco M; Rajaratnam DP; Strass H; Thielscher M, 2013, 'Implementing Belief Change in the Situation Calculus and an Application', in Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, Corunna, presented at 12th International Conference on Logic Programming and Nonmonotonic Reasoning, Corunna, 15 September 2013 - 19 September 2013,
    Conference Papers | 2013
    Rajaratnam D; Thielscher M, 2013, 'Towards General Game-Playing Robots: Models, Architecture and Game Controller', in Cranefield S; Nayak A (ed.), AI 2013: Advances in Artificial Intelligence. Lecture Notes in Computer Science, Springer, Heidelberg, Germany, presented at 26th Australasian Joint Conference on Artificial Intelligence, Dunedin, New Zealand, 04 December 2013 - 06 December 2013,
    Conference Papers | 2013
    Thielscher M, 2013, 'Filtering With Logic Programs and Its Application to General Game Playing', in desJardins M; Littman M (ed.), Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, AAAI Press, Bellevue, Washington, USA, presented at The Twenty-Seventh AAAI Conference (AAAI-13), Bellevue, Washington, USA, 14 July 2013 - 18 July 2013,
    Conference Proceedings (Editor of) | 2013
    ornsson YB; Thielscher M, (ed.), 2013, 'General Intelligence in Game-Playing Agents (GIGA)', Proceedings of the Workshop at the International Joint Conference on Artificial Intelligence
    Conference Papers | 2012
    Haufe S; Thielscher M, 2012, 'Automated Verification of Epistemic Properties for General Game Playing', in Brewka G; Eiter T; McIlraith S (eds.), KR, AAAI Press, pp. 339 - 349
    Conference Papers | 2012
    Ruan J; Thielscher M, 2012, 'Strategic and Epistemic Reasoning for the Game Description Language GDL-II', in Raedt LD; Bessière C; Dubois D; Doherty P; Heintz PFF; Lucas P (eds.), ECAI, IOS Press, pp. 696 - 701
    Conference Papers | 2012
    Schofield M; Cerexhe T; Thielscher M, 2012, 'HyperPlay: A Solution to General Game Playing with Imperfect Information', in AAAI, AAAI Press, pp. 1606 - 1612
    Conference Papers | 2012
    Schofield M; Cerexhe T; Thielscher M, 2012, 'HyperPlay: A Solution to General Game Playing with Imperfect Information', in Proceedings of the 26th AAAI Conference on Artificial Intelligence, AAAI 2012, pp. 1606 - 1612
    Conference Proceedings (Editor of) | 2012
    Thielscher M; Zhang D, (ed.), 2012, 'AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings', Springer, Vol. 7691
    Conference Proceedings (Editor of) | 2012
    Thielscher M; Zhang D, (ed.), 2012, 'AI-2012: Advances in Artificial Intelligence. LNCS v. 7691', Springer-Verlag, Berlin Heidelberg, presented at 25th Australasian Joint Conference on Artificial Intelligence, Sydney, Australia, 04 December 2012 - 07 December 2012
    Preprints | 2011
    Drescher C; Thielscher M, 2011, ALPprolog --- A New Logic Programming Method for Dynamic Domains,
    Conference Papers | 2011
    Pagnucco M; Strass H; Rajaratnam D; Thielscher M, 2011, 'How to Plan When being Deliberately Misled', in Automated Action Planning for Autonomous Mobile Robots—Papers from the 2011 AAAI Workshop (PAMR), pp. 45 - 50
    Conference Papers | 2011
    Ruan J; Thielscher M, 2011, 'The Epistemic Logic Behind the Game Description Language', in Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011, pp. 840 - 845
    Conference Papers | 2011
    Ruan J; Thielscher M, 2011, 'The Epistemic Logic behind the Game Description Language', in AAAI, pp. 840 - 845
    Conference Papers | 2011
    Schiffel S; Thielscher M, 2011, 'Reasoning About General Games Described in GDL-II', in AAAI, pp. 846 - 851
    Conference Papers | 2011
    Schiffel S; Thielscher M, 2011, 'Reasoning About General Games Described in GDL-II', in Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011, pp. 846 - 851
    Conference Papers | 2011
    Thielscher M, 2011, 'General Game Playing in AI Research and Education', in Bach J; Edelkamp S (ed.), KIK, Springer, pp. 26 - 37
    Conference Papers | 2011
    Thielscher M, 2011, 'The General Game Playing Description Language is Universal', in IJCAI, pp. 1107 - 1112
    Conference Proceedings (Editor of) | 2011
    ornsson YB; Sturtevant N; Thielscher M, (eds.), 2011, 'General Intelligence in Game-Playing Agents (GIGA)', Proceedings of the Workshop at the International Joint Conference on Artificial Intelligence
    Conference Papers | 2011
    2011, 'KI—K"unstliche Intelligenz\/: Special Issue on General Game Playing', in Thielscher M (ed.), KI—K"unstliche Intelligenz\/: Special Issue on General Game Playing
    Conference Papers | 2010
    Baumann R; Brewka G; Strass H; Thielscher M; Zaslawski V, 2010, 'State Defaults and Ramifications in the Unifying Action Calculus', in KR, pp. 435 - 444
    Conference Papers | 2010
    Haufe S; Thielscher M, 2010, 'Pushing the Envelope\/: General Game Players Prove Theorems', in Li J (ed.), AI, Springer, pp. 1 - 10
    Conference Papers | 2010
    Martin Y; Thielscher M, 2010, 'Integrating Reasoning About Actions and Bayesian Networks', in Filipe J; Fred A; Sharp B (eds.), ICAART, INSTICC Press, pp. 298 - 304
    Conference Papers | 2010
    Thielscher M; Voigt S, 2010, 'A Temporal Proof System for General Game Playing', in Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010, pp. 1000 - 1005
    Conference Papers | 2010
    Thielscher M; Voigt S, 2010, 'A Temporal Proof System for General Game Playing', in Fox M; Poole D (ed.), AAAI, pp. 1000 - 1005
    Conference Papers | 2010
    Thielscher M; Zhang D, 2010, 'From General Game Descriptions to a Market Specification Language for General Trading Agents', in David E; Gerding E; Sarne D; Shehory O (eds.), Agent-Mediated Electronic Commerce\/: Designing Trading Strategies and Mechanisms for Electronic Markets, Springer, pp. 259 - 274
    Conference Papers | 2010
    Thielscher M, 2010, 'A General Game Description Language for Incomplete Information Games', in Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010, pp. 994 - 999
    Conference Papers | 2010
    Thielscher M, 2010, 'A General Game Description Language for Incomplete Information Games', in Fox M; Poole D (ed.), AAAI, pp. 994 - 999
    Conference Papers | 2010
    Thielscher M, 2010, 'Integrating Action Calculi and AgentSpeak\/: Closing the Gap', in KR, pp. 79 - 89
    Conference Papers | 2009
    Baader F; Drescher C; Liu H; Petersohn U; Steinke P; Thielscher M, 2009, 'Putting ABox Update into Action', in Ghilardi S; Sebastiani R (ed.), FROCOS, Springer, pp. 214 - 229
    Conference Papers | 2009
    Drescher C; Schiffel S; Thielscher M, 2009, 'A Declarative Agent Programming Language Based On Action Theories', in Ghilardi S; Sebastiani R (ed.), FROCOS, Springer, pp. 230 - 245
    Conference Proceedings (Editor of) | 2009
    Fisher M; Sadri F; Thielscher M, 2009, 'Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface', Vol. 5405 LNAI
    Conference Papers | 2009
    Michulke D; Thielscher M, 2009, 'Neural Networks for State Evaluation in General Game Playing', in Buntine W; Grobelnik M; Mladenic D; Shawe-Taylor J (eds.), ECML, Springer, pp. 95 - 110
    Conference Papers | 2009
    Schiffel S; Thielscher M, 2009, 'Automated Theorem Proving for General Game Playing', in IJCAI, pp. 911 - 916
    Conference Papers | 2009
    Schiffel S; Thielscher M, 2009, 'Specifying Multiagent Systems in the Game Description Language', in Filipe J; Fred A; Sharp B (eds.), ICAART, pp. 44 - 55
    Conference Papers | 2009
    Strass H; Thielscher M, 2009, 'Defaults in Action\/: Non-monotonic Reasoning About States in Action Calculi', in Lakemeyer G; Morgenstern L; Williams M-A (eds.), Proceedings of the Symposium on Logical Formalizations of Commonsense Reasoning, pp. 123 - 128
    Conference Papers | 2009
    Strass H; Thielscher M, 2009, 'On Defaults in Action Theories', in Mertsching B; Hund M; Aziz M (eds.), KIK, Springer, pp. 298 - 305
    Conference Papers | 2009
    Strass H; Thielscher M, 2009, 'Simple Default Reasoning in Theories of Action', in Nicholson A; Li X (ed.), AI, Springer, pp. 31 - 40
    Conference Papers | 2009
    Thielscher M; Zhang D, 2009, 'From GDL to a Market Specification Language for General Trading Agents', in Proceedings of the IJCAI Workshop on General Intelligence in Game-Playing Agents (GIGA), pp. 83 - 90
    Conference Papers | 2009
    Thielscher M, 2009, 'Answer Set Programming for Single-Player Games in General Game Playing', in Hill P; Warren D (ed.), ICLP, Springer, pp. 327 - 341
    Conference Papers | 2009
    Zhao D; Schiffel S; Thielscher M, 2009, 'Decomposition of Multi-Player Games', in Nicholson A; Li X (ed.), AI, Springer, pp. 475 - 484
    Conference Papers | 2009
    unther MG; Schiffel S; Thielscher M, 2009, 'Factoring General Games', in Proceedings of the IJCAI Workshop on General Intelligence in Game-Playing Agents (GIGA), pp. 27 - 33
    Conference Proceedings (Editor of) | 2009
    ornsson YB; Stone P; Thielscher M, (eds.), 2009, 'General Intelligence in Game-Playing Agents (GIGA)', Proceedings of the Workshop at the International Joint Conference on Artificial Intelligence
    Conference Papers | 2009
    2009, 'Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers', in Fisher M; Sadri F; Thielscher M (eds.), CLIMA, Springer
    Conference Papers | 2008
    Drescher C; Thielscher M, 2008, 'A Fluent Calculus Semantics for ADL with Plan Constraints', in olldobler SH; Lutz C (ed.), JELIA, Springer, pp. 140 - 152
    Conference Papers | 2008
    Schiffel S; Thielscher M; Trang DT, 2008, 'An Agent Team based on FLUX for the ProMAS Contest 2007', in Dastani M; Seghrouchni A; Ricci A; Winikoff M (eds.), Programming Multi-Agent Systems, Springer, pp. 261 - 265
    Conference Papers | 2007
    Drescher C; Thielscher M, 2007, 'Integrating Action Calculi and Description Logics', in Proceedings of the 30th annual German conference on Advances in Artificial Intelligence, Springer-Verlag, Berlin, Heidelberg, pp. 52 - 67, presented at 30th annual German conference on Advances in Artificial Intelligence, Osnabruck, Germany, 10 September 2007 - 13 September 2007,
    Conference Papers | 2007
    Drescher C; Thielscher M, 2007, 'Integrating Action Calculi and Description Logics', in Hertzberg J; Beetz M; Englert R (eds.), KIK, Springer, pp. 68 - 83
    Conference Papers | 2007
    Drescher C; Thielscher M, 2007, 'Reasoning About Actions with Description Logics', in Peppas P; Williams M-A (ed.), Proceedings of the Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI
    Conference Papers | 2007
    Jin Y; Thielscher M; Zhang D, 2007, 'Mutual Belief Revision: Semantics and Computation', in AAAI, AAAI Press, pp. 440 - 445
    Conference Papers | 2007
    Martin Y; Thielscher M, 2007, 'Integrating Reasoning About Actions and Bayesian Networks', in Peppas P; Williams M-A (ed.), Proceedings of the Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI
    Conference Papers | 2007
    Schiffel S; Thielscher M, 2007, 'Automatic Construction of a Heuristic Search Function for General Game Playing', in Peppas P; Williams M-A (ed.), Proceedings of the Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI
    Conference Papers | 2007
    Schiffel S; Thielscher M, 2007, 'Fluxplayer: A Successful General Game Player', in AAAI, AAAI Press, pp. 1191 - 1196, 22 July 2007 - 26 July 2007
    Conference Papers | 2007
    Schiffel S; Thielscher M, 2007, 'Multi-Agent FLUX for the Gold Mining Domain (System Description)', in Inoue K; Satoh K; Toni F (eds.), CLIMA, Springer, pp. 294 - 303
    Conference Papers | 2006
    Schiffel S; Thielscher M, 2006, 'Reconciling Situation Calculus and Fluent Calculus', in AAAI, AAAI Press, pp. 287 - 292
    Conference Papers | 2006
    Thielscher M; Witkowski T, 2006, 'The Features-and-Fluents Semantics for the Fluent Calculus', in Doherty P; Mylopoulos J; Welty C (eds.), KR, pp. 362 - 370
    Conference Papers | 2006
    Thielscher M, 2006, 'Designing a FLUX Agent for the Dynamic Wumpus World', in Dix J; Hunter A (ed.), Proceedings of the Workshop on Nonmonotonic Reasoning (NMR), pp. 326 - 332
    Conference Papers | 2005
    Fichtner M; Thielscher M, 2005, 'Anchoring Symbols to Percepts in the Fluent Calculus', in Visser U; Lakemeyer G; Vachtesevanos G; Veloso M (eds.), IJCAI-Workshop on Agents in Real-Time and Dynamic Environments, pp. 11 - 16
    Conference Papers | 2005
    Jin Y; Thielscher M, 2005, 'Actions and Belief Revision: A Computational Approach.', in Delgrande JP; Lang J; Rott H; Tallon J-M (eds.), Belief Change in Rational Agents, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, presented at Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics, 7.-12. August 2005,
    Conference Papers | 2005
    Jin Y; Thielscher M, 2005, 'Iterated Belief Revision, Revised', in Kaelbling L; Saffiotti A (ed.), IJCAI, pp. 478 - 483
    Conference Papers | 2005
    Jin Y; Thielscher M, 2005, 'Iterated Belief Revision: A Computational Approach', in Dagstuhl Seminar Proceedings
    Conference Papers | 2005
    Schiffel S; Thielscher M, 2005, 'Interpreting Golog Programs in Flux', in Proceedings of the International Symposium on Logical Formalizations of Commonsense Reasoning, pp. 193 - 198
    Conference Papers | 2005
    Skubch H; Thielscher M, 2005, 'Strategy Learning for Reasoning Agents', in Gama J (ed.), ECML, Springer, pp. 733 - 740
    Conference Papers | 2005
    Thielscher M, 2005, 'A FLUX Agent for the Wumpus World', in Morgenstern L; Pagnucco M (ed.), Proceedings of the Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI, pp. 104 - 108
    Conference Papers | 2004
    Jin Y; Thielscher M, 2004, 'Representing Beliefs in the Fluent Calculus', in Mántras RLD; Saitta L (ed.), ECAI, IOS Press, pp. 823 - 827
    Conference Papers | 2004
    Martin Y; Narasamdya I; Thielscher M, 2004, 'Knowledge of Other Agents and Communicative Actions in the Fluent Calculus', in Dubois D; Welty C; Williams M-A (eds.), KR, pp. 623 - 633
    Conference Papers | 2004
    Martin Y; Narasamdya I; Thielscher M, 2004, 'Knowledge of other agents and communicative actions in the Fluent Calculus', in Proceedings of the 14th International Conference on Automated Planning and Scheduling, ICAPS 2004, pp. 12 - 22
    Conference Papers | 2004
    Thielscher M, 2004, 'Logic-Based Agents and the Frame Problem\/: A Case for Progression', in Hendricks V (ed.), First-Order Logic Revisited\/: Proceedings of the Conference 75 Years of First Order Logic (FOL75), Logos, pp. 323 - 336
    Conference Papers | 2003
    Fichtner M; Großmann A; Thielscher M, 2003, 'Intelligent Execution Monitoring in Dynamic Environments', in Doherty P; Lakemeyer G; Veloso M; Visser U (eds.), IJCAI-Workshop on Issues in Designing Physical Agents for Dynamic Real-Time Environments, pp. 99 - 107
    Conference Papers | 2003
    Ozan KUGI; Thielscher M, 2003, 'A Formal Assessment Result for Fluent Calculus Using the Action Description Language $\cal A_k$', in Kruse R (ed.), KIK, Springer, pp. 209 - 223
    Conference Papers | 2003
    Thielscher M, 2003, 'Controlling Semi-Automatic Systems with FLUX. (Extended abstract)', in Palamidessi C (ed.), ICLP, Springer, pp. 515 - 516
    Conference Papers | 2003
    Thielscher M, 2003, 'Controlling semi-automatic systems with FLUX', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 515 - 516,
    Conference Papers | 2002
    Thielscher M, 2002, 'Cognitive Agents', in Fronhöfer B; Hölldobler S (ed.), 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002, TU Dresden, 01062 Dresden, pp. 180 - 208, TU Dresden, 01062 Dresden
    Conference Papers | 2002
    Thielscher M, 2002, 'Programming of Reasoning and Planning Agents with FLUX', in Fensel D; McGuinness D; Williams M-A (eds.), KR, Morgan Kaufmann, pp. 435 - 446
    Conference Papers | 2002
    Thielscher M, 2002, 'Pushing the Envelope\/: Programming Reasoning Agents', in Baral C; McIlraith S (ed.), AAAI Workshop on Cognitive Robotics, AAAI Press, pp. 110 - 117
    Conference Papers | 2002
    Thielscher M, 2002, 'Reasoning About Actions with CHRs and Finite Domain Constraints', in Stuckey P (ed.), ICLP, Springer, pp. 70 - 84
    Reports | 2001
    Buchholz P; Droste M; Ganter B; olldobler SH; Meyer-Wegener K; oschel RP; Reichel H; Thielscher M; Vogler H, 2001, Different Approaches to the Semantics of Workflows, Department of Computer Science, Dresden University of Technology, TUD-FI01-04
    Conference Papers | 2001
    Martin Y; Thielscher M, 2001, 'Addressing the Qualification Problem in FLUX', in Baader F; Brewka G; Eiter T (eds.), KIK, Springer, pp. 290 - 304
    Conference Papers | 2001
    Thielscher M, 2001, 'Inferring Implicit State Knowledge and Plans with Sensing Actions', in Baader F; Brewka G; Eiter T (eds.), KIK, Springer, pp. 366 - 380
    Conference Papers | 2001
    Thielscher M, 2001, 'Planning with Noisy Actions (Preliminary Report)', in Brooks M; Corbett D; Stumptner M (eds.), AIold, Springer, pp. 495 - 506
    Conference Papers | 2001
    Thielscher M, 2001, 'Planning with Noisy Actions.', in Stumptner M; Corbett D; Brooks MJ (eds.), Australian Joint Conference on Artificial Intelligence, Springer, pp. 495 - 506, presented at AI 2001: Advances in Artificial Intelligence, 14th Australian Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings,
    Conference Papers | 2000
    Thielscher M, 2000, 'Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains—And A Case Study', in Kautz H; Porter B (ed.), AAAI, MIT Press, pp. 497 - 502
    Conference Papers | 2000
    Thielscher M, 2000, 'Representing the Knowledge of a Robot', in Cohn A; Giunchiglia F; Selman B (eds.), KR, Morgan Kaufmann, pp. 109 - 120
    Reports | 2000
    Thielscher M, 2000, The Fluent Calculus\/: A Specification Language for Robots with Sensors in Nondeterministic, Concurrent, and Ramifying Environments, Artificial Intelligence Institute, Department of Computer Science, Dresden University of Technology, CL-2000-01
    Conference Papers | 2000
    orr H-PS; Thielscher M, 2000, 'A New Equational Foundation for the Fluent Calculus', in etal JL (ed.), CL, Springer, pp. 733 - 746
    Other | 1999
    Henschel A; Thielscher M, 1999, The LMW Traffic World in the Fluent Calculus,
    Conference Papers | 1999
    Nossum R; Thielscher M, 1999, 'Counterfactual reasoning by means of a calculus of narrative context', in Bouquet P; Serafini L; Brezillon P; Benerecetti M; Castellani F (eds.), CONTEXT, Springer, pp. 495 - 498
    Conference Papers | 1999
    Thielscher M, 1999, 'A Theory of First-Order Counterfactual Reasoning', in Burgard W; Christaller T; Cremers A (eds.), KIK, Springer, pp. 137 - 148
    Conference Papers | 1999
    Thielscher M, 1999, 'Continuous Processes in the Fluent Calculus', in Hybrid Systems and AI\/: Modeling and Control of Discrete + Continuous Systems, AAAI Press, pp. 186 - 191
    Conference Papers | 1998
    Thielscher M, 1998, 'From Situation Calculus to Fluents Calculus\/: A New Motivation', in International Workshop on Nonmonotonic Reasoning, pp. 31 - 39
    Conference Papers | 1998
    Thielscher M, 1998, 'How (Not) To Minimize Events', in Cohn AG; Schubert LK; Shapiro SC (eds.), KR, Morgan Kaufmann, pp. 60 - 71
    Conference Papers | 1998
    Thielscher M, 1998, 'Steady Versus Stabilizing State Constraints', in Proceedings of the Symposium on Logical Formalizations of Commonsense Reasoning, pp. 239 - 248
    Conference Papers | 1998
    Thielscher M, 1998, 'Towards State Update Axioms\/: Reifying Successor State Axioms', in Cerro LFD; Dix J; Furbach U (eds.), Proceedings of the European Workshop on Logics in AI (JELIA), Springer, pp. 248 - 263
    Conference Papers | 1998
    Thielscher M, 1998, 'Towards a Logic for Causal Reasoning', in Ortiz C (ed.), Prospectes for a Commonsense Theory of Causation, AAAI Press, pp. 101 - 106
    Reports | 1998
    Thielscher M, 1998, Disputation Theory Applied To Disjunctive Logic Programs, Dept. of Computer Science, Dresden University of Technology, TUD/FI98-06
    Reports | 1998
    Thielscher M, 1998, Event Minimization with the Fluent Calculus, Knowledge Representation Group, Dresden University of Technology, TUD/FI98-03
    Conference Papers | 1997
    Gabbay DM; Nossum R; Thielscher M, 1997, 'Agents in Proactive Environments.', in Brewka G; Habel C; Nebel B (eds.), KIK, Springer, pp. 389 - 392
    Conference Papers | 1997
    Scholz U; Steinmann O; utzle TS; Thielscher M, 1997, 'Planning by Local Search', in Baral C; Goldman R (ed.), Proceedings of the Workshop at AAAI on Robots, Softbots, Immobots\/: Theories of Action, Planning, and Control, pp. 124 - 125
    Conference Papers | 1997
    Thielscher M, 1997, 'Challenges for Action Theories (Extended Abstract)', in Plander I (ed.), AIICSR, World Scientific Publishing Co. Singapore, pp. 133 - 140
    Conference Papers | 1997
    Thielscher M, 1997, 'How (Not) to Minimize Events', in Poster presentations at the International Joint Conference on Artificial Intelligence (IJCAI), Morgan Kaufmann
    Conference Papers | 1997
    Thielscher M, 1997, 'Qualified Ramifications', in Kuipers B; Webber B (ed.), AAAI, MIT Press, pp. 466 - 471
    Reports | 1996
    André de Waal MB; Thielscher M, 1996, The Automatic Generation of Pre-Interpretations for Detecting Unsolvable Planning Problems, Katholieke Universiteit Leuven, CW224
    Conference Papers | 1996
    Eder K; olldobler SH; Thielscher M, 1996, 'An Abstract Machine for Reasoning about Situations, Actions, and Causality', in Dyckhoff R; Herre H; Schroeder-Heister P (eds.), ELP, Springer, pp. 137 - 151
    Conference Papers | 1996
    Herr-mann C; Thielscher M, 1996, 'Reasoning about Continuous Processes', in Clancey B; Weld D (ed.), AAAI, MIT Press, pp. 639 - 644
    Reports | 1996
    Herrmann C; Thielscher M, 1996, On Reasoning About Continuous Processes, FG Intellektik, TH Darmstadt, ´¡±õ¶Ù´¡â€“96–04
    Conference Papers | 1996
    Schaub T; Thielscher M, 1996, 'Skeptical Query-Answering in Constrained Default Logic', in Gabbay DM (ed.), FAPR, Springer, pp. 567 - 581
    Conference Papers | 1996
    Thielscher M, 1996, 'A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs', in Maher M (ed.), JICSLP, MIT Press, pp. 483 - 497
    Conference Papers | 1996
    Thielscher M, 1996, 'Causality and the Qualification Problem', in Aiello LC; Doyle J; Shapiro S (eds.), KR, Morgan Kaufmann, CAMBRIDGE, MA, pp. 51 - 62, presented at 5th International Conference on Principles of Knowledge Representation and Reasoning (KR 96), CAMBRIDGE, MA, 05 November 1996 - 08 November 1996,
    Reports | 1996
    Thielscher M, 1996, On a Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs, FG Intellektik, TH Darmstadt, ´¡±õ¶Ù´¡â€“96–09
    Reports | 1996
    Thielscher M, 1996, Qualification and Causality, International Computer Science Institute (ICSI), Berkeley, CA, TR-96-026
    Conference Papers | 1995
    Bibel W; Thielscher M, 1995, 'The Role of Automated Deduction in Intellectics', in Automated Reasoning\/: Bridging the Gap between Theory and Practice, AISB-95 Workshop Programme, pp. 12 - 14
    Conference Papers | 1995
    Eder K; olldobler SH; Thielscher M, 1995, 'A New View on Actions in Dynamic Systems', in Sandewall E (ed.), Proceedings of the Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI, pp. 3 - 7
    Conference Papers | 1995
    Eder K; olldobler SH; Thielscher M, 1995, 'A Resource-Oriented Deductive Approach Towards Hierarchical Planning', in Krall A; Geske U (ed.), 11. Workshop Logische Programmierung, GMD-Studien 270, pp. 237 - 246
    Conference Papers | 1995
    Schaub T; Thielscher M, 1995, 'Skeptical Query-Answering in Constrained Default Logic', in Brewka G (ed.), Dutch/German Workshop on Nonmonotonic Reasoning
    Conference Papers | 1995
    Thielscher M, 1995, 'Computing Ramifications by Postprocessing', in Mellish CS (ed.), IJCAI, Morgan Kaufmann, pp. 1994 - 2000
    Conference Papers | 1995
    Thielscher M, 1995, 'On the Logic of Dynamic Systems', in Boutilier C; Goldszmidt M (ed.), Extending Theories of Actions\/: Formal Theory and Practical Applications, AAAI Press, pp. 188 - 193
    Conference Papers | 1995
    Thielscher M, 1995, 'The Logic of Dynamic Systems', in Mellish CS (ed.), IJCAI, Morgan Kaufmann, pp. 1956 - 1962
    Conference Papers | 1995
    Thielscher M, 1995, 'What Is A Skeptical Proof\/?', in Wachsmuth I; Rollinger C-R; Brauer W (eds.), KIK, Springer, pp. 161 - 172
    Conference Papers | 1995
    Waal AD; Thielscher M, 1995, 'Solving Deductive Planning Problems Using Program Analysis and Transformation', in Proietti M (ed.), LOPSTR, Springer, pp. 189 - 203
    Reports | 1995
    Waal AD; Thielscher M, 1995, Solving Deductive Planning Problems Using Program Analysis and Transformation, FG Intellektik, TH Darmstadt, ´¡±õ¶Ù´¡â€“95–04
    Conference Papers | 1995
    olldobler SH; Thielscher M, 1995, 'Objects, Specificity, Logic, and Change', in Dreschler-Fischer L; Pribbenow S (ed.), KI-95 Activities\/: Workshops, Posters, Demos, Gesellschaft f"ur Informatik e.V., Bonn, pp. 37 - 42
    Conference Papers | 1994
    Bibel W; Thielscher M, 1994, 'Deductive Plan Generation', in Arikawa S; Jantke KP (ed.), AII, Springer, pp. 2 - 5
    Conference Papers | 1994
    Bornscheuer S-E; Thielscher M, 1994, 'Representing Concurrent Actions and Solving Conflicts', in Nebel B; Dreschler-Fischer L (ed.), KIK, Springer, pp. 16 - 27
    Conference Papers | 1994
    Thielscher M, 1994, 'An Analysis of Systematic Approaches to Reasoning about Actions and Change', in Jorrand P; Sgurev V (ed.), AIMSA, World Scientific, pp. 195 - 204
    Conference Papers | 1994
    Thielscher M, 1994, 'Representing Actions in Equational Logic Programming', in Hentenryck PV (ed.), ICLP, MIT Press, S MARGHERITA LIGURE, ITALY, pp. 207 - 224, presented at 11th International Conference on Logic Programming, S MARGHERITA LIGURE, ITALY, 13 June 1994 - 18 June 1994,
    Conference Papers | 1994
    olldobler SH; Thielscher M, 1994, 'On the Adequateness of AI-Systems', in Plander I (ed.), AIICSR, World Scientific Publishing Co. Singapore, pp. 41 - 46
    Reports | 1994
    uning SB; olldobler SH; Schneeberger J; Sigmund U; Thielscher M, 1994, Disjunction in Resource-Oriented Deductive Planning, Intellektik, TH Darmstadt, ´¡±õ¶Ù´¡â€“94–03
    Conference Papers | 1993
    Thielscher M, 1993, 'SLDENF-Resolution.', in Beierle C (ed.), WLP, pp. 100 - 103,
    Conference Papers | 1993
    Thielscher M, 1993, '³§³¢¶Ù·¡±·¹ó–R±ð²õ´Ç±ô³Ü³Ù¾±´Ç²Ô', in Beierle S (ed.), Logische Programmierung, Technical Report, pp. 64 - 68
    Reports | 1993
    Thielscher M, 1993, Modelling theories of actions by Equational Logic Programs, FG Intellektik, TH Darmstadt, ´¡±õ¶Ù´¡â€“93–18
    Conference Papers | 1993
    olldobler SH; Thielscher M, 1993, 'Actions and Specificity', in Miller D (ed.), ILPS, MIT Press, VANCOUVER, CANADA, pp. 164 - 180, presented at 1993 International Logic Programming Symposium, VANCOUVER, CANADA, 26 October 1993 - 29 October 1993,
    Conference Papers | 1993
    olldobler SH; Thielscher M, 1993, 'On Logic Programming with Multisets', in Omodeo EG; Rossi G (ed.), Proceedings of the Workshop on Logic Programming with Sets at ICLP
    Conference Papers | 1993
    olldobler SH; Thielscher M, 1993, 'On Logic, Change, and Specificity', in ofer BF (ed.), Proceedings of the Workshop on Reasoning about Action & Change at the International Joint Conference on Artificial Intelligence, pp. 3 - 7
    Conference Papers | 1993
    uning SB; Große G; olldobler SH; Schneeberger J; Sigmund U; Thielscher M, 1993, 'Disjunction in Plan Generation by Equational Logic Programming', in Horz A (ed.), Beitr"age zum 7. Workshop Planen und Konfigurieren, Arbeitspapiere der GMD 723, pp. 18 - 26
    Conference Papers | 1993
    uning SB; olldobler SH; Schneeberger J; Sigmund U; Thielscher M, 1993, 'Disjunction in Resource-Oriented Deductive Planning', in Miller D (ed.), ILPS, MIT Press, VANCOUVER, CANADA, pp. 670 - 670, presented at 1993 International Logic Programming Symposium, VANCOUVER, CANADA, 26 October 1993 - 29 October 1993,
    Conference Papers | 1992
    Große G; olldobler SH; Schneeberger J; Sigmund U; Thielscher M, 1992, 'Equational Logic Programming, Actions, and Change', in Apt K (ed.), IJCSLP, MIT Press, pp. 177 - 191
    Reports | 1992
    Große G; olldobler SH; Schneeberger J; Sigmund U; Thielscher M, 1992, Equational Logic Programming, Actions, and Change, FG Intellektik, TH Darmstadt, ´¡±õ¶Ù´¡â€“92–14
    Conference Papers | 1992
    Thielscher M, 1992, 'AC1-Unifikation in der linearen logischen Programmierung', in olldobler SH (ed.), Logische Programmierung, Technical Report AIDA-92-10, pp. 64 - 68
    Reports | 1992
    Thielscher M, 1992, AC1-Unifikation in der linearen logischen Programmierung, Intellektik, Informatik, Darmstadt, Germany, 42
    Theses / Dissertations | 1992
    Thielscher M, 1992, AC1-Unifikation in der linearen logischen Programmierung, mastersthesis, FG Intellektik, TH Darmstadt
    Conference Papers | 1992
    olldobler SH; Schneeberger J; Thielscher M, 1992, 'AC1-Unification/Matching in Linear Logic Programming', in Baader F; Siekmann J; Snyder W (eds.), Proceedings of Sixth International Workshop on Unification (UNIF), BUCS Tech Report #93–004, Boston University, pp. 49 - 55
    Conference Papers | 1992
    uning SB; Große G; olldobler SH; Schneeberger J; Sigmund U; Thielscher M, 1992, 'On Disjunction in Linear Logic Programming', in Miller D (ed.), Proceedings of the Workshop on Linear Logic and Logic Programming, MS-CIS-92-80, Univ. of Pennsylvania, School of Engineering and Applied Science, Computer and Information Science Department, pp. 53 - 59
    Reports | 1991
    Thielscher M, 1991, Prognostizieren im Poole’schen Ansatz – Arbeiten mit THEORIST, Intellektik, Informatik, Darmstadt, Germany, 18
    Recorded / Rendered Creative Works |
    Del Favero D; Harley R; Bennett J; Thielscher M; Brown NC; Stockings C; Kuchelmeister V; MacGregor A; Reid R, Retrospect: War, Family, Afghanistan, Editor(s): Rayner M, website, Recorded / Rendered Creative Works,
    Conference Papers |
    Strass H; Thielscher M, 'Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions', in EPiC Series in Computing, EasyChair, pp. 58 - 51, presented at LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning.,