Select Publications

Journal articles

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

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

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

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

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

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

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

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

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

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

Thielscher M, 2011, 'A Unifying Action Calculus', AIJ, vol. 175, pp. 120 - 141, http://dx.doi.org/10.1016/j.artint.2010.04.010

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

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

Thielscher M, 2011, 'GDL-II', KI, vol. 25, pp. 63 - 66, http://dx.doi.org/10.1007/s13218-010-0076-5

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

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

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

Jin Y; Thielscher M, 2008, 'Reinforcement Belief Revision', JLC, vol. 18, pp. 783 - 813, http://dx.doi.org/10.1093/logcom/exm094

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

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

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

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

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

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

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, http://dx.doi.org/10.1609/aimag.v27i4.1912

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

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

Thielscher M, 2005, 'FLUX\/: A Logic Programming Method for Reasoning Agents', TPLP, vol. 5, pp. 533 - 565, http://dx.doi.org/10.1017/S1471068405002358

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

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

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

Thielscher M, 2001, 'The Concurrent, Continuous Fluent Calculus', Studia Logica, vol. 67, pp. 315 - 331, http://dx.doi.org/10.1023/A:1010558931274

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

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

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

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

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

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

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

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

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

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

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

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

Thielscher M, 1996, 'Ramification and Causality', Artificial Intelligence, vol. 89

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

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

Thielscher M; Schaub T, 1995, 'Default Reasoning by Deductive Planning', JAR, vol. 15, pp. 1 - 40, http://dx.doi.org/10.1007/BF00881829

Thielscher M, 1994, 'On the Completeness of SLDENF-Resolution', Journal of Automated Reasoning, vol. 17, http://dx.doi.org/10.1007/BF00244496

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


Back to profile page