Michael Thielscher

Professor
Future Fellow (ARC)

Professor Michael Thielscher is an ARC Future Fellow and a Professor at the School of Computer Science and Engineering. 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 system FLUXPLAYER, which in 2006 was crowned the World Champion at the AAAI General Game Playing Competition. He has been the General Chair for KR'20 and a Program Co-Chair for AI'12KI'14KR'18.

His research interests include:

  • Artificial Intelligence
  • Cognitive Robotics
  • Intelligent Agents
  • General Game Playing
  • Knowledge Representation
  • Logic Programming
  • Nonmonotonic Reasoning
Journal articles
add
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
2021
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
2019
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
2015
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
2015
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
2014
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
2013
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
2013
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
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, vol. 7265, pp. 527 - 542, http://dx.doi.org/10.1007/978-3-642-30743-0_36
2012
Thielscher M, 2011, 'A Unifying Action Calculus', AIJ, vol. 175, pp. 120 - 141, http://dx.doi.org/10.1016/j.artint.2010.04.010
2011
Thielscher M, 2011, 'GDL-II', KI, vol. 25, pp. 63 - 66, http://dx.doi.org/10.1007/s13218-010-0076-5
2011
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
2011
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
2011
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
2011
Drescher C; Thielscher M, 2011, 'ALPprolog - A new logic programming method for dynamic domains.', Theory Pract. Log. Program., vol. 11, pp. 451 - 468
2011
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
2009
Jin Y; Thielscher M, 2008, 'Reinforcement Belief Revision', JLC, vol. 18, pp. 783 - 813, http://dx.doi.org/10.1093/logcom/exm094
2008
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
2007
Beetz M; Rajan K; Thielscher M; Rusu RB, 2006, 'AAAI Workshop - Technical Report: Preface', AAAI Workshop - Technical Report, vol. WS-06-03
2006
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
2006
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
2006
Thielscher M, 2006, 'General Game Playing', KI — K"unstliche Intelligenz, vol. 4/06, pp. 37 - 39
2006
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
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, vol. 27, pp. 92 - 102
2006
Thielscher M, 2005, 'FLUX: A programming language for reasoning agents', Theory and Practice of Logic Programming, vol. 5, pp. 533 - 565
2005
Thielscher M, 2005, 'FLUX\/: A Logic Programming Method for Reasoning Agents', TPLP, vol. 5, pp. 533 - 565, http://dx.doi.org/10.1017/S1471068405002358
2005
Jin Y; Thielscher M, 2005, 'Iterated belief revision, revised', 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2005
2005
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
2005
Thielscher M, 2004, 'FLUX: A Logic Programming Method for Reasoning Agents', CoRR, vol. cs.AI/0408044
2004
Fichtner M; Großmann A; Thielscher M, 2003, 'Intelligent Execution Monitoring in Dynamic Environments', FI, vol. 57, pp. 371 - 392
2003
Thielscher M, 2001, 'The Concurrent, Continuous Fluent Calculus', Studia Logica, vol. 67, pp. 315 - 331, http://dx.doi.org/10.1023/A:1010558931274
2001
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
2001
Thielscher M, 1999, 'Fluent Calculus Planning with Continuous Change', ETAI
1999
Thielscher M, 1999, 'From Situation Calculus to Fluent Calculus\/: State Update Axioms as a Solution to the Inferential Frame Problem', AIJ, vol. 111, pp. 277 - 299, http://dx.doi.org/10.1016/S0004-3702(99)00033-8
1999
Gabbay DM; Nossum R; Thielscher M, 1999, 'Agents in Proactive Environments', JLC, vol. 9, pp. 25 - 45
1999
Thielscher M, 1998, 'Kognitive Robotik — Perspektiven und Grenzen der "Künstlichen Intelligenz"-Forschung', Akademie-Journal, vol. 2/98, pp. 41 - 45
1998
Thielscher M, 1998, 'Reasoning About Actions\/: Steady Versus Stabilizing State Constraints', AIJ, vol. 104, pp. 339 - 355
1998
Thielscher M, 1998, 'Introduction to the Fluent Calculus', ETAI, vol. 2, pp. 179 - 192
1998
Gabbay D; Nossum R; Thielscher M, 1997, 'Agents in Proactive Environments', Journal of Logic and Computation, vol. 9, http://dx.doi.org/10.1093/logcom/9.1.25
1997
Thielscher M, 1997, 'Ramification and Causality', AIJ, vol. 89, pp. 317 - 364
1997
Thielscher M, 1997, 'A Theory of Dynamic Diagnosis', ETAI, vol. 1, pp. 73 - 104
1997
Thielscher M, 1997, 'A Theory of Dynamic Diagnosis. Electronic Transactions on Artificial Intelligence.', Electron. Trans. Artif. Intell., vol. 1, pp. 73 - 104
1997
Bornsheuer S-E; Thielscher M, 1996, 'Explicit and Implicit Indeterminism\/: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems', Journal of Logic Programming, vol. 31, http://dx.doi.org/10.1016/S0743-1066(96)00124-0
1996
Thielscher M, 1996, 'Ramification and Causality', Artificial Intelligence, vol. 89
1996
Bornscheuer S-E; Thielscher M, 1996, 'Representing Concurrent Actions and Solving Conflicts', IGPL, vol. 4, pp. 355 - 368
1996
olldobler SH; Thielscher M, 1995, 'Computing Change and Specificity with Equational Logic Programs', AMAI, vol. 14, pp. 99 - 133, http://dx.doi.org/10.1007/BF01530895
1995
Thielscher M; Schaub T, 1995, 'Default Reasoning by Deductive Planning', JAR, vol. 15, pp. 1 - 40, http://dx.doi.org/10.1007/BF00881829
1995
Thielscher M, 1994, 'On the Completeness of SLDENF-Resolution', Journal of Automated Reasoning, vol. 17, http://dx.doi.org/10.1007/BF00244496
1994
Brüning S; Thielscher M; Bibel W, 1993, 'Letter to the editor', Artificial Intelligence, vol. 64, pp. 353 - 354, http://dx.doi.org/10.1016/0004-3702(93)90110-W
1993
Bruning S; Thielscher M; Bibel W, 1993, 'Comment on Ammon’s Note', AIJ, vol. 64, pp. 353 - 354
1993
Thielscher M, 1993, 'On prediction in Theorist', AIJ, vol. 60, pp. 283 - 292, http://dx.doi.org/10.1016/0004-3702(93)90004-U
1993
Conference Papers
add
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
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
2020
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
2020
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
2019
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
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, http://dx.doi.org/10.24963/ijcai.2018/248
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, http://dx.doi.org/10.1007/978-3-030-24337-1_5
2018
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
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, https://doi.org/10.24963/ijcai.2017/177
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, http://dx.doi.org/10.1609/aimag.v38i3.2755
2017
Thielscher M, 2016, 'Sampling-based belief revision', in IJCAI International Joint Conference on Artificial Intelligence, pp. 1272 - 1278
2016
Schofield M; Thielscher M, 2016, 'The scalability of the HyperPlay technique for imperfect-information games', in AAAI Workshop - Technical Report, pp. 378 - 386
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
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
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
2016
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
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
2016
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
2016
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
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, pp. 3585 - 3591, presented at AAAI Conference on Artificial Intelligence, Austin, 25 January 2015 - 30 January 2015
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, 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
2015
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
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, http://dx.doi.org/10.3233/978-1-61499-419-0-195
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, 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
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
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, http://dx.doi.org/10.1007/978-3-319-13560-1_82
2014
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
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, 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
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, http://dx.doi.org/10.1007/978-3-319-03680-9_27
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, 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
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, 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
2013
Schofield M; Cerexhe T; Thielscher M, 2012, 'HyperPlay: A Solution to General Game Playing with Imperfect Information', in AAAI, AAAI Press, pp. 1606 - 1612
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, http://dx.doi.org/10.3233/978-1-61499-098-7-696
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
2012
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
2011
Ruan J; Thielscher M, 2011, 'The Epistemic Logic behind the Game Description Language', in AAAI, pp. 840 - 845
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
2011
Schiffel S; Thielscher M, 2011, 'Reasoning About General Games Described in GDL-II', in AAAI, pp. 846 - 851
2011
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
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
2011
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.), LPAR short papers(Yogyakarta), EasyChair, pp. 58 - 63, presented at Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010, http://www.easychair.org/publications/?page=1915729019
2010
Thielscher M, 2010, 'A General Game Description Language for Incomplete Information Games', in Fox M; Poole D (ed.), AAAI, pp. 994 - 999
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
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, http://dx.doi.org/10.1007/978-3-642-15117-0_18
2010
Thielscher M, 2010, 'Integrating Action Calculi and AgentSpeak\/: Closing the Gap', in KR, pp. 79 - 89
2010
Haufe S; Thielscher M, 2010, 'Pushing the Envelope\/: General Game Players Prove Theorems', in Li J (ed.), AI, Springer, pp. 1 - 10, http://dx.doi.org/10.1007/978-3-642-17432-2_1
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
2010
Thielscher M; Voigt S, 2010, 'A Temporal Proof System for General Game Playing', in Fox M; Poole D (ed.), AAAI, pp. 1000 - 1005
2010
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, http://dx.doi.org/10.1007/978-3-642-04222-5_13
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, http://dx.doi.org/10.1007/978-3-642-04174-7_7
2009
Strass H; Thielscher M, 2009, 'Simple Default Reasoning in Theories of Action', in Nicholson A; Li X (ed.), AI, Springer, pp. 31 - 40, http://dx.doi.org/10.1007/978-3-642-10439-8_4
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
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
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
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, http://dx.doi.org/10.1007/978-3-642-02846-5_28
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
2009
Zhao D; Schiffel S; Thielscher M, 2009, 'Decomposition of Multi-Player Games', in Nicholson A; Li X (ed.), AI, Springer, pp. 475 - 484, http://dx.doi.org/10.1007/978-3-642-10439-8_48
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, http://dx.doi.org/10.1007/978-3-642-04222-5_14
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
2009
Schiffel S; Thielscher M, 2009, 'Automated Theorem Proving for General Game Playing', in IJCAI, pp. 911 - 916
2009
Strass H; Thielscher M, 2009, 'On Defaults in Action Theories', in Mertsching B; Hund M; Aziz M (eds.), KIK, Springer, pp. 298 - 305, http://dx.doi.org/10.1007/978-3-642-04617-9_38
2009
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, http://dx.doi.org/10.1007/978-3-540-79043-3_19
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, http://dx.doi.org/10.1007/978-3-540-87803-2_13
2008
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
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
2007
Drescher C; Thielscher M, 2007, 'Integrating Action Calculi and Description Logics', in Hertzberg J; Beetz M; Englert R (eds.), 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, http://dx.doi.org/10.1007/978-3-540-74565-5_8
2007
Jin Y; Thielscher M; Zhang D, 2007, 'Mutual Belief Revision: Semantics and Computation', in AAAI, AAAI Press, pp. 440 - 445
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
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
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, pp. 298 - 304
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
2007
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
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
2006
Schiffel S; Thielscher M, 2006, 'Reconciling Situation Calculus and Fluent Calculus', in AAAI, AAAI Press, pp. 287 - 292
2006
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
2005
Skubch H; Thielscher M, 2005, 'Strategy Learning for Reasoning Agents', in Gama J (ed.), ECML, Springer, pp. 733 - 740, http://dx.doi.org/10.1007/11564096_75
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, http://drops.dagstuhl.de/portals/05321/
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
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
2005
Jin Y; Thielscher M, 2005, 'Iterated Belief Revision, Revised', in Kaelbling L; Saffiotti A (ed.), IJCAI, pp. 478 - 483
2005
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
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
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
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
2004
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
2003
Thielscher M, 2003, 'Controlling Semi-Automatic Systems with FLUX. (Extended abstract)', in Palamidessi C (ed.), ICLP, Springer, pp. 515 - 516
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
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, http://dx.doi.org/10.1007/978-3-540-24599-5_49
2003
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
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
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
2002
Thielscher M, 2002, 'Reasoning About Actions with CHRs and Finite Domain Constraints', in Stuckey P (ed.), ICLP, Springer, pp. 70 - 84
2002
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, https://doi.org/10.1007/3-540-45656-2
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
2001
Thielscher M, 2001, 'Planning with Noisy Actions (Preliminary Report)', in Brooks M; Corbett D; Stumptner M (eds.), AIold, Springer, pp. 495 - 506
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
2001
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, AUSTIN, TX, pp. 497 - 502, presented at 17th National Conference on Artificial Intelligence (AAAI-2000)/12th Conference on Innovative Applications of Artificial Intelligence (IAAI-2000), AUSTIN, TX, 30 July 2000 - 03 August 2000, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000172441000076&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
2000
orr H-PS; Thielscher M, 2000, 'A New Equational Foundation for the Fluent Calculus', in etal JL (ed.), CL, Springer, pp. 733 - 746
2000
Thielscher M, 2000, 'Representing the Knowledge of a Robot', in Cohn A; Giunchiglia F; Selman B (eds.), KR, Morgan Kaufmann, pp. 109 - 120
2000
Thielscher M, 1999, 'A Theory of First-Order Counterfactual Reasoning', in Burgard W; Christaller T; Cremers A (eds.), KIK, Springer, pp. 137 - 148
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
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, http://dx.doi.org/10.1007/3-540-48315-2_47
1999
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
1998
Thielscher M, 1998, 'Steady Versus Stabilizing State Constraints', in Proceedings of the Symposium on Logical Formalizations of Commonsense Reasoning, pp. 239 - 248
1998
Thielscher M, 1998, 'How (Not) To Minimize Events', in Cohn AG; Schubert LK; Shapiro SC (eds.), KR, Morgan Kaufmann, pp. 60 - 71
1998
Thielscher M, 1998, 'From Situation Calculus to Fluents Calculus\/: A New Motivation', in International Workshop on Nonmonotonic Reasoning, pp. 31 - 39
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
1998
Gabbay DM; Nossum R; Thielscher M, 1997, 'Agents in Proactive Environments.', in Brewka G; Habel C; Nebel B (eds.), KIK, Springer, pp. 389 - 392
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
1997
Thielscher M, 1997, 'Qualified Ramifications', in Kuipers B; Webber B (ed.), AAAI, MIT Press, pp. 466 - 471
1997
Thielscher M, 1997, 'Challenges for Action Theories (Extended Abstract)', in Plander I (ed.), AIICSR, World Scientific Publishing Co. Singapore, pp. 133 - 140
1997
Thielscher M, 1997, 'How (Not) to Minimize Events', in Poster presentations at the International Joint Conference on Artificial Intelligence (IJCAI), Morgan Kaufmann
1997
Schaub T; Thielscher M, 1996, 'Skeptical Query-Answering in Constrained Default Logic', in Gabbay DM (ed.), FAPR, Springer, pp. 567 - 581
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, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:A1996BJ19N00005&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
1996
Herr-mann C; Thielscher M, 1996, 'Reasoning about Continuous Processes', in Clancey B; Weld D (ed.), AAAI, MIT Press, PORTLAND, OR, pp. 639 - 644, presented at 13th National Conference on Artificial Intelligence (AAAI 96) / 8th Conference on Innovative Applications of Artificial Intelligence (IAAI 96), PORTLAND, OR, 04 August 1996 - 08 August 1996, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000082323300095&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
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
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
1996
Schaub T; Thielscher M, 1995, 'Skeptical Query-Answering in Constrained Default Logic', in Brewka G (ed.), Dutch/German Workshop on Nonmonotonic Reasoning, pp. 567 - 581
1995
Thielscher M, 1995, 'Computing Ramifications by Postprocessing', in Mellish CS (ed.), IJCAI, Morgan Kaufmann, pp. 1994 - 2000
1995
Thielscher M, 1995, 'What Is A Skeptical Proof\/?', in Wachsmuth I; Rollinger C-R; Brauer W (eds.), KIK, Springer, pp. 161 - 172
1995
Thielscher M, 1995, 'The Logic of Dynamic Systems', in Mellish CS (ed.), IJCAI, Morgan Kaufmann, pp. 1956 - 1962
1995
Waal AD; Thielscher M, 1995, 'Solving Deductive Planning Problems Using Program Analysis and Transformation', in Proietti M (ed.), LOPSTR, Springer, pp. 189 - 203
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
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
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
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
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
1995
Bornscheuer S-E; Thielscher M, 1994, 'Representing Concurrent Actions and Solving Conflicts', in Nebel B; Dreschler-Fischer L (ed.), KIK, Springer, pp. 16 - 27
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, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:A1994BB17T00017&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
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
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
1994
Bibel W; Thielscher M, 1994, 'Deductive Plan Generation', in Arikawa S; Jantke KP (ed.), AII, Springer, pp. 2 - 5
1994
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
1993
Thielscher M, 1993, 'SLDENF–Resolution', in Beierle S (ed.), Logische Programmierung, Technical Report, pp. 64 - 68
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
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
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, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:A1993BZ94K00079&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
1993
Thielscher M, 1993, 'SLDENF-Resolution.', in Beierle C (ed.), WLP, pp. 100 - 103, http://www.informatik.uni-trier.de/~ley/db/conf/wlp/wlp93.html
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, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:A1993BZ94K00013&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
1993
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
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
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
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
1992
Working Papers
add
Hengst B; Pagnucco M; Rajaratnam D; Sammut C; Thielscher M, 2019, Perceptual Context in Cognitive Hierarchies, http://dx.doi.org10.1007/978-3-030-22102-7_16, http://arxiv.org/abs/1801.02270v1
2019
Creative Works (non-textual)
add
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/
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, 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
2017
Books
add
Cazenave T; Winands MHM; Edelkamp S; Schiffel S; Thielscher M; Togelius J, 2017, Preface
2017
Cazenave T; Winands MHM; Edelkamp S; Schiffel S; Thielscher M; Togelius J, 2016, Preface
2016
Genesereth M; Thielscher M, 2014, General Game Playing, Morgan & Claypool, http://dx.doi.org/10.2200/S00564ED1V01Y201311AIM024
2014
Thielscher M, 2008, Action Programming Languages, Synthesis Lectures on Artificial Intelligence and Machine Le, Morgan & Claypool
2008
Thielscher M, 2005, Reasoning Robots: The Art and Science of Programming Robotic Agents (vol. 33 of Applied Logic Series), First, Springer, The Netherlands
2005
Thielscher M, 2000, Challenges for Action Theories, Lecture Notes in Computer Science, Springer
2000
Thielscher M, 2000, Challenges for Action Theories\/: Solving the Ramification and Qualification Problem, LNAI, Springer
2000
Thielscher M, 1995, Automatisiertes Schließen über Kausalbeziehungen mit SLDENF-Resolution, DISKI, infix, St. Augustin
1995
Conference Proceedings (Editor of)
add
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
2016
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
2013
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
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
2012
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
2011
2009, 'Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface', Vol. 5405 LNAI
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
2009
Recorded / Rendered Creative Works
add
Del Favero D; Harley R; Bennett J; Thielscher M; Brown N; Stockings C; Reid R, 2016, Retrospect, Retrospect: War, Family Afghanistan, Museum Victoria, Melbourne, Published: 01 July 2016, Recorded / Rendered Creative Works, https://www.artdesign.unsw.edu.au/whats-on/events/retrospect-war-family-afghanistan
2016
Book Chapters
add
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
2015
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
2011
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
2010
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
2000
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
1998
Bibel W; Thielscher M, 1996, 'Non-Classical Automated Deduction', in Albrecht R; Herre H (ed.), Trends in Theoretical Informatics, Oldenbourg, pp. 39 - 59
1996
Curatorial Outputs
add
Del Favero D; Harley R; Bennett J; Thielscher M; Brown NC; Stockings C; Kuchelmeister V; MacGregor A; Reid R, 2015, Retrospect: War, Family, Afghanistan, exhibited at: ABC Radio, Australia, 21 March 2015 - 01 October 2020, Retrospect: War, Family, Afghanistan (radio series), http://retrospect.abcradio.net.au/
2015
Reports
add
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
2001
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
2000
Thielscher M, 1998, Disputation Theory Applied To Disjunctive Logic Programs, Dept. of Computer Science, Dresden University of Technology, TUD/FI98-06
1998
Thielscher M, 1998, Event Minimization with the Fluent Calculus, Knowledge Representation Group, Dresden University of Technology, TUD/FI98-03
1998
Thielscher M, 1996, Qualification and Causality, International Computer Science Institute (ICSI), Berkeley, CA, TR-96-026
1996
Thielscher M, 1996, On a Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs, FG Intellektik, TH Darmstadt, AIDA–96–09
1996
Herrmann C; Thielscher M, 1996, On Reasoning About Continuous Processes, FG Intellektik, TH Darmstadt, AIDA–96–04
1996
André de Waal MB; Thielscher M, 1996, The Automatic Generation of Pre-Interpretations for Detecting Unsolvable Planning Problems, Katholieke Universiteit Leuven, CW224
1996
Waal AD; Thielscher M, 1995, Solving Deductive Planning Problems Using Program Analysis and Transformation, FG Intellektik, TH Darmstadt, AIDA–95–04
1995
uning SB; olldobler SH; Schneeberger J; Sigmund U; Thielscher M, 1994, Disjunction in Resource-Oriented Deductive Planning, Intellektik, TH Darmstadt, AIDA–94–03
1994
Thielscher M, 1993, Modelling theories of actions by Equational Logic Programs, FG Intellektik, TH Darmstadt, AIDA–93–18
1993
Thielscher M, 1992, AC1-Unifikation in der linearen logischen Programmierung, Intellektik, Informatik, Darmstadt, Germany, 42
1992
Große G; olldobler SH; Schneeberger J; Sigmund U; Thielscher M, 1992, Equational Logic Programming, Actions, and Change, FG Intellektik, TH Darmstadt, AIDA–92–14
1992
Thielscher M, 1991, Prognostizieren im Poole’schen Ansatz – Arbeiten mit THEORIST, Intellektik, Informatik, Darmstadt, Germany, 18
1991
Other
add
Henschel A; Thielscher M, 1999, The LMW Traffic World in the Fluent Calculus
1999
Theses / Dissertations
add
Thielscher M, 1992, AC1-Unifikation in der linearen logischen Programmierung, mastersthesis, FG Intellektik, TH Darmstadt
1992

Artificial Intelligence, Cognitive Robotics, Intelligent Agents, General Game Playing, Knowledge Representation. Logic Programming, Nonmonotonic Reasoning.