By Professor Michael Thielscher

Conference Papers

Zammit S; Thielscher M, 2023, 'General Game Playing With State-Independent Communication', in Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning, International Joint Conferences on Artificial Intelligence Organization, presented at 20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}, 02 September 2023 - 08 September 2023, http://dx.doi.org/10.24963/kr.2023/69

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), Springer International Publishing, 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, International Joint Conferences on Artificial Intelligence Organization, pp. 519 - 528, presented at 18th International Conference on Principles of Knowledge Representation and Reasoning {KR-2021}, 12 November 2020 - 18 November 2021, 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, AAAI Press, 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 Gallagher M; Moustafa N; Lakshika E (eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, 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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 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.', in Towards Autonomous Adaptation and Trust., IEEE/RSJ International Conference on Intelligent Robots and Systems, Daejeon, Korea, presented at IEEE/RSJ International Conference on Intelligent Robots and Systems, Daejeon, Korea, 09 October 2016 - 14 October 2016

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 IJCAI International Joint Conference on Artificial Intelligence, 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

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, pp. 3178 - 3185, 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, pp. 1671 - 1677, 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

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, pp. 3585 - 3591, presented at AAAI Conference on Artificial Intelligence, Austin, 25 January 2015 - 30 January 2015

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, http://dx.doi.org/10.3233/978-1-61499-419-0-195

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, pp. 498 - 507, presented at 14th International Conference on Principles of Knowledge Representation and Reasoning, Vienna, Austria, 20 July 2014 - 24 July 2014, http://www.aaai.org/Press/press.php

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

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

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

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, pp. 271 - 276, presented at 26th Australasian Joint Conference on Artificial Intelligence, Dunedin, New Zealand, 04 December 2013 - 06 December 2013, http://dx.doi.org/10.1007/978-3-319-03680-9_29

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

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, pp. 219 - 232, presented at 12th International Conference on Logic Programming and Nonmonotonic Reasoning, Corunna, Spain, 15 September 2013 - 19 September 2013, http://dx.doi.org/10.1007/978-3-642-40564-8_22

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, pp. 439 - 451, presented at 12th International Conference on Logic Programming and Nonmonotonic Reasoning, Corunna, 15 September 2013 - 19 September 2013, http://dx.doi.org/10.1007/978-3-642-40564-8_44

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, pp. 890 - 896, presented at The Twenty-Seventh AAAI Conference (AAAI-13), Bellevue, Washington, USA, 14 July 2013 - 18 July 2013, http://www.aaai.org/ocs/index.php/AAAI/AAAI13/paper/view/6302

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

Schofield M; Cerexhe T; Thielscher M, 2012, 'HyperPlay: A Solution to General Game Playing with Imperfect Information', in AAAI, AAAI Press, pp. 1606 - 1612

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, http://dx.doi.org/10.3233/978-1-61499-098-7-696

Thielscher M, 2011, 'General Game Playing in AI Research and Education', in Bach J; Edelkamp S (ed.), KIK, Springer, pp. 26 - 37, http://dx.doi.org/10.1007/978-3-642-24455-1_3

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

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

Schiffel S; Thielscher M, 2011, 'Reasoning About General Games Described in GDL-II', in AAAI, pp. 846 - 851

Ruan J; Thielscher M, 2011, 'The Epistemic Logic behind the Game Description Language', in AAAI, pp. 840 - 845

Thielscher M, 2011, 'The General Game Playing Description Language is Universal', in IJCAI, pp. 1107 - 1112, http://dx.doi.org/10.5591/978-1-57735-516-8/IJCAI11-189

Thielscher M, 2010, 'A General Game Description Language for Incomplete Information Games', in Fox M; Poole D (ed.), AAAI, pp. 994 - 999

Thielscher M; Voigt S, 2010, 'A Temporal Proof System for General Game Playing', in Fox M; Poole D (ed.), AAAI, pp. 1000 - 1005

Strass H; Thielscher M, 2010, 'Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions', in Voronkov A; Sutcliffe G; Baaz M; Fermüller CG (eds.), EPiC Series in Computing, EasyChair, pp. 58 - 63, presented at LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning., http://dx.doi.org/10.29007/xz7v

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, http://dx.doi.org/10.1007/978-3-642-15117-0_18

Thielscher M, 2010, 'Integrating Action Calculi and AgentSpeak\/: Closing the Gap', in KR, pp. 79 - 89

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

Back to profile page