By Professor Michael Thielscher

Conference Papers

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

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

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

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

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

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

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

olldobler SH; Thielscher M, 1994, 'On the Adequateness of AI-Systems', in Plander I (ed.), AIICSR, World Scientific Publishing Co. Singapore, pp. 41 - 46

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

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

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

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

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

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

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

Thielscher M, 1993, 'SLDENF–Resolution', in Beierle S (ed.), Logische Programmierung, Technical Report, pp. 64 - 68

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

Thielscher M, 1992, 'AC1-Unifikation in der linearen logischen Programmierung', in olldobler SH (ed.), Logische Programmierung, Technical Report AIDA-92-10, pp. 64 - 68

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

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

Strass H; Thielscher M, 'Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions', in EPiC Series in Computing, EasyChair, 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 Proceedings (Editor of)

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

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

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

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

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

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

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

Reports

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

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

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

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

Thielscher M, 1996, On a Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs, FG Intellektik, TH Darmstadt, AIDA–96–09

Herrmann C; Thielscher M, 1996, On Reasoning About Continuous Processes, FG Intellektik, TH Darmstadt, AIDA–96–04

Thielscher M, 1996, Qualification and Causality, International Computer Science Institute (ICSI), Berkeley, CA, TR-96-026

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, mastersthesis, 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, Retrospect: War, Family, Afghanistan, Editor(s): Rayner M, website, 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/

Back to profile page