By Professor Michael Thielscher

Reports

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

Waal AD; Thielscher M, 1995, Solving Deductive Planning Problems Using Program Analysis and Transformation, FG Intellektik, TH Darmstadt, AIDA–95–04

uning SB; olldobler SH; Schneeberger J; Sigmund U; Thielscher M, 1994, Disjunction in Resource-Oriented Deductive Planning, Intellektik, TH Darmstadt, AIDA–94–03

Thielscher M, 1993, Modelling theories of actions by Equational Logic Programs, FG Intellektik, TH Darmstadt, AIDA–93–18

Thielscher M, 1992, AC1-Unifikation in der linearen logischen Programmierung, Intellektik, Informatik, Darmstadt, Germany, 42

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

Thielscher M, 1991, Prognostizieren im Poole’schen Ansatz – Arbeiten mit THEORIST, Intellektik, Informatik, Darmstadt, Germany, 18

Theses / Dissertations

Thielscher M, 1992, AC1-Unifikation in der linearen logischen Programmierung, FG Intellektik, TH Darmstadt

Recorded / Rendered Creative Works

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

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

Working Papers

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

Creative Works (non-textual)

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&lang=en

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

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

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/

Preprints

Le T; Thielscher M, 2026, EmoLASP: Emotion Recognition with Language Models and Answer Set Programming, https://arxiv.org/abs/2608.29035v1

Thielscher M; Son TC, 2026, A Study of Belief Revision Postulates in Multi-Agent Systems (Extended Version), http://dx.doi.org/10.48550/arxiv.2605.02249

He Y; Thielscher M, 2026, An ASP-based approach to Solving General Stochastic Two-Player Games, http://dx.doi.org/10.48550/arxiv.2605.23705

He Y; Mittelmann M; Murano A; Saffidine A; Thielscher M, 2025, Repairing General Game Descriptions (extended version), http://dx.doi.org/10.48550/arxiv.2508.10438

Luong K; Thielscher M, 2024, Hierarchically Gated Experts for Efficient Online Continual Learning, http://dx.doi.org/10.48550/arxiv.2412.17188

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

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

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

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

Thielscher M, 2004, FLUX: A Logic Programming Method for Reasoning Agents, http://dx.doi.org/10.48550/arxiv.cs/0408044

Si Y; Gong S; Thielscher M; Bateman H; Li B; Chen S; Wang D; An R; Meng Y; Zhang H; An S; Zu J; Su M; Miao Y; Zhou Z; Fan X; Mao L; Chen X; Chen G, Patient-Facing AI Chatbots vs Primary Care Physicians: A Standardized Patient Field Experiment in China, http://dx.doi.org/10.21203/rs.3.rs-9988886/v1

Other

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

Back to profile page