Professor Michael Thielscher
Future Fellow (ARC)

Professor Michael Thielscher

Engineering
Computer Science and Engineering

Professor Michael Thielscher is 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. He is currently President of KR Inc.

His research interests include:

  • Artificial Intelligence
  • Cognitive Robotics
  • Intelligent Agents
  • General Game Playing
  • Knowledge Representation
  • Logic Programming
  • Nonmonotonic Reasoning
Phone
+61 2 9385 7129
Location
Office 401I Building K17
  • Books | 2017
    Cazenave T; Winands MH M; Edelkamp S; Schiffel S; Thielscher M; Togelius J, 2017, Preface
    Books | 2016
    Cazenave T; Winands MH M; Edelkamp S; Schiffel S; Thielscher M; Togelius J, 2016, Preface
    Books | 2014
    2014, General Game Playing, Morgan & Claypool, http://dx.doi.org/10.2200/S00564ED1V01Y201311AIM024
    Books | 2014
    2014, General Game Playing, Springer International Publishing, http://dx.doi.org/10.1007/978-3-031-01569-4
    Books | 2008
    Thielscher M, 2008, Action Programming Languages, Synthesis Lectures on Artificial Intelligence and Machine Le, Morgan & Claypool
    Books | 2008
    2008, ACTION PROGRAMMING LANGUAGES, Springer International Publishing, http://dx.doi.org/10.1007/978-3-031-01547-2
    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\/: Solving the Ramification and Qualification Problem, LNAI, Springer
    Books | 2000
    2000, Challenges for Action Theories, Lecture Notes in Computer Science, Springer Berlin Heidelberg, http://dx.doi.org/10.1007/3-540-45596-5
    Books | 1995
    Thielscher M, 1995, Automatisiertes Schließen über Kausalbeziehungen mit SLDENF-Resolution, DISKI, infix, St. Augustin
  • Book Chapters | 2022
    2022, 'Hidden Information General Game Playing with Deep Learning and Search', in Lecture Notes in Computer Science, Springer Nature Switzerland, pp. 161 - 172, http://dx.doi.org/10.1007/978-3-031-20868-3_12
    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, http://dx.doi.org/10.1515/9783110659948-019
    Book Chapters | 2015
    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
    Book Chapters | 2013
    2013, '17 Universelle Spielprogramme', in Görz G; Schneeberger J; Schmid U (ed.), Handbuch der Künstlichen Intelligenz, DE GRUYTER, pp. 613 - 650, http://dx.doi.org/10.1524/9783486719796.613
    Book Chapters | 2011
    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
    Book Chapters | 2010
    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
    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 | 2021
    2021, 'Game description language and dynamic epistemic logic compared', Artificial Intelligence, 292, http://dx.doi.org/10.1016/j.artint.2020.103433
    Journal articles | 2019
    2019, 'General game playing with imperfect information', Journal of Artificial Intelligence Research, 66, pp. 901 - 935, http://dx.doi.org/10.1613/jair.1.11844
    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, https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000361926600009&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
    Journal articles | 2015
    Zhang D; Thielscher M, 2015, 'Representing and Reasoning about Game Strategies', Journal of Philosophical Logic, 44, pp. 203 - 236, http://dx.doi.org/10.1007/s10992-014-9334-6
    Journal articles | 2014
    2014, 'Representing and Reasoning About the Rules of General Games With Imperfect Information', Journal of Artificial Intelligence Research, 49, pp. 171 - 206, http://dx.doi.org/10.1613/jair.4115
    Journal articles | 2013
    2013, 'A general first-order solution to the ramification problem with cycles', JAPL, 11, pp. 289 - 308, http://dx.doi.org/10.1016/j.jal.2013.05.003
    Journal articles | 2013
    2013, 'Logical-Epistemic Foundations of General Game Descriptions', Studia Logica, 102, pp. 321 - 338, http://dx.doi.org/10.1007/s11225-014-9547-2
    Journal articles | 2012
    2012, 'A Language for Default Reasoning about Actions', Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz, 7265, pp. 527 - 542, http://dx.doi.org/10.1007/978-3-642-30743-0_36
    Journal articles | 2012
    2012, 'Automated Verification of State Sequence Invariants in General Game Playing', AIJ, 187–188, pp. 1 - 30, http://dx.doi.org/10.1016/j.artint.2012.04.003
    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, http://dx.doi.org/10.1017/S1471068411000111
    Journal articles | 2011
    2011, 'A Unifying Action Calculus', AIJ, 175, pp. 120 - 141, http://dx.doi.org/10.1016/j.artint.2010.04.010
    Journal articles | 2011
    2011, 'ALPprolog —A new logic programming method for dynamic domains', TPLP, 11, pp. 451 - 468, http://dx.doi.org/10.1017/S1471068411000111
    Journal articles | 2011
    2011, 'GDL-II', KI, 25, pp. 63 - 66, http://dx.doi.org/10.1007/s13218-010-0076-5
    Journal articles | 2011
    2011, 'Knowledge-based general game playing', KI, 25, pp. 25 - 33, http://dx.doi.org/10.1007/s13218-010-0073-8
    Journal articles | 2011
    2011, 'Special Issue on General Game Playing', KI - Kunstliche Intelligenz, 25, pp. 5 - 7, http://dx.doi.org/10.1007/s13218-010-0084-5
    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
    2008, 'Reinforcement Belief Revision', JLC, 18, pp. 783 - 813, http://dx.doi.org/10.1093/logcom/exm094
    Journal articles | 2008
    2008, 'The IJCAI-09 WORKSHOP ON GENERAL GAME PLAYING', ICGA Journal, 31, pp. 254 - 254, http://dx.doi.org/10.3233/icg-2008-31414
    Journal articles | 2007
    2007, 'Iterated Belief Revision, Revised', AIJ, 171, pp. 1 - 18, http://dx.doi.org/10.1016/j.artint.2006.11.002
    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 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., 27, pp. 92 - 102, http://dx.doi.org/10.1609/aimag.v27i4.1912
    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; 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 | 2006
    2006, 'Human-Inspired Robots', IEEE Intelligent Systems, 21, pp. 74 - 85, http://dx.doi.org/10.1109/MIS.2006.72
    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
    2005, 'FLUX\/: A Logic Programming Method for Reasoning Agents', TPLP, 5, pp. 533 - 565, http://dx.doi.org/10.1017/S1471068405002358
    Journal articles | 2005
    2005, 'Handling Implication and Universal Quantification Constraints in FLUX', CP, 3709, pp. 667 - 681, http://dx.doi.org/10.1007/11564751_49
    Journal articles | 2004
    Thielscher M, 2004, 'FLUX: A Logic Programming Method for Reasoning Agents', CoRR, cs.AI/0408044
    Journal articles | 2003
    2003, 'Intelligent Execution Monitoring in Dynamic Environments', FI, 57, pp. 371 - 392
    Journal articles | 2001
    2001, 'The Concurrent, Continuous Fluent Calculus', Studia Logica, 67, pp. 315 - 331, http://dx.doi.org/10.1023/A:1010558931274
    Journal articles | 2001
    2001, 'The Qualification Problem\/: A Solution to the Problem of Anomalous Models', AIJ, 131, pp. 1 - 37, http://dx.doi.org/10.1016/S0004-3702(01)00131-X
    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
    1999, 'From Situation Calculus to Fluent Calculus\/: State Update Axioms as a Solution to the Inferential Frame Problem', AIJ, 111, pp. 277 - 299, http://dx.doi.org/10.1016/S0004-3702(99)00033-8
    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
    1998, 'Reasoning About Actions\/: Steady Versus Stabilizing State Constraints', AIJ, 104, pp. 339 - 355
    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 | 1997
    1997, 'Agents in Proactive Environments', Journal of Logic and Computation, 9, http://dx.doi.org/10.1093/logcom/9.1.25
    Journal articles | 1996
    Bornscheuer S-E; Thielscher M, 1996, 'Representing Concurrent Actions and Solving Conflicts', IGPL, 4, pp. 355 - 368
    Journal articles | 1996
    1996, 'Explicit and Implicit Indeterminism\/: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems', Journal of Logic Programming, 31, http://dx.doi.org/10.1016/S0743-1066(96)00124-0
    Journal articles | 1996
    1996, 'Ramification and Causality', Artificial Intelligence, 89
    Journal articles | 1995
    1995, 'Computing Change and Specificity with Equational Logic Programs', AMAI, 14, pp. 99 - 133, http://dx.doi.org/10.1007/BF01530895
    Journal articles | 1995
    1995, 'Default Reasoning by Deductive Planning', JAR, 15, pp. 1 - 40, http://dx.doi.org/10.1007/BF00881829
    Journal articles | 1994
    1994, 'On the Completeness of SLDENF-Resolution', Journal of Automated Reasoning, 17, http://dx.doi.org/10.1007/BF00244496
    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, http://dx.doi.org/10.1016/0004-3702(93)90110-W
    Journal articles | 1993
    1993, 'On prediction in Theorist', AIJ, 60, pp. 283 - 292, http://dx.doi.org/10.1016/0004-3702(93)90004-U
  • Working Papers | 2019
    2019, Perceptual Context in Cognitive Hierarchies, http://dx.doi.org10.1007/978-3-030-22102-7_16, http://arxiv.org/abs/1801.02270v1
  • Conference Papers | 2022
    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
    Conference Papers | 2021
    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
    Creative Works (non-textual) | 2021
    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
    Creative Works (non-textual) | 2021
    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
    Conference Papers | 2020
    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
    Conference Papers | 2020
    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
    Conference Papers | 2020
    2020, 'Preface', in 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
    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
    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
    Conference Papers | 2018
    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
    Conference Papers | 2018
    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
    Conference Papers | 2018
    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
    Preprints | 2018
    2018, Perceptual Context in Cognitive Hierarchies, , http://dx.doi.org/10.48550/arxiv.1801.02270
    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, http://dx.doi.org/10.1609/aimag.v38i3.2755
    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, 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
    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
    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, 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
    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, http://dx.doi.org/10.3233/978-1-61499-672-9-1630
    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.', 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
    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', 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
    Conference Papers | 2016
    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
    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
    Recorded / Rendered Creative Works | 2015
    Del Favero D; Harley R; Bennett J; Thielscher M; Brown NC; Stockings C; Kuchelmeister V; MacGregor A; Reid R, 2015, Retrospect: War, Family, Afghanistan, ABC Radio National, Australia, ABC Radio, Australia, Editor(s): Rayner M, website, Published: 01 January 2015, Recorded / Rendered Creative Works, http://retrospect.abcradio.net.au/
    Conference Papers | 2015
    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
    Conference Papers | 2015
    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
    Conference Papers | 2015
    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
    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, http://dx.doi.org/10.1007/978-3-319-13560-1_82
    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, '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
    Conference Papers | 2014
    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
    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
    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
    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 | 2013
    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
    Conference Papers | 2013
    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
    Conference Papers | 2013
    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
    Conference Papers | 2013
    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
    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
    Conference Papers | 2012
    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
    2012, 'HyperPlay: A Solution to General Game Playing with Imperfect Information', in AAAI, AAAI Press, pp. 1606 - 1612
    Conference Papers | 2012
    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
    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, '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
    Conference Papers | 2011
    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
    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 | 2011
    2011, 'Reasoning About General Games Described in GDL-II', in AAAI, pp. 846 - 851
    Conference Papers | 2011
    2011, 'The Epistemic Logic behind the Game Description Language', in AAAI, pp. 840 - 845
    Conference Papers | 2011
    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
    Preprints | 2011
    2011, ALPprolog --- A New Logic Programming Method for Dynamic Domains, , http://dx.doi.org/10.48550/arxiv.1107.5242
    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
    2010, 'A General Game Description Language for Incomplete Information Games', in Fox M; Poole D (ed.), AAAI, pp. 994 - 999
    Conference Papers | 2010
    2010, 'A Temporal Proof System for General Game Playing', in Fox M; Poole D (ed.), AAAI, pp. 1000 - 1005
    Conference Papers | 2010
    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
    Conference Papers | 2010
    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
    Conference Papers | 2010
    2010, 'Integrating Action Calculi and AgentSpeak\/: Closing the Gap', in KR, pp. 79 - 89
    Conference Papers | 2010
    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
    Conference Papers | 2010
    2010, 'State Defaults and Ramifications in the Unifying Action Calculus', in KR, pp. 435 - 444
    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
    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
    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
    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, '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
    Conference Papers | 2009
    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
    Conference Papers | 2009
    2009, 'Automated Theorem Proving for General Game Playing', in IJCAI, pp. 911 - 916
    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 | 2009
    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
    Conference Papers | 2009
    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
    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
    Conference Papers | 2009
    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
    Conference Papers | 2009
    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
    Conference Papers | 2009
    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
    Conference Papers | 2008
    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
    Conference Papers | 2008
    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
    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
    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
    2007, 'Fluxplayer: A Successful General Game Player', in AAAI, AAAI Press, pp. 1191 - 1196, 22 July 2007 - 26 July 2007
    Conference Papers | 2007
    2007, 'Integrating Action Calculi and Description Logics', in Hertzberg J; Beetz M; Englert R (eds.), KIK, Springer, pp. 68 - 83
    Conference Papers | 2007
    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
    Conference Papers | 2007
    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
    Conference Papers | 2007
    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 | 2007
    2007, 'Mutual Belief Revision: Semantics and Computation', in AAAI, AAAI Press, pp. 440 - 445
    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 | 2006
    2006, 'Reconciling Situation Calculus and Fluent Calculus', in AAAI, AAAI Press, pp. 287 - 292
    Conference Papers | 2006
    2006, 'The Features-and-Fluents Semantics for the Fluent Calculus', in Doherty P; Mylopoulos J; Welty C (eds.), KR, pp. 362 - 370
    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, http://drops.dagstuhl.de/portals/05321/
    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 | 2005
    2005, 'Interpreting Golog Programs in Flux', in Proceedings of the International Symposium on Logical Formalizations of Commonsense Reasoning, pp. 193 - 198
    Conference Papers | 2005
    2005, 'Iterated Belief Revision, Revised', in Kaelbling L; Saffiotti A (ed.), IJCAI, pp. 478 - 483
    Conference Papers | 2005
    2005, 'Strategy Learning for Reasoning Agents', in Gama J (ed.), ECML, Springer, pp. 733 - 740, http://dx.doi.org/10.1007/11564096_75
    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 | 2004
    2004, 'Representing Beliefs in the Fluent Calculus', in Mántras RLD; Saitta L (ed.), ECAI, IOS Press, pp. 823 - 827
    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
    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, http://dx.doi.org/10.1007/978-3-540-24599-5_49
    Conference Papers | 2003
    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 | 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
    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
    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
    Conference Papers | 2001
    2001, 'Addressing the Qualification Problem in FLUX', in Baader F; Brewka G; Eiter T (eds.), KIK, Springer, pp. 290 - 304
    Conference Papers | 2001
    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
    2001, 'Planning with Noisy Actions (Preliminary Report)', in Brooks M; Corbett D; Stumptner M (eds.), AIold, Springer, pp. 495 - 506
    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
    2000, 'A New Equational Foundation for the Fluent Calculus', in etal JL (ed.), CL, Springer, pp. 733 - 746
    Conference Papers | 2000
    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
    Other | 1999
    Henschel A; Thielscher M, 1999, The LMW Traffic World in the Fluent Calculus,
    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 | 1999
    1999, 'A Theory of First-Order Counterfactual Reasoning', in Burgard W; Christaller T; Cremers A (eds.), KIK, Springer, pp. 137 - 148
    Conference Papers | 1999
    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
    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 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 | 1998
    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 | 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
    Conference Papers | 1997
    1997, 'Agents in Proactive Environments.', in Brewka G; Habel C; Nebel B (eds.), KIK, Springer, pp. 389 - 392
    Reports | 1996
    André de Waal MB; Thielscher M, 1996, The Automatic Generation of Pre-Interpretations for Detecting Unsolvable Planning Problems, Katholieke Universiteit Leuven, CW224
    Reports | 1996
    Herrmann C; Thielscher M, 1996, On Reasoning About Continuous Processes, FG Intellektik, TH Darmstadt, AIDA–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
    Reports | 1996
    Thielscher M, 1996, On a Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs, FG Intellektik, TH Darmstadt, AIDA–96–09
    Reports | 1996
    Thielscher M, 1996, Qualification and Causality, International Computer Science Institute (ICSI), Berkeley, CA, TR-96-026
    Conference Papers | 1996
    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
    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
    Conference Papers | 1996
    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
    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
    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
    Reports | 1995
    Waal AD; Thielscher M, 1995, Solving Deductive Planning Problems Using Program Analysis and Transformation, FG Intellektik, TH Darmstadt, AIDA–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 | 1995
    1995, 'Skeptical Query-Answering in Constrained Default Logic', in Brewka G (ed.), Dutch/German Workshop on Nonmonotonic Reasoning, pp. 567 - 581
    Conference Papers | 1995
    1995, 'Solving Deductive Planning Problems Using Program Analysis and Transformation', in Proietti M (ed.), LOPSTR, Springer, pp. 189 - 203
    Conference Papers | 1995
    1995, 'What Is A Skeptical Proof\/?', in Wachsmuth I; Rollinger C-R; Brauer W (eds.), KIK, Springer, pp. 161 - 172
    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
    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, AIDA–94–03
    Conference Papers | 1994
    1994, 'Deductive Plan Generation', in Arikawa S; Jantke KP (ed.), AII, Springer, pp. 2 - 5
    Conference Papers | 1994
    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
    Conference Papers | 1994
    1994, 'Representing Concurrent Actions and Solving Conflicts', in Nebel B; Dreschler-Fischer L (ed.), KIK, Springer, pp. 16 - 27
    Conference Papers | 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
    Conference Papers | 1993
    Thielscher M, 1993, 'SLDENF–Resolution', 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, AIDA–93–18
    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
    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
    Conference Papers | 1993
    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
    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, AIDA–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