Professor Michael Thielscher

Back to

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

His research interests include:

Artificial General Intelligence
Cognitive Robotics
General Game Playing
Knowledge Representation
Intelligent Agents

Phone

+61 2 9385 7129

E-mail

m.thielscher@unsw.edu.au

Location

Office 609 Building K17

Books | 2017

Cazenave T; Winands MHM; Edelkamp S; Schiffel S; Thielscher M; Togelius J, 2017, Preface

Books | 2016

Cazenave T; Winands MHM; Edelkamp S; Schiffel S; Thielscher M; Togelius J, 2016, Preface

Books | 2014

Genesereth M; Thielscher M, 2014, General Game Playing, Morgan & Claypool, http://dx.doi.org/10.2200/S00564ED1V01Y201311AIM024

Books | 2014

Genesereth M; Thielscher M, 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, Springer International Publishing, http://dx.doi.org/10.1007/978-3-031-01547-2

Books | 2008

Thielscher M, 2008, Action Programming Languages, Morgan & Claypool

Books | 2005

Thielscher M, 2005, Reasoning Robots: The Art and Science of Programming Robotic Agents (vol. 33 of Applied Logic Series), First, Springer, The Netherlands

Books | 2000

Thielscher M, 2000, Challenges for Action Theories, Springer Berlin Heidelberg, http://dx.doi.org/10.1007/3-540-45596-5

Books | 2000

Thielscher M, 2000, Challenges for Action Theories\/: Solving the Ramification and Qualification Problem, LNAI, Springer

Books | 1995

Thielscher M, 1995, Automatisiertes Schließen über Kausalbeziehungen mit SLDENF-Resolution, DISKI, infix, St. Augustin
Book Chapters | 2022

Partridge Z; Thielscher M, 2022, 'Hidden Information General Game Playing with Deep Learning and Search', in , pp. 161 - 172, 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

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

Book Chapters | 2011

Thielscher M, 2011, 'Translating General Game Descriptions into an Action Language', in Balduccinin M; Son T (ed.), , Springer, pp. 300 - 314

Book Chapters | 2010

Schiffel S; Thielscher M, 2010, 'A Multiagent Semantics for the Game Description Language', in Filipe J; Fred A; Sharp B (ed.), , Springer, pp. 44 - 55

Book Chapters | 2000

Thielscher M, 2000, 'Nondeterministic Actions in the Fluent Calculus\/: Disjunctive State Update Axioms', in olldobler SH (ed.), Intellectics and Computational Logic, Kluwer Academic, pp. 327 - 345

Book Chapters | 1998

Thielscher M, 1998, 'Kognitive Robotik — Perspektiven und Grenzen der KI-Forschung', in Akademie der Wissenschaften und der Literatur M (ed.), Colloquia Academica, Franz Steiner Verlag, Stuttgart, pp. 41 - 54

Book Chapters | 1996

Bibel W; Thielscher M, 1996, 'Non-Classical Automated Deduction', in Albrecht R; Herre H (ed.), Trends in Theoretical Informatics, Oldenbourg, pp. 39 - 59

Book Chapters |

Thielscher M, '17 Universelle Spielprogramme', in Görz G; Schneeberger J; Schmid U (ed.), Handbuch der Künstlichen Intelligenz, DE GRUYTER, http://dx.doi.org/10.1524/9783486719796.613
Journal articles | 2023

Hengst B; Pagnucco M; Rajaratnam D; Sammut C; Thielscher M, 2023, 'Online Learning and Planning in Cognitive Hierarchies.', CoRR, abs/2310.12386

Journal articles | 2021

Engesser T; Mattmüller R; Nebel B; Thielscher M, 2021, 'Game description language and dynamic epistemic logic compared', Artificial Intelligence, 292, http://dx.doi.org/10.1016/j.artint.2020.103433

Journal articles | 2019

Schofield M; Thielscher M, 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

Schiffel M; Thielscher M, 2014, 'Representing and Reasoning About the Rules of General Games With Imperfect Information', Journal of Artificial Intelligence Research, 49, pp. 171 - 206, http://dx.doi.org/10.1613/jair.4115

Journal articles | 2013

Strass H; Thielscher M, 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

Thielscher M; Ruan J, 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

Haufe S; Schiffel S; Thielscher M, 2012, 'Automated Verification of State Sequence Invariants in General Game Playing', AIJ, 187–188, pp. 1 - 30

Journal articles | 2012

Strass H; Thielscher M, 2012, 'A Language for Default Reasoning about Actions', Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz, 7265, pp. 527 - 542

Journal articles | 2011

Drescher C; Thielscher M, 2011, 'ALPprolog - A new logic programming method for dynamic domains.', Theory Pract. Log. Program., 11, pp. 451 - 468, http://dx.doi.org/10.1017/S1471068411000111

Journal articles | 2011

Drescher C; Thielscher M, 2011, 'ALPprolog —A new logic programming method for dynamic domains', TPLP, 11, pp. 451 - 468

Journal articles | 2011

Haufe S; Michulke D; Schiffel S; Thielscher M, 2011, 'Knowledge-based general game playing', KI, 25, pp. 25 - 33

Journal articles | 2011

Thielscher M, 2011, 'A Unifying Action Calculus', AIJ, 175, pp. 120 - 141

Journal articles | 2011

Thielscher M, 2011, 'GDL-II', KI, 25, pp. 63 - 66

Journal articles | 2011

Thielscher M, 2011, 'Special Issue on General Game Playing', KI - Kunstliche Intelligenz, 25, pp. 5 - 7, 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

Björnsson Y; Thielscher M, 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 | 2008

Jin Y; Thielscher M, 2008, 'Reinforcement Belief Revision', JLC, 18, pp. 783 - 813

Journal articles | 2007

Jin Y; Thielscher M, 2007, 'Iterated Belief Revision, Revised', AIJ, 171, pp. 1 - 18

Journal articles | 2006

Achtner W; Aimeur E; Anand SS; Appelt D; Ashish N; Barnes T; Beck JE; Beetz M; Dias MB; Doshi P; Drummond C; Elazmeh W; Felner A; Freitag D; Geffner H; Geib CW; Goodwin R; Holte RC; Hutter F; Isaac F; Japkowicz N; Kaminka GA; Koenig S; Lagoudakis MG; Leake D; Lewis L; Liu H; Metzler T; Mihalcea R; Mobasher B; Poupart P; Pynadath DV; Rajan K; Roth-Berghofer T; Ruml W; Rusu RB; Schulz S; Schwarz S; Seneff S; Sheth A; Sun R; Thielscher M; Upal A; Williams J; Young S; Zelenko D, 2006, 'Reports on the Twenty-First National Conference on Artificial Intelligence (AAAI-06) workshop program', AI Magazine, 27, pp. 92 - 102

Journal articles | 2006

Achtner W; Aïmeur E; Anand SS; Appelt DE; Ashish N; Barnes T; Beck JE; Dias MB; Doshi P; Drummond C; Elazmeh W; Felner A; Freitag D; Geffner H; Geib CW; Goodwin R; Holte RC; Hutter F; Isaac F; Japkowicz N; Kaminka GA; Koenig S; Lagoudakis MG; Leake DB; Lewis L; Liu H; Metzler T; Mihalcea R; Mobasher B; Poupart P; Pynadath DV; Roth-Berghofer T; Ruml W; Schulz S; Schwarz S; Seneff S; Sheth AP; Sun R; Thielscher M; Upal A; Williams JD; Young SJ; Zelenko D, 2006, 'Reports on the Twenty-First National Conference on Artificial Intelligence (AAAI-06) Workshop Program.', AI Mag., 27, pp. 92 - 102

Journal articles | 2006

Beetz M; Rajan K; Thielscher M; Rusu RB, 2006, 'AAAI Workshop - Technical Report: Preface', AAAI Workshop - Technical Report, WS-06-03

Journal articles | 2006

Coradeschi S; Ishiguro H; Asada M; Shapiro S; Thielscher M; Breazeal C; Mataric M; Ishida H, 2006, 'Human-Inspired Robots', IEEE Intelligent Systems, 21, pp. 74 - 85, http://dx.doi.org/10.1109/MIS.2006.72

Journal articles | 2006

Coradeschi S; Ishiguro H; Asada M; Shapiro S; Thielscher M; Breazeal C; Matarić M; Ishida H, 2006, 'Human-Inspired Robots', IEEE Intelligent Systems, 21, pp. 75 - 85

Journal articles | 2006

Thielscher M, 2006, 'General Game Playing', KI — K"unstliche Intelligenz, 4/06, pp. 37 - 39

Journal articles | 2005

Jin Y; Thielscher M, 2005, 'Iterated belief revision, revised', 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2005

Journal articles | 2005

Thielscher M, 2005, 'FLUX: A programming language for reasoning agents', Theory and Practice of Logic Programming, 5, pp. 533 - 565

Journal articles | 2005

Thielscher M, 2005, 'FLUX\/: A Logic Programming Method for Reasoning Agents', TPLP, 5, pp. 533 - 565

Journal articles | 2005

Thielscher M, 2005, 'Handling Implication and Universal Quantification Constraints in FLUX', CP, 3709, pp. 667 - 681

Journal articles | 2004

Thielscher M, 2004, 'FLUX: A Logic Programming Method for Reasoning Agents', CoRR, cs.AI/0408044

Journal articles | 2003

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

Journal articles | 2001

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

Journal articles | 2001

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

Journal articles | 1999

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

Journal articles | 1999

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

Journal articles | 1999

Thielscher M, 1999, 'From Situation Calculus to Fluent Calculus\/: State Update Axioms as a Solution to the Inferential Frame Problem', AIJ, 111, pp. 277 - 299

Journal articles | 1998

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

Journal articles | 1998

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

Journal articles | 1998

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

Journal articles | 1997

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

Journal articles | 1997

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

Journal articles | 1997

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

Journal articles | 1997

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

Journal articles | 1996

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

Journal articles | 1996

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

Journal articles | 1996

Thielscher M, 1996, 'Ramification and Causality',

Journal articles | 1995

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

Journal articles | 1995

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

Journal articles | 1994

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

Journal articles | 1993

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

Journal articles | 1993

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

Journal articles | 1993

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

Hengst B; Pagnucco M; Rajaratnam D; Sammut C; Thielscher M, 2019, Perceptual Context in Cognitive Hierarchies, http://dx.doi.org10.1007/978-3-030-22102-7_16
Conference Papers | 2024

He Y; Mittelmann M; Murano A; Saffidine A; Thielscher M, 2024, 'Verification of General Games with Imperfect Information using Strategy Logic', in Proceedings of the International Conference on Knowledge Representation and Reasoning, pp. 420 - 430

Conference Papers | 2024

He Y; Saffidine A; Thielscher M, 2024, 'Solving Two-player Games with QBF Solvers in General Game Playing', in Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, pp. 807 - 815

Conference Papers | 2024

Ji J; Thielscher M, 2024, 'MCTS with Dynamic Depth Minimax', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 63 - 75, http://dx.doi.org/10.1007/978-3-031-54968-7_6

Conference Papers | 2023

Cunanan M; Thielscher M, 2023, 'On Optimal Strategies for Wordle and General Guessing Games', in IJCAI International Joint Conference on Artificial Intelligence, pp. 5541 - 5548, http://dx.doi.org/10.24963/ijcai.2023/615

Preprints | 2023

Cunanan M; Thielscher M, 2023, On Optimal Strategies for Wordle and General Guessing Games, , http://arxiv.org/abs/2305.09111v1

Preprints | 2023

Hengst B; Pagnucco M; Rajaratnam D; Sammut C; Thielscher M, 2023, Online Learning and Planning in Cognitive Hierarchies, http://arxiv.org/abs/2310.12386v1

Conference Papers | 2023

Zammit S; Thielscher M, 2023, 'General Game Playing With State-Independent Communication', in Proceedings of the International Conference on Knowledge Representation and Reasoning, pp. 710 - 719, http://dx.doi.org/10.24963/kr.2023/69

Conference Papers | 2022

McEwan C; Thielscher M, 2022, 'Knowledge Transfer for Deep Reinforcement Agents in General Game Playing', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 53 - 66, http://dx.doi.org/10.1007/978-3-030-97546-3_5

Creative Works (non-textual) | 2021

Del Favero D; Kenderdine S; Shaw J; Lancaster L; Thielscher M; Ge J; Kelly L; Zhenhua L, 2021, The Atlas of Maritime Buddhism, Buddhist Maritime Silk Road – New Media Art Exhibition, Fo Guan Shan Monastery, Taiwan, 16 May 2021 - 17 May 2025, medium: Installation, at: https://www.fgsbmc.org.tw/maritime/en-bmsr.html#curators

Creative Works (non-textual) | 2021

Del Favero D; Kenderdine S; Thielscher M; Shaw J; Lancaster L; Ge J; Kelly L; Zhenhua L, 2021, Atlas of Maritime Buddhism VR, The Atlas of Maritime Buddhism VR, Hanart TZ Gallery, Hong Kong, 21 August 2021 - 02 October 2021, medium: Art Installation, at: http://www.hanart.com/exhibition/atlas-of-maritime-buddhism-vr/?status=future〈=en

Conference Papers | 2021

Rajaratnam D; Thielscher M, 2021, 'Representing and Reasoning with Event Models for Epistemic Planning', in Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, pp. 519 - 528, http://dx.doi.org/10.24963/kr.2021/49

Conference Papers | 2020

Calvanese D; Erdem E; Thielscher M, 2020, 'Preface', in 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020

Conference Papers | 2020

Goldwaser A; Thielscher M, 2020, 'Deep reinforcement learning for general game playing', in AAAI 2020 - 34th AAAI Conference on Artificial Intelligence, New York, pp. 1701 - 1708, presented at 34th AAAI Conference on Artificial Intelligence, New York, 07 February 2020, http://dx.doi.org/10.1609/aaai.v34i02.5533

Conference Papers | 2020

Gunawan A; Ruan J; Thielscher M; Narayanan A, 2020, 'Exploring a Learning Architecture for General Game Playing', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 294 - 306, http://dx.doi.org/10.1007/978-3-030-64984-5_23

Conference Papers | 2020

2020, 'Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020.', in Calvanese D; Erdem E; Thielscher M (eds.), KR

Conference Papers | 2019

Manuel S; Rajaratnam D; Thielscher M, 2019, 'Encoding epistemic strategies for general game playing', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Cuvu, Yanuca Island, Fiji, pp. 555 - 567, presented at PRICAI, Cuvu, Yanuca Island, Fiji, 26 August 2019 - 30 August 2019, http://dx.doi.org/10.1007/978-3-030-29908-8_44

Conference Papers | 2018

Chitizadeh A; Thielscher M, 2018, 'General language evolution in general game playing', in Mitrovic T; Xue B; Li X (eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, Cham, Wellington, New Zealand, pp. 51 - 64, presented at Australasian Joint Conference on Artificial Intelligence : AI 2018, Wellington, New Zealand, 11 December 2018 - 14 December 2018, http://dx.doi.org/10.1007/978-3-030-03991-2_5

Conference Papers | 2018

Chitizadeh A; Thielscher M, 2018, 'Iterative Tree Search in General Game Playing with Incomplete Information', in Communications in Computer and Information Science, Stockholm, Sweden, pp. 98 - 115, presented at CGW 2018 Computer Games Workshop, Stockholm, Sweden, 13 July 2018, http://dx.doi.org/10.1007/978-3-030-24337-1_5

Conference Papers | 2018

Engesser T; Mattmüller R; Nebel B; Thielscher M, 2018, 'Game description language and dynamic epistemic logic compared', in Lang J (ed.), IJCAI International Joint Conference on Artificial Intelligence, International Joint Conferences on Artificial Intelligence, Stockholm, Sweden, pp. 1795 - 1802, presented at IJCAI-ECAI-18, Stockholm, Sweden, 13 July 2018 - 19 July 2018, http://dx.doi.org/10.24963/ijcai.2018/248

Preprints | 2018

Hengst B; Pagnucco M; Rajaratnam D; Sammut C; Thielscher M, 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; Del Favero D, 2017, Domelab, Songlines: Tracking the Seven Sisters, National Museum Canberra, 15 September 2017 - 25 February 2018, medium: Visualisation Environment, at: http://www.nma.gov.au/exhibitions/songlines

Conference Papers | 2017

Schofield M; Thielscher M, 2017, 'The efficiency of the hyperplay technique over random sampling', in 31st AAAI Conference on Artificial Intelligence, AAAI 2017, pp. 282 - 289

Conference Papers | 2017

Thielscher M, 2017, 'GDL-III: A description language for epistemic general game playing', in Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, International Joint Conferences on Artifical Intelligence (IJCAI), Melbourne, Australia, pp. 1276 - 1282, presented at International Joint Conference on Artificial Intelligence (IJCAI), Melbourne, Australia, 19 August 2017 - 25 August 2017, 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, Published: 01 July 2016, Recorded / Rendered Creative Works, https://www.artdesign.unsw.edu.au/whats-on/events/retrospect-war-family-afghanistan

Conference Papers | 2016

Rajaratnam D; Hengst B; Pagnucco M; Sammut C; Thielscher M, 2016, 'Composability in cognitive hierarchies', in Kang BH; Bai Q (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, Hobart, TAS, Australia, pp. 42 - 55, presented at 29th Australasian Joint Conference, Hobart, TAS, Australia, 05 December 2016 - 08 December 2016, http://dx.doi.org/10.1007/978-3-319-50127-7_4

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.', Daejeon, Korea, presented at IEEE/RSJ International Conference on Intelligent Robots and Systems, Daejeon, Korea, 09 October 2016 - 14 October 2016

Conference Proceedings (Editor of) | 2016

Cazenave T; Winands MHM; Edelkamp S; Schiffel S; Thielscher M; Togelius J, (eds.), 2016, 'Computer Games - Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers', Springer, Vol. 614

Conference Papers | 2016

2016, 'A Framework for Integrating Symbolic and Sub-symbolic Representations'

Conference Papers | 2016

2016, 'Computer Poker and Imperfect Information Games, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016.', in Lisý V; Thielscher M; Nguyen T (eds.), AAAI Workshop: Computer Poker and Imperfect Information Games, AAAI Press

Conference Papers | 2015

Rajaratnam DP; Thielscher MIT, 2015, 'Execution Monitoring as Meta-Games for General Game-Playing Robots', in Wooldridge M; Yang Q (ed.), Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, presented at 24th International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, Argentina, 25 July 2015 - 31 July 2015, http://ijcai.org/papers15/contents.php

Conference Papers | 2015

Schofield M; Thielscher M, 2015, 'Lifting Model Sampling for General Game Playing to Incomplete-Information Models', in Bonet B (ed.), Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, presented at AAAI Conference on Artificial Intelligence, Austin, 25 January 2015 - 30 January 2015

Conference Papers | 2015

Zhang D; Thielscher M, 2015, 'A Logic for Reasoning About Game Strategies', in Bonet B; Koenig S (ed.), Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, presented at AAAI Conference on Artificial Intelligence, Austin, 25 January 2015 - 30 January 2015, https://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/viewFile/9822/9449

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

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

Conference Papers | 2014

Rajaratnam D; Levesque HJ; Pagnucco M; Thielscher M, 2014, 'Forgetting in Action', in Baral C; De Giacomo G (ed.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, AAAI Press, Vienna, Austria, presented at 14th International Conference on Principles of Knowledge Representation and Reasoning, Vienna, Austria, 20 July 2014 - 24 July 2014, http://www.aaai.org/Press/press.php

Conference Papers | 2014

Romero J; Saffidine A; Thielscher M, 2014, 'Solving the inferential frame problem in the general Game Description Language', in Proceedings of the National Conference on Artificial Intelligence, pp. 515 - 521

Conference Papers | 2014

2014, 'KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings', in Lutz C; Thielscher M (ed.), KI, Springer

Conference Papers | 2013

Cerexhe T; Sabuncu O; Thielscher M, 2013, 'Evaluating Answer Set Clause Learning for General Game Playing', in Logic Programming and Nonmonotonic Reasoning : Lecture Notes in Computer Science, Springer, Corunna, Spain, presented at 12th International Conference on Logic Programming and Nonmonotonic Reasoning, Corunna, Spain, 15 September 2013 - 19 September 2013, http://dx.doi.org/10.1007/978-3-642-40564-8_22

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 Papers | 2013

Pagnucco M; Rajaratnam DP; Strass H; Thielscher M, 2013, 'Implementing Belief Change in the Situation Calculus and an Application', in Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, Corunna, presented at 12th International Conference on Logic Programming and Nonmonotonic Reasoning, Corunna, 15 September 2013 - 19 September 2013, http://dx.doi.org/10.1007/978-3-642-40564-8_44

Conference Papers | 2013

Rajaratnam D; Thielscher M, 2013, 'Towards General Game-Playing Robots: Models, Architecture and Game Controller', in Cranefield S; Nayak A (ed.), AI 2013: Advances in Artificial Intelligence. Lecture Notes in Computer Science, Springer, Heidelberg, Germany, presented at 26th Australasian Joint Conference on Artificial Intelligence, Dunedin, New Zealand, 04 December 2013 - 06 December 2013, http://dx.doi.org/10.1007/978-3-319-03680-9_29

Conference Papers | 2013

Thielscher M, 2013, 'Filtering With Logic Programs and Its Application to General Game Playing', in desJardins M; Littman M (ed.), Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, AAAI Press, Bellevue, Washington, USA, presented at The Twenty-Seventh AAAI Conference (AAAI-13), Bellevue, Washington, USA, 14 July 2013 - 18 July 2013, http://www.aaai.org/ocs/index.php/AAAI/AAAI13/paper/view/6302

Conference Proceedings (Editor of) | 2013

ornsson YB; Thielscher M, (ed.), 2013, 'General Intelligence in Game-Playing Agents (GIGA)', Proceedings of the Workshop at the International Joint Conference on Artificial Intelligence

Conference Papers | 2012

Haufe S; Thielscher M, 2012, 'Automated Verification of Epistemic Properties for General Game Playing', in Brewka G; Eiter T; McIlraith S (eds.), KR, AAAI Press, pp. 339 - 349

Conference Papers | 2012

Ruan J; Thielscher M, 2012, 'Strategic and Epistemic Reasoning for the Game Description Language GDL-II', in Raedt LD; Bessière C; Dubois D; Doherty P; Heintz PFF; Lucas P (eds.), ECAI, IOS Press, pp. 696 - 701

Conference Papers | 2012

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

Conference Papers | 2012

Schofield M; Cerexhe T; Thielscher M, 2012, 'HyperPlay: A Solution to General Game Playing with Imperfect Information', in Proceedings of the 26th AAAI Conference on Artificial Intelligence, AAAI 2012, pp. 1606 - 1612, http://dx.doi.org/10.1609/aaai.v26i1.8335

Conference Proceedings (Editor of) | 2012

Thielscher M; Zhang D, (ed.), 2012, 'AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings', Springer, Vol. 7691

Conference Proceedings (Editor of) | 2012

Thielscher M; Zhang D, (ed.), 2012, 'AI-2012: Advances in Artificial Intelligence. LNCS v. 7691', Springer-Verlag, Berlin Heidelberg, presented at 25th Australasian Joint Conference on Artificial Intelligence, Sydney, Australia, 04 December 2012 - 07 December 2012

Preprints | 2011

Drescher C; Thielscher M, 2011, ALPprolog --- A New Logic Programming Method for Dynamic Domains, http://dx.doi.org/10.48550/arxiv.1107.5242

Conference Papers | 2011

Pagnucco M; Strass H; Rajaratnam D; Thielscher M, 2011, 'How to Plan When being Deliberately Misled', in Automated Action Planning for Autonomous Mobile Robots—Papers from the 2011 AAAI Workshop (PAMR), pp. 45 - 50

Conference Papers | 2011

Ruan J; Thielscher M, 2011, 'The Epistemic Logic Behind the Game Description Language', in Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011, pp. 840 - 845, http://dx.doi.org/10.1609/aaai.v25i1.7943

Conference Papers | 2011

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

Conference Papers | 2011

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

Conference Papers | 2011

Schiffel S; Thielscher M, 2011, 'Reasoning About General Games Described in GDL-II', in Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011, pp. 846 - 851, http://dx.doi.org/10.1609/aaai.v25i1.7944

Conference Papers | 2011

Thielscher M, 2011, 'General Game Playing in AI Research and Education', in Bach J; Edelkamp S (ed.), KIK, Springer, pp. 26 - 37

Conference Papers | 2011

Thielscher M, 2011, 'The General Game Playing Description Language is Universal', in IJCAI, pp. 1107 - 1112

Conference Proceedings (Editor of) | 2011

ornsson YB; Sturtevant N; Thielscher M, (eds.), 2011, 'General Intelligence in Game-Playing Agents (GIGA)', Proceedings of the Workshop at the International Joint Conference on Artificial Intelligence

Conference Papers | 2011

2011, 'KI—K"unstliche Intelligenz\/: Special Issue on General Game Playing', in Thielscher M (ed.), KI—K"unstliche Intelligenz\/: Special Issue on General Game Playing

Conference Papers | 2010

Baumann R; Brewka G; Strass H; Thielscher M; Zaslawski V, 2010, 'State Defaults and Ramifications in the Unifying Action Calculus', in KR, pp. 435 - 444

Conference Papers | 2010

Haufe S; Thielscher M, 2010, 'Pushing the Envelope\/: General Game Players Prove Theorems', in Li J (ed.), AI, Springer, pp. 1 - 10

Conference Papers | 2010

Martin Y; Thielscher M, 2010, 'Integrating Reasoning About Actions and Bayesian Networks', in Filipe J; Fred A; Sharp B (eds.), ICAART, INSTICC Press, pp. 298 - 304

Conference Papers | 2010

Thielscher M; Voigt S, 2010, 'A Temporal Proof System for General Game Playing', in Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010, pp. 1000 - 1005

Conference Papers | 2010

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

Conference Papers | 2010

Thielscher M; Zhang D, 2010, 'From General Game Descriptions to a Market Specification Language for General Trading Agents', in David E; Gerding E; Sarne D; Shehory O (eds.), Agent-Mediated Electronic Commerce\/: Designing Trading Strategies and Mechanisms for Electronic Markets, Springer, pp. 259 - 274

Conference Papers | 2010

Thielscher M, 2010, 'A General Game Description Language for Incomplete Information Games', in Proceedings of the 24th AAAI Conference on Artificial Intelligence, AAAI 2010, pp. 994 - 999, http://dx.doi.org/10.1609/aaai.v24i1.7647

Conference Papers | 2010

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

Conference Papers | 2010

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

Conference Papers | 2009

Baader F; Drescher C; Liu H; Petersohn U; Steinke P; Thielscher M, 2009, 'Putting ABox Update into Action', in Ghilardi S; Sebastiani R (ed.), FROCOS, Springer, pp. 214 - 229

Conference Papers | 2009

Drescher C; Schiffel S; Thielscher M, 2009, 'A Declarative Agent Programming Language Based On Action Theories', in Ghilardi S; Sebastiani R (ed.), FROCOS, Springer, pp. 230 - 245

Conference Proceedings (Editor of) | 2009

Fisher M; Sadri F; Thielscher M, 2009, 'Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface', Vol. 5405 LNAI

Conference Papers | 2009

Michulke D; Thielscher M, 2009, 'Neural Networks for State Evaluation in General Game Playing', in Buntine W; Grobelnik M; Mladenic D; Shawe-Taylor J (eds.), ECML, Springer, pp. 95 - 110

Conference Papers | 2009

Schiffel S; Thielscher M, 2009, 'Automated Theorem Proving for General Game Playing', in IJCAI, pp. 911 - 916

Conference Papers | 2009

Schiffel S; Thielscher M, 2009, 'Specifying Multiagent Systems in the Game Description Language', in Filipe J; Fred A; Sharp B (eds.), ICAART, pp. 44 - 55

Conference Papers | 2009

Strass H; Thielscher M, 2009, 'Defaults in Action\/: Non-monotonic Reasoning About States in Action Calculi', in Lakemeyer G; Morgenstern L; Williams M-A (eds.), Proceedings of the Symposium on Logical Formalizations of Commonsense Reasoning, pp. 123 - 128

Conference Papers | 2009

Strass H; Thielscher M, 2009, 'On Defaults in Action Theories', in Mertsching B; Hund M; Aziz M (eds.), KIK, Springer, pp. 298 - 305

Conference Papers | 2009

Strass H; Thielscher M, 2009, 'Simple Default Reasoning in Theories of Action', in Nicholson A; Li X (ed.), AI, Springer, pp. 31 - 40

Conference Papers | 2009

Thielscher M; Zhang D, 2009, 'From GDL to a Market Specification Language for General Trading Agents', in Proceedings of the IJCAI Workshop on General Intelligence in Game-Playing Agents (GIGA), pp. 83 - 90

Conference Papers | 2009

Thielscher M, 2009, 'Answer Set Programming for Single-Player Games in General Game Playing', in Hill P; Warren D (ed.), ICLP, Springer, pp. 327 - 341

Conference Papers | 2009

Zhao D; Schiffel S; Thielscher M, 2009, 'Decomposition of Multi-Player Games', in Nicholson A; Li X (ed.), AI, Springer, pp. 475 - 484

Conference Papers | 2009

unther MG; Schiffel S; Thielscher M, 2009, 'Factoring General Games', in Proceedings of the IJCAI Workshop on General Intelligence in Game-Playing Agents (GIGA), pp. 27 - 33

Conference Proceedings (Editor of) | 2009

ornsson YB; Stone P; Thielscher M, (eds.), 2009, 'General Intelligence in Game-Playing Agents (GIGA)', Proceedings of the Workshop at the International Joint Conference on Artificial Intelligence

Conference Papers | 2009

2009, 'Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers', in Fisher M; Sadri F; Thielscher M (eds.), CLIMA, Springer

Conference Papers | 2008

Drescher C; Thielscher M, 2008, 'A Fluent Calculus Semantics for ADL with Plan Constraints', in olldobler SH; Lutz C (ed.), JELIA, Springer, pp. 140 - 152

Conference Papers | 2008

Schiffel S; Thielscher M; Trang DT, 2008, 'An Agent Team based on FLUX for the ProMAS Contest 2007', in Dastani M; Seghrouchni A; Ricci A; Winikoff M (eds.), Programming Multi-Agent Systems, Springer, pp. 261 - 265

Conference Papers | 2007

Drescher C; Thielscher M, 2007, 'Integrating Action Calculi and Description Logics', in Proceedings of the 30th annual German conference on Advances in Artificial Intelligence, Springer-Verlag, Berlin, Heidelberg, pp. 52 - 67, presented at 30th annual German conference on Advances in Artificial Intelligence, Osnabruck, Germany, 10 September 2007 - 13 September 2007, http://dx.doi.org/10.1007/978-3-540-74565-5_8

Conference Papers | 2007

Drescher C; Thielscher M, 2007, 'Integrating Action Calculi and Description Logics', in Hertzberg J; Beetz M; Englert R (eds.), KIK, Springer, pp. 68 - 83

Conference Papers | 2007

Drescher C; Thielscher M, 2007, 'Reasoning About Actions with Description Logics', in Peppas P; Williams M-A (ed.), Proceedings of the Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI

Conference Papers | 2007

Jin Y; Thielscher M; Zhang D, 2007, 'Mutual Belief Revision: Semantics and Computation', in AAAI, AAAI Press, pp. 440 - 445

Conference Papers | 2007

Martin Y; Thielscher M, 2007, 'Integrating Reasoning About Actions and Bayesian Networks', in Peppas P; Williams M-A (ed.), Proceedings of the Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI

Conference Papers | 2007

Schiffel S; Thielscher M, 2007, 'Automatic Construction of a Heuristic Search Function for General Game Playing', in Peppas P; Williams M-A (ed.), Proceedings of the Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI

Conference Papers | 2007

Schiffel S; Thielscher M, 2007, 'Fluxplayer: A Successful General Game Player', in AAAI, AAAI Press, pp. 1191 - 1196, 22 July 2007 - 26 July 2007

Conference Papers | 2007

Schiffel S; Thielscher M, 2007, 'Multi-Agent FLUX for the Gold Mining Domain (System Description)', in Inoue K; Satoh K; Toni F (eds.), CLIMA, Springer, pp. 294 - 303

Conference Papers | 2006

Schiffel S; Thielscher M, 2006, 'Reconciling Situation Calculus and Fluent Calculus', in AAAI, AAAI Press, pp. 287 - 292

Conference Papers | 2006

Thielscher M; Witkowski T, 2006, 'The Features-and-Fluents Semantics for the Fluent Calculus', in Doherty P; Mylopoulos J; Welty C (eds.), KR, pp. 362 - 370

Conference Papers | 2006

Thielscher M, 2006, 'Designing a FLUX Agent for the Dynamic Wumpus World', in Dix J; Hunter A (ed.), Proceedings of the Workshop on Nonmonotonic Reasoning (NMR), pp. 326 - 332

Conference Papers | 2005

Fichtner M; Thielscher M, 2005, 'Anchoring Symbols to Percepts in the Fluent Calculus', in Visser U; Lakemeyer G; Vachtesevanos G; Veloso M (eds.), IJCAI-Workshop on Agents in Real-Time and Dynamic Environments, pp. 11 - 16

Conference Papers | 2005

Jin Y; Thielscher M, 2005, 'Actions and Belief Revision: A Computational Approach.', in Delgrande JP; Lang J; Rott H; Tallon J-M (eds.), Belief Change in Rational Agents, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, presented at Belief Change in Rational Agents: Perspectives from Artificial Intelligence, Philosophy, and Economics, 7.-12. August 2005, http://drops.dagstuhl.de/portals/05321/

Conference Papers | 2005

Jin Y; Thielscher M, 2005, 'Iterated Belief Revision, Revised', in Kaelbling L; Saffiotti A (ed.), IJCAI, pp. 478 - 483

Conference Papers | 2005

Jin Y; Thielscher M, 2005, 'Iterated Belief Revision: A Computational Approach', in Dagstuhl Seminar Proceedings

Conference Papers | 2005

Schiffel S; Thielscher M, 2005, 'Interpreting Golog Programs in Flux', in Proceedings of the International Symposium on Logical Formalizations of Commonsense Reasoning, pp. 193 - 198

Conference Papers | 2005

Skubch H; Thielscher M, 2005, 'Strategy Learning for Reasoning Agents', in Gama J (ed.), ECML, Springer, pp. 733 - 740

Conference Papers | 2005

Thielscher M, 2005, 'A FLUX Agent for the Wumpus World', in Morgenstern L; Pagnucco M (ed.), Proceedings of the Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI, pp. 104 - 108

Conference Papers | 2004

Jin Y; Thielscher M, 2004, 'Representing Beliefs in the Fluent Calculus', in Mántras RLD; Saitta L (ed.), ECAI, IOS Press, pp. 823 - 827

Conference Papers | 2004

Martin Y; Narasamdya I; Thielscher M, 2004, 'Knowledge of Other Agents and Communicative Actions in the Fluent Calculus', in Dubois D; Welty C; Williams M-A (eds.), KR, pp. 623 - 633

Conference Papers | 2004

Martin Y; Narasamdya I; Thielscher M, 2004, 'Knowledge of other agents and communicative actions in the Fluent Calculus', in Proceedings of the 14th International Conference on Automated Planning and Scheduling, ICAPS 2004, pp. 12 - 22

Conference Papers | 2004

Thielscher M, 2004, 'Logic-Based Agents and the Frame Problem\/: A Case for Progression', in Hendricks V (ed.), First-Order Logic Revisited\/: Proceedings of the Conference 75 Years of First Order Logic (FOL75), Logos, pp. 323 - 336

Conference Papers | 2003

Fichtner M; Großmann A; Thielscher M, 2003, 'Intelligent Execution Monitoring in Dynamic Environments', in Doherty P; Lakemeyer G; Veloso M; Visser U (eds.), IJCAI-Workshop on Issues in Designing Physical Agents for Dynamic Real-Time Environments, pp. 99 - 107

Conference Papers | 2003

Ozan KUGI; Thielscher M, 2003, 'A Formal Assessment Result for Fluent Calculus Using the Action Description Language $\cal A_k$', in Kruse R (ed.), KIK, Springer, pp. 209 - 223

Conference Papers | 2003

Thielscher M, 2003, 'Controlling Semi-Automatic Systems with FLUX. (Extended abstract)', in Palamidessi C (ed.), ICLP, Springer, pp. 515 - 516

Conference Papers | 2003

Thielscher M, 2003, 'Controlling semi-automatic systems with FLUX', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), pp. 515 - 516, http://dx.doi.org/10.1007/978-3-540-24599-5_49

Conference Papers | 2002

Thielscher M, 2002, 'Cognitive Agents', in Fronhöfer B; Hölldobler S (ed.), 17. WLP: Workshop Logische Programmierung, TU Dresden, December 11–13, 2002, TU Dresden, 01062 Dresden, pp. 180 - 208, TU Dresden, 01062 Dresden

Conference Papers | 2002

Thielscher M, 2002, 'Programming of Reasoning and Planning Agents with FLUX', in Fensel D; McGuinness D; Williams M-A (eds.), KR, Morgan Kaufmann, pp. 435 - 446

Conference Papers | 2002

Thielscher M, 2002, 'Pushing the Envelope\/: Programming Reasoning Agents', in Baral C; McIlraith S (ed.), AAAI Workshop on Cognitive Robotics, AAAI Press, pp. 110 - 117

Conference Papers | 2002

Thielscher M, 2002, 'Reasoning About Actions with CHRs and Finite Domain Constraints', in Stuckey P (ed.), ICLP, Springer, pp. 70 - 84

Reports | 2001

Buchholz P; Droste M; Ganter B; olldobler SH; Meyer-Wegener K; oschel RP; Reichel H; Thielscher M; Vogler H, 2001, Different Approaches to the Semantics of Workflows, Department of Computer Science, Dresden University of Technology, TUD-FI01-04

Conference Papers | 2001

Martin Y; Thielscher M, 2001, 'Addressing the Qualification Problem in FLUX', in Baader F; Brewka G; Eiter T (eds.), KIK, Springer, pp. 290 - 304

Conference Papers | 2001

Thielscher M, 2001, 'Inferring Implicit State Knowledge and Plans with Sensing Actions', in Baader F; Brewka G; Eiter T (eds.), KIK, Springer, pp. 366 - 380

Conference Papers | 2001

Thielscher M, 2001, 'Planning with Noisy Actions (Preliminary Report)', in Brooks M; Corbett D; Stumptner M (eds.), AIold, Springer, pp. 495 - 506

Conference Papers | 2001

Thielscher M, 2001, 'Planning with Noisy Actions.', in Stumptner M; Corbett D; Brooks MJ (eds.), Australian Joint Conference on Artificial Intelligence, Springer, pp. 495 - 506, presented at AI 2001: Advances in Artificial Intelligence, 14th Australian Joint Conference on Artificial Intelligence, Adelaide, Australia, December 10-14, 2001, Proceedings, https://doi.org/10.1007/3-540-45656-2

Conference Papers | 2000

Thielscher M, 2000, 'Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains—And A Case Study', in Kautz H; Porter B (ed.), AAAI, MIT Press, pp. 497 - 502

Conference Papers | 2000

Thielscher M, 2000, 'Representing the Knowledge of a Robot', in Cohn A; Giunchiglia F; Selman B (eds.), KR, Morgan Kaufmann, pp. 109 - 120

Reports | 2000

Thielscher M, 2000, The Fluent Calculus\/: A Specification Language for Robots with Sensors in Nondeterministic, Concurrent, and Ramifying Environments, Artificial Intelligence Institute, Department of Computer Science, Dresden University of Technology, CL-2000-01

Conference Papers | 2000

orr H-PS; Thielscher M, 2000, 'A New Equational Foundation for the Fluent Calculus', in etal JL (ed.), CL, Springer, pp. 733 - 746

Other | 1999

Henschel A; Thielscher M, 1999, The LMW Traffic World in the Fluent Calculus,

Conference Papers | 1999

Nossum R; Thielscher M, 1999, 'Counterfactual reasoning by means of a calculus of narrative context', in Bouquet P; Serafini L; Brezillon P; Benerecetti M; Castellani F (eds.), CONTEXT, Springer, pp. 495 - 498

Conference Papers | 1999

Thielscher M, 1999, 'A Theory of First-Order Counterfactual Reasoning', in Burgard W; Christaller T; Cremers A (eds.), KIK, Springer, pp. 137 - 148

Conference Papers | 1999

Thielscher M, 1999, 'Continuous Processes in the Fluent Calculus', in Hybrid Systems and AI\/: Modeling and Control of Discrete + Continuous Systems, AAAI Press, pp. 186 - 191

Conference Papers | 1998

Thielscher M, 1998, 'From Situation Calculus to Fluents Calculus\/: A New Motivation', in International Workshop on Nonmonotonic Reasoning, pp. 31 - 39

Conference Papers | 1998

Thielscher M, 1998, 'How (Not) To Minimize Events', in Cohn AG; Schubert LK; Shapiro SC (eds.), KR, Morgan Kaufmann, pp. 60 - 71

Conference Papers | 1998

Thielscher M, 1998, 'Steady Versus Stabilizing State Constraints', in Proceedings of the Symposium on Logical Formalizations of Commonsense Reasoning, pp. 239 - 248

Conference Papers | 1998

Thielscher M, 1998, 'Towards State Update Axioms\/: Reifying Successor State Axioms', in Cerro LFD; Dix J; Furbach U (eds.), Proceedings of the European Workshop on Logics in AI (JELIA), Springer, pp. 248 - 263

Conference Papers | 1998

Thielscher M, 1998, 'Towards a Logic for Causal Reasoning', in Ortiz C (ed.), Prospectes for a Commonsense Theory of Causation, AAAI Press, pp. 101 - 106

Reports | 1998

Thielscher M, 1998, Disputation Theory Applied To Disjunctive Logic Programs, Dept. of Computer Science, Dresden University of Technology, TUD/FI98-06

Reports | 1998

Thielscher M, 1998, Event Minimization with the Fluent Calculus, Knowledge Representation Group, Dresden University of Technology, TUD/FI98-03

Conference Papers | 1997

Gabbay DM; Nossum R; Thielscher M, 1997, 'Agents in Proactive Environments.', in Brewka G; Habel C; Nebel B (eds.), KIK, Springer, pp. 389 - 392

Conference Papers | 1997

Scholz U; Steinmann O; utzle TS; Thielscher M, 1997, 'Planning by Local Search', in Baral C; Goldman R (ed.), Proceedings of the Workshop at AAAI on Robots, Softbots, Immobots\/: Theories of Action, Planning, and Control, pp. 124 - 125

Conference Papers | 1997

Thielscher M, 1997, 'Challenges for Action Theories (Extended Abstract)', in Plander I (ed.), AIICSR, World Scientific Publishing Co. Singapore, pp. 133 - 140

Conference Papers | 1997

Thielscher M, 1997, 'How (Not) to Minimize Events', in Poster presentations at the International Joint Conference on Artificial Intelligence (IJCAI), Morgan Kaufmann

Conference Papers | 1997

Thielscher M, 1997, 'Qualified Ramifications', in Kuipers B; Webber B (ed.), AAAI, MIT Press, pp. 466 - 471

Reports | 1996

André de Waal MB; Thielscher M, 1996, The Automatic Generation of Pre-Interpretations for Detecting Unsolvable Planning Problems, Katholieke Universiteit Leuven, CW224

Conference Papers | 1996

Eder K; olldobler SH; Thielscher M, 1996, 'An Abstract Machine for Reasoning about Situations, Actions, and Causality', in Dyckhoff R; Herre H; Schroeder-Heister P (eds.), ELP, Springer, pp. 137 - 151

Conference Papers | 1996

Herr-mann C; Thielscher M, 1996, 'Reasoning about Continuous Processes', in Clancey B; Weld D (ed.), AAAI, MIT Press, pp. 639 - 644

Reports | 1996

Herrmann C; Thielscher M, 1996, On Reasoning About Continuous Processes, FG Intellektik, TH Darmstadt, 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

Conference Papers | 1996

Thielscher M, 1996, 'Causality and the Qualification Problem', in Aiello LC; Doyle J; Shapiro S (eds.), KR, Morgan Kaufmann, CAMBRIDGE, MA, pp. 51 - 62, presented at 5th International Conference on Principles of Knowledge Representation and Reasoning (KR 96), CAMBRIDGE, MA, 05 November 1996 - 08 November 1996, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:A1996BJ19N00005&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a

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 | 1995

Bibel W; Thielscher M, 1995, 'The Role of Automated Deduction in Intellectics', in Automated Reasoning\/: Bridging the Gap between Theory and Practice, AISB-95 Workshop Programme, pp. 12 - 14

Conference Papers | 1995

Eder K; olldobler SH; Thielscher M, 1995, 'A New View on Actions in Dynamic Systems', in Sandewall E (ed.), Proceedings of the Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI, pp. 3 - 7

Conference Papers | 1995

Eder K; olldobler SH; Thielscher M, 1995, 'A Resource-Oriented Deductive Approach Towards Hierarchical Planning', in Krall A; Geske U (ed.), 11. Workshop Logische Programmierung, GMD-Studien 270, pp. 237 - 246

Conference Papers | 1995

Schaub T; Thielscher M, 1995, 'Skeptical Query-Answering in Constrained Default Logic', in Brewka G (ed.), Dutch/German Workshop on Nonmonotonic Reasoning

Conference Papers | 1995

Thielscher M, 1995, 'Computing Ramifications by Postprocessing', in Mellish CS (ed.), IJCAI, Morgan Kaufmann, pp. 1994 - 2000

Conference Papers | 1995

Thielscher M, 1995, 'On the Logic of Dynamic Systems', in Boutilier C; Goldszmidt M (ed.), Extending Theories of Actions\/: Formal Theory and Practical Applications, AAAI Press, pp. 188 - 193

Conference Papers | 1995

Thielscher M, 1995, 'The Logic of Dynamic Systems', in Mellish CS (ed.), IJCAI, Morgan Kaufmann, pp. 1956 - 1962

Conference Papers | 1995

Thielscher M, 1995, 'What Is A Skeptical Proof\/?', in Wachsmuth I; Rollinger C-R; Brauer W (eds.), KIK, Springer, pp. 161 - 172

Conference Papers | 1995

Waal AD; Thielscher M, 1995, 'Solving Deductive Planning Problems Using Program Analysis and Transformation', in Proietti M (ed.), LOPSTR, Springer, pp. 189 - 203

Reports | 1995

Waal AD; Thielscher M, 1995, Solving Deductive Planning Problems Using Program Analysis and Transformation, FG Intellektik, TH Darmstadt, 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 | 1994

Bibel W; Thielscher M, 1994, 'Deductive Plan Generation', in Arikawa S; Jantke KP (ed.), AII, Springer, pp. 2 - 5

Conference Papers | 1994

Bornscheuer S-E; Thielscher M, 1994, 'Representing Concurrent Actions and Solving Conflicts', in Nebel B; Dreschler-Fischer L (ed.), KIK, Springer, pp. 16 - 27

Conference Papers | 1994

Thielscher M, 1994, 'An Analysis of Systematic Approaches to Reasoning about Actions and Change', in Jorrand P; Sgurev V (ed.), AIMSA, World Scientific, pp. 195 - 204

Conference Papers | 1994

Thielscher M, 1994, 'Representing Actions in Equational Logic Programming', in Hentenryck PV (ed.), ICLP, MIT Press, S MARGHERITA LIGURE, ITALY, pp. 207 - 224, presented at 11th International Conference on Logic Programming, S MARGHERITA LIGURE, ITALY, 13 June 1994 - 18 June 1994, 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

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 | 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, '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

olldobler SH; Thielscher M, 1993, 'On Logic Programming with Multisets', in Omodeo EG; Rossi G (ed.), Proceedings of the Workshop on Logic Programming with Sets at ICLP

Conference Papers | 1993

olldobler SH; Thielscher M, 1993, 'On Logic, Change, and Specificity', in ofer BF (ed.), Proceedings of the Workshop on Reasoning about Action & Change at the International Joint Conference on Artificial Intelligence, pp. 3 - 7

Conference Papers | 1993

uning SB; Große G; olldobler SH; Schneeberger J; Sigmund U; Thielscher M, 1993, 'Disjunction in Plan Generation by Equational Logic Programming', in Horz A (ed.), Beitr"age zum 7. Workshop Planen und Konfigurieren, Arbeitspapiere der GMD 723, pp. 18 - 26

Conference Papers | 1993

uning SB; olldobler SH; Schneeberger J; Sigmund U; Thielscher M, 1993, 'Disjunction in Resource-Oriented Deductive Planning', in Miller D (ed.), ILPS, MIT Press, VANCOUVER, CANADA, pp. 670 - 670, presented at 1993 International Logic Programming Symposium, VANCOUVER, CANADA, 26 October 1993 - 29 October 1993, 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

Recorded / Rendered Creative Works |

Del Favero D; Harley R; Bennett J; Thielscher M; Brown NC; Stockings C; Kuchelmeister V; MacGregor A; Reid R, Retrospect: War, Family, Afghanistan, Editor(s): Rayner M, website, Recorded / Rendered Creative Works, http://retrospect.abcradio.net.au/

Conference Papers |

Strass H; Thielscher M, 'Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions', in EPiC Series in Computing, EasyChair, pp. 58 - 51, presented at LPAR-17-short. short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning., http://dx.doi.org/10.29007/xz7v

Follow

Professor Michael Thielscher