Professor Michael   Thielscher
Future Fellow (ARC)

Professor Michael Thielscher

Engineering
Sch: Computer Science & Eng

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

Publications

  • Book Chapters | 2020
    Professor Michael Thielscher
    Thielscher M, 2020, 'Universelle Spielprogramme.', in Görz G; Schmid U; Braun T (ed.), Handbuch der Künstlichen Intelligenz, De Gruyter, pp. 817 - 858, https://doi.org/10.1515/9783110659948
    Books | 2017
    Professor Michael Thielscher
    Cazenave T; Winands MHM; Edelkamp S; Schiffel S; Thielscher M; Togelius J, 2017, Preface
    Books | 2016
    Professor Michael Thielscher
    Cazenave T; Winands MHM; Edelkamp S; Schiffel S; Thielscher M; Togelius J, 2016, Preface
    Book Chapters | 2015
    Professor Michael Thielscher
    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
    Books | 2014
    Professor Michael Thielscher
    Genesereth M; Thielscher M, 2014, General Game Playing, Morgan & Claypool, http://dx.doi.org/10.2200/S00564ED1V01Y201311AIM024
    Book Chapters | 2013
    Professor Michael Thielscher
    Thielscher M, 2013, 'Universelle Spielprogramme.', in Görz G; Schneeberger J; Schmid U (ed.), Handbuch der Künstlichen Intelligenz, Oldenbourg Wissenschaftsverlag, pp. 613 - 650, https://doi.org/10.1524/9783486719796
    Book Chapters | 2011
    Professor Michael Thielscher
    Thielscher M, 2011, 'Translating General Game Descriptions into an Action Language', in Balduccinin M; Son T (ed.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, pp. 300 - 314, http://dx.doi.org/10.1007/978-3-642-20832-4_19
    Book Chapters | 2010
    Professor Michael Thielscher
    Schiffel S; Thielscher M, 2010, 'A Multiagent Semantics for the Game Description Language', in Filipe J; Fred A; Sharp B (ed.), Communications in Computer and Information Science, Springer, pp. 44 - 55, http://dx.doi.org/10.1007/978-3-642-11819-7_4
    Books | 2008
    Professor Michael Thielscher
    Thielscher M, 2008, Action Programming Languages, Synthesis Lectures on Artificial Intelligence and Machine Le, Morgan & Claypool
    Books | 2005
    Professor Michael Thielscher
    Thielscher M, 2005, Reasoning Robots: The Art and Science of Programming Robotic Agents (vol. 33 of Applied Logic Series), First, Springer, The Netherlands
    Book Chapters | 2000
    Professor Michael Thielscher
    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
    Books | 2000
    Professor Michael Thielscher
    Thielscher M, 2000, Challenges for Action Theories, Lecture Notes in Computer Science, Springer Berlin Heidelberg, http://dx.doi.org/10.1007/3-540-45596-5
    Books | 2000
    Professor Michael Thielscher
    Thielscher M, 2000, Challenges for Action Theories\/: Solving the Ramification and Qualification Problem, LNAI, Springer
    Book Chapters | 1998
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    Bibel W; Thielscher M, 1996, 'Non-Classical Automated Deduction', in Albrecht R; Herre H (ed.), Trends in Theoretical Informatics, Oldenbourg, pp. 39 - 59
    Books | 1995
    Professor Michael Thielscher
    Thielscher M, 1995, Automatisiertes Schließen über Kausalbeziehungen mit SLDENF-Resolution, DISKI, infix, St. Augustin
  • Journal articles | 2021
    Professor Michael Thielscher
    Engesser T; Mattmüller R; Nebel B; Thielscher M, 2021, 'Game description language and dynamic epistemic logic compared', Artificial Intelligence, vol. 292, http://dx.doi.org/10.1016/j.artint.2020.103433
    Journal articles | 2019
    Professor Michael Thielscher
    Schofield M; Thielscher M, 2019, 'General game playing with imperfect information', Journal of Artificial Intelligence Research, vol. 66, pp. 901 - 935, http://dx.doi.org/10.1613/jair.1.11844
    Journal articles | 2015
    Professor Michael Thielscher
    Bonet B; Cavazza M; desJardins M; Felner A; Hawes N; Knox B; Konidaris G; Lang J; Linares Lopez C; Magazzeni D; McGovern A; Natarajan S; Sturtevant NR; Thielscher M; Yeoh W; Sardina S; Wagstaff K, 2015, 'A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence', AI MAGAZINE, vol. 36, pp. 99 - 106, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000361926600009&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a29b250adbe88d1
    Journal articles | 2015
    Professor Michael Thielscher
    Zhang D; Thielscher M, 2015, 'Representing and Reasoning about Game Strategies', Journal of Philosophical Logic, vol. 44, pp. 203 - 236, http://dx.doi.org/10.1007/s10992-014-9334-6
    Journal articles | 2014
    Professor Michael Thielscher
    Schiffel M; Thielscher M, 2014, 'Representing and Reasoning About the Rules of General Games With Imperfect Information', Journal of Artificial Intelligence Research, vol. 49, pp. 171 - 206, http://dx.doi.org/10.1613/jair.4115
    Journal articles | 2013
    Professor Michael Thielscher
    Thielscher M; Ruan J, 2013, 'Logical-Epistemic Foundations of General Game Descriptions', Studia Logica, vol. 102, pp. 321 - 338, http://dx.doi.org/10.1007/s11225-014-9547-2
    Journal articles | 2013
    Professor Michael Thielscher
    Strass H; Thielscher M, 2013, 'A general first-order solution to the ramification problem with cycles', JAPL, vol. 11, pp. 289 - 308, http://dx.doi.org/10.1016/j.jal.2013.05.003
    Journal articles | 2012
    Professor Michael Thielscher
    Haufe S; Schiffel S; Thielscher M, 2012, 'Automated Verification of State Sequence Invariants in General Game Playing', AIJ, vol. 187–188, pp. 1 - 30, http://dx.doi.org/10.1016/j.artint.2012.04.003
    Journal articles | 2012
    Professor Michael Thielscher
    Strass H; Thielscher M, 2012, 'A Language for Default Reasoning about Actions', Correct Reasoning: Essays on Logic-Based AI in Honor of Vladimir Lifschitz, vol. 7265, pp. 527 - 542, http://dx.doi.org/10.1007/978-3-642-30743-0_36
    Journal articles | 2011
    Professor Michael Thielscher
    Thielscher M, 2011, 'GDL-II', KI, vol. 25, pp. 63 - 66, http://dx.doi.org/10.1007/s13218-010-0076-5
    Journal articles | 2011
    Professor Michael Thielscher
    Thielscher M, 2011, 'A Unifying Action Calculus', AIJ, vol. 175, pp. 120 - 141, http://dx.doi.org/10.1016/j.artint.2010.04.010
    Journal articles | 2011
    Professor Michael Thielscher
    Drescher C; Thielscher M, 2011, 'ALPprolog —A new logic programming method for dynamic domains', TPLP, vol. 11, pp. 451 - 468, http://dx.doi.org/10.1017/S1471068411000111
    Journal articles | 2011
    Professor Michael Thielscher
    Haufe S; Michulke D; Schiffel S; Thielscher M, 2011, 'Knowledge-based general game playing', KI, vol. 25, pp. 25 - 33, http://dx.doi.org/10.1007/s13218-010-0073-8
    Journal articles | 2011
    Professor Michael Thielscher
    Thielscher M, 2011, 'Special Issue on General Game Playing', KI - Kunstliche Intelligenz, vol. 25, pp. 5 - 7, http://dx.doi.org/10.1007/s13218-010-0084-5
    Journal articles | 2011
    Professor Michael Thielscher
    Drescher C; Thielscher M, 2011, 'ALPprolog - A new logic programming method for dynamic domains.', Theory Pract. Log. Program., vol. 11, pp. 451 - 468
    Journal articles | 2009
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    Jin Y; Thielscher M, 2008, 'Reinforcement Belief Revision', JLC, vol. 18, pp. 783 - 813, http://dx.doi.org/10.1093/logcom/exm094
    Journal articles | 2008
    Professor Michael Thielscher
    Björnsson Y; Thielscher M, 2008, 'The IJCAI-09 WORKSHOP ON GENERAL GAME PLAYING', ICGA Journal, vol. 31, pp. 254 - 254, http://dx.doi.org/10.3233/icg-2008-31414
    Journal articles | 2007
    Professor Michael Thielscher
    Jin Y; Thielscher M, 2007, 'Iterated Belief Revision, Revised', AIJ, vol. 171, pp. 1 - 18, http://dx.doi.org/10.1016/j.artint.2006.11.002
    Journal articles | 2006
    Professor Michael Thielscher
    Coradeschi S; Ishiguro H; Asada M; Shapiro S; Thielscher M; Breazeal C; Mataric M; Ishida H, 2006, 'Human-Inspired Robots', IEEE Intelligent Systems, vol. 21, pp. 74 - 85, http://dx.doi.org/10.1109/MIS.2006.72
    Journal articles | 2006
    Professor Michael Thielscher
    Achtner W; Aimeur E; Anand SS; Appelt D; Ashish N; Barnes T; Beck JE; Beetz M; Dias MB; Doshi P; Drummond C; Elazmeh W; Felner A; Freitag D; Geffner H; Geib CW; Goodwin R; Holte RC; Hutter F; Isaac F; Japkowicz N; Kaminka GA; Koenig S; Lagoudakis MG; Leake D; Lewis L; Liu H; Metzler T; Mihalcea R; Mobasher B; Poupart P; Pynadath DV; Rajan K; Roth-Berghofer T; Ruml W; Rusu RB; Schulz S; Schwarz S; Seneff S; Sheth A; Sun R; Thielscher M; Upal A; Williams J; Young S; Zelenko D, 2006, 'Reports on the Twenty-First National Conference on Artificial Intelligence (AAAI-06) workshop program', AI Magazine, vol. 27, pp. 92 - 102
    Journal articles | 2006
    Professor Michael Thielscher
    Beetz M; Rajan K; Thielscher M; Rusu RB, 2006, 'AAAI Workshop - Technical Report: Preface', AAAI Workshop - Technical Report, vol. WS-06-03
    Journal articles | 2006
    Professor Michael Thielscher
    Thielscher M, 2006, 'General Game Playing', KI — K"unstliche Intelligenz, vol. 4/06, pp. 37 - 39
    Journal articles | 2006
    Professor Michael Thielscher
    Achtner W; Aïmeur E; Anand SS; Appelt D; Ashish N; Barnes T; Beck JE; Dias MB; Doshi P; Drummond C; Elazmeh W; Felner A; Freitag D; Geffner H; Geib CW; Goodwin R; Holte RC; Hutter F; Isaac F; Japkowicz N; Kaminka GA; Koenig S; Lagoudakis MG; Leake DB; Lewis L; Liu H; Metzler T; Mihalcea R; Mobasher B; Poupart P; Pynadath DV; Roth-Berghofer T; Ruml W; Schulz S; Schwarz S; Seneff S; Sheth AP; Sun R; Thielscher M; Upal A; Williams JD; Young SJ; Zelenko D, 2006, 'Reports on the Twenty-First National Conference on Artificial Intelligence (AAAI-06) Workshop Program.', AI Mag., vol. 27, pp. 92 - 102
    Journal articles | 2006
    Professor Michael Thielscher
    Coradeschi S; Ishiguro H; Asada M; Shapiro S; Thielscher M; Breazeal C; Matarić M; Ishida H, 2006, 'Human-Inspired Robots', IEEE Intelligent Systems, vol. 21, pp. 75 - 85
    Journal articles | 2005
    Professor Michael Thielscher
    Thielscher M, 2005, 'FLUX\/: A Logic Programming Method for Reasoning Agents', TPLP, vol. 5, pp. 533 - 565, http://dx.doi.org/10.1017/S1471068405002358
    Journal articles | 2005
    Professor Michael Thielscher
    Thielscher M, 2005, 'Handling Implication and Universal Quantification Constraints in FLUX', CP, vol. 3709, pp. 667 - 681, http://dx.doi.org/10.1007/11564751_49
    Journal articles | 2005
    Professor Michael Thielscher
    Jin Y; Thielscher M, 2005, 'Iterated belief revision, revised', 7th International Symposium on Logical Formalizations of Commonsense Reasoning, Commonsense 2005
    Journal articles | 2005
    Professor Michael Thielscher
    Thielscher M, 2005, 'FLUX: A programming language for reasoning agents', Theory and Practice of Logic Programming, vol. 5, pp. 533 - 565
    Journal articles | 2004
    Professor Michael Thielscher
    Thielscher M, 2004, 'FLUX: A Logic Programming Method for Reasoning Agents', CoRR, vol. cs.AI/0408044
    Journal articles | 2003
    Professor Michael Thielscher
    Fichtner M; Großmann A; Thielscher M, 2003, 'Intelligent Execution Monitoring in Dynamic Environments', FI, vol. 57, pp. 371 - 392
    Journal articles | 2001
    Professor Michael Thielscher
    Thielscher M, 2001, 'The Concurrent, Continuous Fluent Calculus', Studia Logica, vol. 67, pp. 315 - 331, http://dx.doi.org/10.1023/A:1010558931274
    Journal articles | 2001
    Professor Michael Thielscher
    Thielscher M, 2001, 'The Qualification Problem\/: A Solution to the Problem of Anomalous Models', AIJ, vol. 131, pp. 1 - 37, http://dx.doi.org/10.1016/S0004-3702(01)00131-X
    Journal articles | 1999
    Professor Michael Thielscher
    Thielscher M, 1999, 'From Situation Calculus to Fluent Calculus\/: State Update Axioms as a Solution to the Inferential Frame Problem', AIJ, vol. 111, pp. 277 - 299, http://dx.doi.org/10.1016/S0004-3702(99)00033-8
    Journal articles | 1999
    Professor Michael Thielscher
    Thielscher M, 1999, 'Fluent Calculus Planning with Continuous Change', ETAI
    Journal articles | 1999
    Professor Michael Thielscher
    Gabbay DM; Nossum R; Thielscher M, 1999, 'Agents in Proactive Environments', JLC, vol. 9, pp. 25 - 45
    Journal articles | 1998
    Professor Michael Thielscher
    Thielscher M, 1998, 'Reasoning About Actions\/: Steady Versus Stabilizing State Constraints', AIJ, vol. 104, pp. 339 - 355
    Journal articles | 1998
    Professor Michael Thielscher
    Thielscher M, 1998, 'Introduction to the Fluent Calculus', ETAI, vol. 2, pp. 179 - 192
    Journal articles | 1998
    Professor Michael Thielscher
    Thielscher M, 1998, 'Kognitive Robotik — Perspektiven und Grenzen der "Künstlichen Intelligenz"-Forschung', Akademie-Journal, vol. 2/98, pp. 41 - 45
    Journal articles | 1997
    Professor Michael Thielscher
    Gabbay D; Nossum R; Thielscher M, 1997, 'Agents in Proactive Environments', Journal of Logic and Computation, vol. 9, http://dx.doi.org/10.1093/logcom/9.1.25
    Journal articles | 1997
    Professor Michael Thielscher
    Thielscher M, 1997, 'A Theory of Dynamic Diagnosis. Electronic Transactions on Artificial Intelligence.', Electron. Trans. Artif. Intell., vol. 1, pp. 73 - 104
    Journal articles | 1997
    Professor Michael Thielscher
    Thielscher M, 1997, 'A Theory of Dynamic Diagnosis', ETAI, vol. 1, pp. 73 - 104
    Journal articles | 1997
    Professor Michael Thielscher
    Thielscher M, 1997, 'Ramification and Causality', AIJ, vol. 89, pp. 317 - 364
    Journal articles | 1996
    Professor Michael Thielscher
    Thielscher M, 1996, 'Ramification and Causality', Artificial Intelligence, vol. 89
    Journal articles | 1996
    Professor Michael Thielscher
    Bornscheuer S-E; Thielscher M, 1996, 'Representing Concurrent Actions and Solving Conflicts', IGPL, vol. 4, pp. 355 - 368
    Journal articles | 1996
    Professor Michael Thielscher
    Bornsheuer S-E; Thielscher M, 1996, 'Explicit and Implicit Indeterminism\/: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems', Journal of Logic Programming, vol. 31, http://dx.doi.org/10.1016/S0743-1066(96)00124-0
    Journal articles | 1995
    Professor Michael Thielscher
    Thielscher M; Schaub T, 1995, 'Default Reasoning by Deductive Planning', JAR, vol. 15, pp. 1 - 40, http://dx.doi.org/10.1007/BF00881829
    Journal articles | 1995
    Professor Michael Thielscher
    olldobler SH; Thielscher M, 1995, 'Computing Change and Specificity with Equational Logic Programs', AMAI, vol. 14, pp. 99 - 133, http://dx.doi.org/10.1007/BF01530895
    Journal articles | 1994
    Professor Michael Thielscher
    Thielscher M, 1994, 'On the Completeness of SLDENF-Resolution', Journal of Automated Reasoning, vol. 17, http://dx.doi.org/10.1007/BF00244496
    Journal articles | 1993
    Professor Michael Thielscher
    Brüning S; Thielscher M; Bibel W, 1993, 'Letter to the editor', Artificial Intelligence, vol. 64, pp. 353 - 354, http://dx.doi.org/10.1016/0004-3702(93)90110-W
    Journal articles | 1993
    Professor Michael Thielscher
    Thielscher M, 1993, 'On prediction in Theorist', AIJ, vol. 60, pp. 283 - 292, http://dx.doi.org/10.1016/0004-3702(93)90004-U
    Journal articles | 1993
    Professor Michael Thielscher
    Bruning S; Thielscher M; Bibel W, 1993, 'Comment on Ammon’s Note', AIJ, vol. 64, pp. 353 - 354
  • Reports | 2001
    Professor Michael Thielscher
    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
    Reports | 2000
    Professor Michael Thielscher
    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
    Reports | 1998
    Professor Michael Thielscher
    Thielscher M, 1998, Disputation Theory Applied To Disjunctive Logic Programs, Dept. of Computer Science, Dresden University of Technology, TUD/FI98-06
    Reports | 1998
    Professor Michael Thielscher
    Thielscher M, 1998, Event Minimization with the Fluent Calculus, Knowledge Representation Group, Dresden University of Technology, TUD/FI98-03
    Reports | 1996
    Professor Michael Thielscher
    Thielscher M, 1996, Qualification and Causality, International Computer Science Institute (ICSI), Berkeley, CA, TR-96-026
    Reports | 1996
    Professor Michael Thielscher
    Thielscher M, 1996, On a Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs, FG Intellektik, TH Darmstadt, AIDA–96–09
    Reports | 1996
    Professor Michael Thielscher
    Herrmann C; Thielscher M, 1996, On Reasoning About Continuous Processes, FG Intellektik, TH Darmstadt, AIDA–96–04
    Reports | 1996
    Professor Michael Thielscher
    André de Waal MB; Thielscher M, 1996, The Automatic Generation of Pre-Interpretations for Detecting Unsolvable Planning Problems, Katholieke Universiteit Leuven, CW224
    Reports | 1995
    Professor Michael Thielscher
    Waal AD; Thielscher M, 1995, Solving Deductive Planning Problems Using Program Analysis and Transformation, FG Intellektik, TH Darmstadt, AIDA–95–04
    Reports | 1994
    Professor Michael Thielscher
    uning SB; olldobler SH; Schneeberger J; Sigmund U; Thielscher M, 1994, Disjunction in Resource-Oriented Deductive Planning, Intellektik, TH Darmstadt, AIDA–94–03
    Reports | 1993
    Professor Michael Thielscher
    Thielscher M, 1993, Modelling theories of actions by Equational Logic Programs, FG Intellektik, TH Darmstadt, AIDA–93–18
    Reports | 1992
    Professor Michael Thielscher
    Thielscher M, 1992, AC1-Unifikation in der linearen logischen Programmierung, Intellektik, Informatik, Darmstadt, Germany, 42
    Reports | 1992
    Professor Michael Thielscher
    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
    Reports | 1991
    Professor Michael Thielscher
    Thielscher M, 1991, Prognostizieren im Poole’schen Ansatz – Arbeiten mit THEORIST, Intellektik, Informatik, Darmstadt, Germany, 18
  • Conference Papers | 2020
    Professor Michael Thielscher
    Calvanese D; Erdem E; Thielscher M, 2020, 'Preface', in 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020
    Conference Papers | 2020
    Professor Michael Thielscher
    Goldwaser A; Thielscher M, 2020, 'Deep reinforcement learning for general game playing', in AAAI 2020 - 34th AAAI Conference on Artificial Intelligence, AAAI Press, New York, pp. 1701 - 1708, presented at 34th AAAI Conference on Artificial Intelligence, New York, 07 February 2020, http://dx.doi.org/10.1609/aaai.v34i02.5533
    Conference Papers | 2020
    Professor Michael Thielscher
    Gunawan A; Ruan J; Thielscher M; Narayanan A, 2020, 'Exploring a Learning Architecture for General Game Playing', in Gallagher M; Moustafa N; Lakshika E (eds.), Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer, pp. 294 - 306, http://dx.doi.org/10.1007/978-3-030-64984-5_23
    Conference Papers | 2020
    Professor Michael Thielscher
    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
    Working Papers | 2019
    Professor Michael Thielscher
    Hengst B; Pagnucco M; Rajaratnam D; Sammut C; Thielscher M, 2019, Perceptual Context in Cognitive Hierarchies, http://dx.doi.org10.1007/978-3-030-22102-7_16, http://arxiv.org/abs/1801.02270v1
    Conference Papers | 2019
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Conference Papers | 2018
    Professor Michael Thielscher
    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 | 2017
    Professor Michael Thielscher
    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 | 2017
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Creative Works (non-textual) | 2017
    Professor Michael Thielscher
    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/
    Conference Papers | 2017
    Professor Michael Thielscher
    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
    Recorded / Rendered Creative Works | 2016
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Conference Papers | 2016
    Professor Michael Thielscher
    Rajaratnam D; Hengst B; Pagnucco M; Sammut C; Thielscher M, 2016, 'Composability in cognitive hierarchies', in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Hobart, TAS, Australia, pp. 42 - 55, presented at 29th Australasian Joint Conference, Hobart, TAS, Australia, 05 December 2016 - 08 December 2016, http://dx.doi.org/10.1007/978-3-319-50127-7_4
    Conference Papers | 2016
    Professor Michael Thielscher
    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 Papers | 2016
    Professor Michael Thielscher
    Hengst B; Keith C; Pagnucco M; Rajaratnam D; Robinson P; sammut C; Thielscher M, 2016, 'A Framework for Integrating Symbolic and Sub-symbolic Representations', in IJCAI International Joint Conference on Artificial Intelligence, New York, New York, USA, pp. 2486 - 2492, presented at 25th International Joint Conference on Artificial Intelligence IJCAI-16, New York, New York, USA, 09 July 2016 - 15 July 2016
    Conference Papers | 2016
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    Schofield M; Thielscher M, 2016, 'The scalability of the HyperPlay technique for imperfect-information games', in AAAI Workshop - Technical Report, pp. 378 - 386
    Conference Proceedings (Editor of) | 2016
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    Thielscher M, 2016, 'Sampling-based belief revision', in IJCAI International Joint Conference on Artificial Intelligence, pp. 1272 - 1278
    Conference Papers | 2016
    Professor Michael Thielscher
    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
    Curatorial Outputs | 2015
    Professor Michael Thielscher
    Del Favero D; Harley R; Bennett J; Thielscher M; Brown NC; Stockings C; Kuchelmeister V; MacGregor A; Reid R, 2015, Retrospect: War, Family, Afghanistan, exhibited at: ABC Radio, Australia, 21 March 2015 - 01 October 2020, Retrospect: War, Family, Afghanistan (radio series), http://retrospect.abcradio.net.au/
    Conference Papers | 2015
    Professor Michael Thielscher
    Zhang D; Thielscher M, 2015, 'A Logic for Reasoning About Game Strategies', in Bonet B; Koenig S (ed.), Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, pp. 1671 - 1677, presented at AAAI Conference on Artificial Intelligence, Austin, 25 January 2015 - 30 January 2015, https://www.aaai.org/ocs/index.php/AAAI/AAAI15/paper/viewFile/9822/9449
    Conference Papers | 2015
    Professor Michael Thielscher
    Rajaratnam DP; Thielscher MIT, 2015, 'Execution Monitoring as Meta-Games for General Game-Playing Robots', in Wooldridge M; Yang Q (ed.), Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, Buenos Aires, Argentina, pp. 3178 - 3185, presented at 24th International Joint Conference on Artificial Intelligence (IJCAI), Buenos Aires, Argentina, 25 July 2015 - 31 July 2015, http://ijcai.org/papers15/contents.php
    Conference Papers | 2015
    Professor Michael Thielscher
    Schofield M; Thielscher M, 2015, 'Lifting Model Sampling for General Game Playing to Incomplete-Information Models', in Bonet B (ed.), Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, Austin, pp. 3585 - 3591, presented at AAAI Conference on Artificial Intelligence, Austin, 25 January 2015 - 30 January 2015
    Conference Papers | 2014
    Professor Michael Thielscher
    Rajaratnam D; Levesque HJ; Pagnucco M; Thielscher M, 2014, 'Forgetting in Action', in Baral C; De Giacomo G (ed.), Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, AAAI Press, Vienna, Austria, pp. 498 - 507, presented at 14th International Conference on Principles of Knowledge Representation and Reasoning, Vienna, Austria, 20 July 2014 - 24 July 2014, http://www.aaai.org/Press/press.php
    Conference Papers | 2014
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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 | 2014
    Professor Michael Thielscher
    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 | 2013
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    Pagnucco M; Rajaratnam DP; Strass H; Thielscher M, 2013, 'Implementing Belief Change in the Situation Calculus and an Application', in Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence, Corunna, pp. 439 - 451, presented at 12th International Conference on Logic Programming and Nonmonotonic Reasoning, Corunna, 15 September 2013 - 19 September 2013, http://dx.doi.org/10.1007/978-3-642-40564-8_44
    Conference Papers | 2013
    Professor Michael Thielscher
    Rajaratnam D; Thielscher M, 2013, 'Towards General Game-Playing Robots: Models, Architecture and Game Controller', in Cranefield S; Nayak A (ed.), AI 2013: Advances in Artificial Intelligence. Lecture Notes in Computer Science, Springer, Heidelberg, Germany, pp. 271 - 276, presented at 26th Australasian Joint Conference on Artificial Intelligence, Dunedin, New Zealand, 04 December 2013 - 06 December 2013, http://dx.doi.org/10.1007/978-3-319-03680-9_29
    Conference Papers | 2013
    Professor Michael Thielscher
    Cerexhe T; Sabuncu O; Thielscher M, 2013, 'Evaluating Answer Set Clause Learning for General Game Playing', in Logic Programming and Nonmonotonic Reasoning : Lecture Notes in Computer Science, Springer, Corunna, Spain, pp. 219 - 232, presented at 12th International Conference on Logic Programming and Nonmonotonic Reasoning, Corunna, Spain, 15 September 2013 - 19 September 2013, http://dx.doi.org/10.1007/978-3-642-40564-8_22
    Conference Papers | 2013
    Professor Michael Thielscher
    Thielscher M, 2013, 'Filtering With Logic Programs and Its Application to General Game Playing', in desJardins M; Littman M (ed.), Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, AAAI Press, Bellevue, Washington, USA, pp. 890 - 896, presented at The Twenty-Seventh AAAI Conference (AAAI-13), Bellevue, Washington, USA, 14 July 2013 - 18 July 2013, http://www.aaai.org/ocs/index.php/AAAI/AAAI13/paper/view/6302
    Conference Proceedings (Editor of) | 2013
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    Ruan J; Thielscher M, 2012, 'Strategic and Epistemic Reasoning for the Game Description Language GDL-II', in Raedt LD; Bessière C; Dubois D; Doherty P; Heintz PFF; Lucas P (eds.), ECAI, IOS Press, pp. 696 - 701, http://dx.doi.org/10.3233/978-1-61499-098-7-696
    Conference Papers | 2012
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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 Proceedings (Editor of) | 2012
    Professor Michael Thielscher
    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 Proceedings (Editor of) | 2012
    Professor Michael Thielscher
    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 Papers | 2011
    Professor Michael Thielscher
    Thielscher M, 2011, 'General Game Playing in AI Research and Education', in Bach J; Edelkamp S (ed.), KIK, Springer, pp. 26 - 37, http://dx.doi.org/10.1007/978-3-642-24455-1_3
    Conference Papers | 2011
    Professor Michael Thielscher
    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 Proceedings (Editor of) | 2011
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    Thielscher M, 2011, 'The General Game Playing Description Language is Universal', in IJCAI, pp. 1107 - 1112, http://dx.doi.org/10.5591/978-1-57735-516-8/IJCAI11-189
    Conference Papers | 2011
    Professor Michael Thielscher
    Schiffel S; Thielscher M, 2011, 'Reasoning About General Games Described in GDL-II', in AAAI, pp. 846 - 851
    Conference Papers | 2011
    Professor Michael Thielscher
    Ruan J; Thielscher M, 2011, 'The Epistemic Logic behind the Game Description Language', in AAAI, pp. 840 - 845
    Conference Papers | 2011
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    Strass H; Thielscher M, 2010, 'Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions', in Voronkov A; Sutcliffe G; Baaz M; Fermüller CG (eds.), LPAR short papers(Yogyakarta), EasyChair, pp. 58 - 63, presented at 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
    Professor Michael Thielscher
    Haufe S; Thielscher M, 2010, 'Pushing the Envelope\/: General Game Players Prove Theorems', in Li J (ed.), AI, Springer, pp. 1 - 10, http://dx.doi.org/10.1007/978-3-642-17432-2_1
    Conference Papers | 2010
    Professor Michael Thielscher
    Thielscher M; Zhang D, 2010, 'From General Game Descriptions to a Market Specification Language for General Trading Agents', in David E; Gerding E; Sarne D; Shehory O (eds.), Agent-Mediated Electronic Commerce\/: Designing Trading Strategies and Mechanisms for Electronic Markets, Springer, pp. 259 - 274, http://dx.doi.org/10.1007/978-3-642-15117-0_18
    Conference Papers | 2010
    Professor Michael Thielscher
    Thielscher M, 2010, 'Integrating Action Calculi and AgentSpeak\/: Closing the Gap', in KR, pp. 79 - 89
    Conference Papers | 2010
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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 | 2009
    Professor Michael Thielscher
    Drescher C; Schiffel S; Thielscher M, 2009, 'A Declarative Agent Programming Language Based On Action Theories', in Ghilardi S; Sebastiani R (ed.), FROCOS, Springer, pp. 230 - 245, http://dx.doi.org/10.1007/978-3-642-04222-5_14
    Conference Papers | 2009
    Professor Michael Thielscher
    Strass H; Thielscher M, 2009, 'On Defaults in Action Theories', in Mertsching B; Hund M; Aziz M (eds.), KIK, Springer, pp. 298 - 305, http://dx.doi.org/10.1007/978-3-642-04617-9_38
    Conference Papers | 2009
    Professor Michael Thielscher
    Thielscher M, 2009, 'Answer Set Programming for Single-Player Games in General Game Playing', in Hill P; Warren D (ed.), ICLP, Springer, pp. 327 - 341, http://dx.doi.org/10.1007/978-3-642-02846-5_28
    Conference Papers | 2009
    Professor Michael Thielscher
    Michulke D; Thielscher M, 2009, 'Neural Networks for State Evaluation in General Game Playing', in Buntine W; Grobelnik M; Mladenic D; Shawe-Taylor J (eds.), ECML, Springer, pp. 95 - 110, http://dx.doi.org/10.1007/978-3-642-04174-7_7
    Conference Papers | 2009
    Professor Michael Thielscher
    Baader F; Drescher C; Liu H; Petersohn U; Steinke P; Thielscher M, 2009, 'Putting ABox Update into Action', in Ghilardi S; Sebastiani R (ed.), FROCOS, Springer, pp. 214 - 229, http://dx.doi.org/10.1007/978-3-642-04222-5_13
    Conference Papers | 2009
    Professor Michael Thielscher
    Zhao D; Schiffel S; Thielscher M, 2009, 'Decomposition of Multi-Player Games', in Nicholson A; Li X (ed.), AI, Springer, pp. 475 - 484, http://dx.doi.org/10.1007/978-3-642-10439-8_48
    Conference Papers | 2009
    Professor Michael Thielscher
    Strass H; Thielscher M, 2009, 'Simple Default Reasoning in Theories of Action', in Nicholson A; Li X (ed.), AI, Springer, pp. 31 - 40, http://dx.doi.org/10.1007/978-3-642-10439-8_4
    Conference Proceedings (Editor of) | 2009
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    Schiffel S; Thielscher M, 2009, 'Automated Theorem Proving for General Game Playing', in IJCAI, pp. 911 - 916
    Conference Papers | 2009
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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 | 2008
    Professor Michael Thielscher
    Drescher C; Thielscher M, 2008, 'A Fluent Calculus Semantics for ADL with Plan Constraints', in olldobler SH; Lutz C (ed.), JELIA, Springer, pp. 140 - 152, http://dx.doi.org/10.1007/978-3-540-87803-2_13
    Conference Papers | 2008
    Professor Michael Thielscher
    Schiffel S; Thielscher M; Trang DT, 2008, 'An Agent Team based on FLUX for the ProMAS Contest 2007', in Dastani M; Seghrouchni A; Ricci A; Winikoff M (eds.), Programming Multi-Agent Systems, Springer, pp. 261 - 265, http://dx.doi.org/10.1007/978-3-540-79043-3_19
    Conference Papers | 2007
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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 | 2007
    Professor Michael Thielscher
    Drescher C; Thielscher M, 2007, 'Integrating Action Calculi and Description Logics', in Hertzberg J; Beetz M; Englert R (eds.), Proceedings of the 30th annual German conference on Advances in Artificial Intelligence, Springer-Verlag, Berlin, Heidelberg, pp. 52 - 67, presented at 30th annual German conference on Advances in Artificial Intelligence, Osnabruck, Germany, 10 September 2007 - 13 September 2007, http://dx.doi.org/10.1007/978-3-540-74565-5_8
    Conference Papers | 2007
    Professor Michael Thielscher
    Martin Y; Thielscher M, 2007, 'Integrating Reasoning About Actions and Bayesian Networks', in Peppas P; Williams M-A (ed.), Proceedings of the Workshop on Nonmonotonic Reasoning, Action and Change at IJCAI, pp. 298 - 304
    Conference Papers | 2007
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    Jin Y; Thielscher M; Zhang D, 2007, 'Mutual Belief Revision: Semantics and Computation', in AAAI, AAAI Press, pp. 440 - 445
    Conference Papers | 2007
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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 | 2006
    Professor Michael Thielscher
    Schiffel S; Thielscher M, 2006, 'Reconciling Situation Calculus and Fluent Calculus', in AAAI, AAAI Press, pp. 287 - 292
    Conference Papers | 2006
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    Skubch H; Thielscher M, 2005, 'Strategy Learning for Reasoning Agents', in Gama J (ed.), ECML, Springer, pp. 733 - 740, http://dx.doi.org/10.1007/11564096_75
    Conference Papers | 2005
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    Jin Y; Thielscher M, 2005, 'Iterated Belief Revision, Revised', in Kaelbling L; Saffiotti A (ed.), IJCAI, pp. 478 - 483
    Conference Papers | 2005
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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 | 2004
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    Thielscher M, 2003, 'Controlling Semi-Automatic Systems with FLUX. (Extended abstract)', in Palamidessi C (ed.), ICLP, Springer, pp. 515 - 516
    Conference Papers | 2003
    Professor Michael Thielscher
    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 | 2002
    Professor Michael Thielscher
    Thielscher M, 2002, 'Reasoning About Actions with CHRs and Finite Domain Constraints', in Stuckey P (ed.), ICLP, Springer, pp. 70 - 84
    Conference Papers | 2002
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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 | 2001
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    orr H-PS; Thielscher M, 2000, 'A New Equational Foundation for the Fluent Calculus', in etal JL (ed.), CL, Springer, pp. 733 - 746
    Conference Papers | 2000
    Professor Michael Thielscher
    Thielscher M, 2000, 'Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains—And A Case Study', in Kautz H; Porter B (ed.), AAAI, MIT Press, AUSTIN, TX, pp. 497 - 502, presented at 17th National Conference on Artificial Intelligence (AAAI-2000)/12th Conference on Innovative Applications of Artificial Intelligence (IAAI-2000), AUSTIN, TX, 30 July 2000 - 03 August 2000, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000172441000076&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
    Conference Papers | 2000
    Professor Michael Thielscher
    Thielscher M, 2000, 'Representing the Knowledge of a Robot', in Cohn A; Giunchiglia F; Selman B (eds.), KR, Morgan Kaufmann, pp. 109 - 120
    Conference Papers | 1999
    Professor Michael Thielscher
    Nossum R; Thielscher M, 1999, 'Counterfactual reasoning by means of a calculus of narrative context', in Bouquet P; Serafini L; Brezillon P; Benerecetti M; Castellani F (eds.), CONTEXT, Springer, pp. 495 - 498, http://dx.doi.org/10.1007/3-540-48315-2_47
    Conference Papers | 1999
    Professor Michael Thielscher
    Thielscher M, 1999, 'A Theory of First-Order Counterfactual Reasoning', in Burgard W; Christaller T; Cremers A (eds.), KIK, Springer, pp. 137 - 148
    Other | 1999
    Professor Michael Thielscher
    Henschel A; Thielscher M, 1999, The LMW Traffic World in the Fluent Calculus
    Conference Papers | 1999
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Conference Papers | 1998
    Professor Michael Thielscher
    Thielscher M, 1998, 'From Situation Calculus to Fluents Calculus\/: A New Motivation', in International Workshop on Nonmonotonic Reasoning, pp. 31 - 39
    Conference Papers | 1998
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    Thielscher M, 1998, 'Steady Versus Stabilizing State Constraints', in Proceedings of the Symposium on Logical Formalizations of Commonsense Reasoning, pp. 239 - 248
    Conference Papers | 1997
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    Thielscher M, 1997, 'Qualified Ramifications', in Kuipers B; Webber B (ed.), AAAI, MIT Press, pp. 466 - 471
    Conference Papers | 1996
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    Herr-mann C; Thielscher M, 1996, 'Reasoning about Continuous Processes', in Clancey B; Weld D (ed.), AAAI, MIT Press, PORTLAND, OR, pp. 639 - 644, presented at 13th National Conference on Artificial Intelligence (AAAI 96) / 8th Conference on Innovative Applications of Artificial Intelligence (IAAI 96), PORTLAND, OR, 04 August 1996 - 08 August 1996, http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000082323300095&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=891bb5ab6ba270e68a
    Conference Papers | 1996
    Professor Michael Thielscher
    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
    Conference Papers | 1996
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    Schaub T; Thielscher M, 1996, 'Skeptical Query-Answering in Constrained Default Logic', in Gabbay DM (ed.), FAPR, Springer, pp. 567 - 581
    Conference Papers | 1995
    Professor Michael Thielscher
    Schaub T; Thielscher M, 1995, 'Skeptical Query-Answering in Constrained Default Logic', in Brewka G (ed.), Dutch/German Workshop on Nonmonotonic Reasoning, pp. 567 - 581
    Conference Papers | 1995
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    Waal AD; Thielscher M, 1995, 'Solving Deductive Planning Problems Using Program Analysis and Transformation', in Proietti M (ed.), LOPSTR, Springer, pp. 189 - 203
    Conference Papers | 1995
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    Thielscher M, 1995, 'Computing Ramifications by Postprocessing', in Mellish CS (ed.), IJCAI, Morgan Kaufmann, pp. 1994 - 2000
    Conference Papers | 1995
    Professor Michael Thielscher
    Thielscher M, 1995, 'The Logic of Dynamic Systems', in Mellish CS (ed.), IJCAI, Morgan Kaufmann, pp. 1956 - 1962
    Conference Papers | 1995
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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 | 1994
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    Bibel W; Thielscher M, 1994, 'Deductive Plan Generation', in Arikawa S; Jantke KP (ed.), AII, Springer, pp. 2 - 5
    Conference Papers | 1994
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    olldobler SH; Thielscher M, 1994, 'On the Adequateness of AI-Systems', in Plander I (ed.), AIICSR, World Scientific Publishing Co. Singapore, pp. 41 - 46
    Conference Papers | 1993
    Professor Michael Thielscher
    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 | 1993
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    Thielscher M, 1993, 'SLDENF–Resolution', in Beierle S (ed.), Logische Programmierung, Technical Report, pp. 64 - 68
    Conference Papers | 1993
    Professor Michael Thielscher
    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
    Professor Michael Thielscher
    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 | 1992
    Professor Michael Thielscher
    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
    Conference Papers | 1992
    Professor Michael Thielscher
    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
    Conference Papers | 1992
    Professor Michael Thielscher
    Thielscher M, 1992, 'AC1-Unifikation in der linearen logischen Programmierung', in olldobler SH (ed.), Logische Programmierung, Technical Report AIDA-92-10, pp. 64 - 68
    Theses / Dissertations | 1992
    Professor Michael Thielscher
    Thielscher M, 1992, AC1-Unifikation in der linearen logischen Programmierung, mastersthesis, FG Intellektik, TH Darmstadt
    Conference Papers | 1992
    Professor Michael Thielscher
    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

Awards

Grants

Media