By Professor Michael Thielscher

Journal articles

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

Thielscher M, 2001, 'The Concurrent, Continuous Fluent Calculus', Studia Logica, 67, pp. 315 - 331

Thielscher M, 2001, 'The Qualification Problem\/: A Solution to the Problem of Anomalous Models', AIJ, 131, pp. 1 - 37

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

Thielscher M, 1999, 'Fluent Calculus Planning with Continuous Change', ETAI

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

Thielscher M, 1998, 'Introduction to the Fluent Calculus', ETAI, 2, pp. 179 - 192

Thielscher M, 1998, 'Kognitive Robotik — Perspektiven und Grenzen der "Künstlichen Intelligenz"-Forschung', Akademie-Journal, 2/98, pp. 41 - 45

Thielscher M, 1998, 'Reasoning About Actions\/: Steady Versus Stabilizing State Constraints', AIJ, 104, pp. 339 - 355

Thielscher M, 1997, 'A Theory of Dynamic Diagnosis', ETAI, 1, pp. 73 - 104

Thielscher M, 1997, 'A Theory of Dynamic Diagnosis. Electronic Transactions on Artificial Intelligence.', Electron. Trans. Artif. Intell., 1, pp. 73 - 104

Gabbay D; Nossum R; Thielscher M, 1997, 'Agents in Proactive Environments',

Thielscher M, 1997, 'Ramification and Causality', AIJ, 89, pp. 317 - 364

Bornsheuer S-E; Thielscher M, 1996, 'Explicit and Implicit Indeterminism\/: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems',

Thielscher M, 1996, 'Ramification and Causality',

Bornscheuer S-E; Thielscher M, 1996, 'Representing Concurrent Actions and Solving Conflicts', IGPL, 4, pp. 355 - 368

olldobler SH; Thielscher M, 1995, 'Computing Change and Specificity with Equational Logic Programs', AMAI, 14, pp. 99 - 133

Thielscher M; Schaub T, 1995, 'Default Reasoning by Deductive Planning', JAR, 15, pp. 1 - 40

Thielscher M, 1994, 'On the Completeness of SLDENF-Resolution',

Brüning S; Thielscher M; Bibel W, 1993, 'Letter to the editor', Artificial Intelligence, 64, pp. 353 - 354, http://dx.doi.org/10.1016/0004-3702(93)90110-W

Bruning S; Thielscher M; Bibel W, 1993, 'Comment on Ammon’s Note', AIJ, 64, pp. 353 - 354

Thielscher M, 1993, 'On prediction in Theorist', AIJ, 60, pp. 283 - 292

Conference Papers

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, http://dx.doi.org/10.24963/kr.2024/40

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, http://dx.doi.org/10.1007/978-3-031-54968-7_6

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

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, http://dx.doi.org/10.24963/kr.2023/69

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, http://dx.doi.org/10.24963/ijcai.2023/615

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, http://dx.doi.org/10.1007/978-3-030-97546-3_5

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, http://dx.doi.org/10.24963/kr.2021/49

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, http://dx.doi.org/10.1609/aaai.v34i02.5533

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, http://dx.doi.org/10.1007/978-3-030-64984-5_23

Calvanese D; Erdem E; Thielscher M, 2020, 'Preface', in 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 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

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, http://dx.doi.org/10.1007/978-3-030-29908-8_44

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, http://dx.doi.org/10.1007/978-3-030-03991-2_5

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, http://dx.doi.org/10.1007/978-3-030-24337-1_5

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, http://dx.doi.org/10.24963/ijcai.2018/248

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, http://dx.doi.org/10.1609/aimag.v38i3.2755

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, https://doi.org/10.24963/ijcai.2017/177

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

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, http://dx.doi.org/10.1007/978-3-319-50127-7_4

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, http://dx.doi.org/10.26190/unsworks/26554

Hengst B; Keith C; Pagnucco M; Rajaratnam D; Robinson P; sammut C; Thielscher M, 2016, 'A Framework for Integrating Symbolic and Sub-symbolic Representations', in Kambhampati S (ed.), IJCAI International Joint Conference on Artificial Intelligence, IJCAI/AAAI Press, New York, New York, USA, pp. 2486 - 2492, presented at 25th International Joint Conference on Artificial Intelligence IJCAI-16, New York, New York, USA, 09 July 2016 - 15 July 2016, http://www.ijcai.org/Proceedings/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, http://dx.doi.org/10.3233/978-1-61499-672-9-1630

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

Thielscher M, 2016, 'Sampling-based belief revision', in IJCAI International Joint Conference on Artificial Intelligence, pp. 1272 - 1278

Schofield M; Thielscher M, 2016, 'The scalability of the HyperPlay technique for imperfect-information games', in AAAI Workshop - Technical Report, pp. 378 - 386

, 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

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, http://ijcai.org/papers15/contents.php

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, https://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/viewFile/9822/9449

Back to profile page