Equational Logic Programming Actions, and Change. - Gerd Große; Steffen Hölldobler; Josef Schneeberger; Ute Cornelia Sigmund; Michael Thielscher (JICSLP, 1992)

On Logic Programming with Multisets. - Steffen Hölldobler; Michael Thielscher (ICLP Workshop on Logic Programming with Sets, 1993)

Disjunction in Plan Generation by Equational Logic Programming. - Stefan Brüning; Gerd Große; Steffen Hölldobler; Josef Schneeberger; Ute Cornelia Sigmund; Michael Thielscher (PuK, 1993)

Disjunction In Resource-Oriented Deductive Planning. - Stefan Brüning; Steffen Hölldobler; Ute Cornelia Sigmund; Michael Thielscher; Josef Schneeberger (ILPS, 1993)

Actions and Specificity. - Steffen Hölldobler; Michael Thielscher (ILPS, 1993)

SLDENF-Resolution. - Michael Thielscher (WLP, 1993)

On Prediction in Theorist. - Michael Thielscher (Artif. Intell., 1993)

Deductive Plan Generation. - Wolfgang Bibel; Michael Thielscher (AII/ALT, 1994)

Representing Actions in Equational Logic Programming. - Michael Thielscher (ICLP, 1994)

Automatisiertes Schließen über Kausalbeziehungen mit SLDENDF-Resolution. - Michael Thielscher (Infix, 1995)

The Logic of Dynamic Systems. - Michael Thielscher (IJCAI, 1995)

Computing Ramifications by Postprocessing. - Michael Thielscher (IJCAI, 1995)

What Is a Skeptical Proof? - Michael Thielscher (KI, 1995)

Solving Deductive Planning Problems Using Program Analysis and Transformation. - D. Andre de Waal; Michael Thielscher (LOPSTR, 1995)

A Resource-Oriented Deductive Approach Towards Hierarchical Planning. - Kerstin Eder; Steffen Hölldobler; Michael Thielscher (WLP, 1995)

Computing change and specificity with equational logic programs. - Steffen Hölldobler; Michael Thielscher (Ann. Math. Artif. Intell., 1995)

Default Reasoning by Deductive Planning. - Michael Thielscher; Torsten Schaub (J. Autom. Reason., 1995)

Reasoning about Continuous Processes. - Christoph S. Herrmann; Michael Thielscher (AAAI/IAAI, Vol. 1, 1996)

An Abstract Machine for Reasoning about Situations, Actions, and Causality. - Kerstin Eder; Steffen Hölldobler; Michael Thielscher (ELP, 1996)

Skeptical Query-Answering in Constrained Default Logic. - Torsten Schaub; Michael Thielscher (FAPR, 1996)

A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs. - Michael Thielscher (JICSLP, 1996)

Causality and the Qualification Problem. - Michael Thielscher (KR, 1996)

Representing Concurrent Actions and Solving Conflicts. - Sven-Erik Bornscheuer; Michael Thielscher (Log. J. IGPL, 1996)

On the Completeness of SLDENF-Resolution. - Michael Thielscher (J. Autom. Reason., 1996)

Challenges for action theories - solving the ramification and qualification problem. - Michael Thielscher (1997)

Qualified Ramifications. - Michael Thielscher (AAAI/IAAI, 1997)

Ramification and Causality. - Michael Thielscher (Artif. Intell., 1997)

A Theory of Dynamic Diagnosis. Electronic Transactions on Artificial Intelligence. - Michael Thielscher (Electron. Trans. Artif. Intell., 1997)

Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems. - Sven-Erik Bornscheuer; Michael Thielscher (J. Log. Program., 1997)

Towards State Update Axioms: Reifying Successor State Axioms. - Michael Thielscher (JELIA, 1998)

How (Not) To Minimize Events. - Michael Thielscher (KR, 1998)

Reasoning About Actions: Steady Versus Stabilizing State Constraints. - Michael Thielscher (Artif. Intell., 1998)

Introduction to the Fluent Calculus. - Michael Thielscher (Electron. Trans. Artif. Intell., 1998)

Counterfactual Reasoning by Means of a Calculus of Narrative Context. - Rolf Nossum; Michael Thielscher (CONTEXT, 1999)

A Theory of First-Order Counterfactual Reasoning. - Michael Thielscher (KI, 1999)

From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem. - Michael Thielscher (Artif. Intell., 1999)

Agents in Proactive Environments. - Dov M. Gabbay; Rolf Nossum; Michael Thielscher (J. Log. Comput., 1999)

Challenges for Action Theories - Michael Thielscher (Springer, 2000)

Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - and a Case Study. - Michael Thielscher (AAAI/IAAI, 2000)

Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms. - Michael Thielscher (Intellectics and Computational Logic, 2000)

A New Equational Foundation for the Fluent Calculus. - Hans-Peter Störr; Michael Thielscher (Computational Logic, 2000)

Representing the Knowledge of a Robot. - Michael Thielscher (KR, 2000)

Planning with Noisy Actions. - Michael Thielscher (Australian Joint Conference on Artificial Intelligence, 2001)

Addressing the Qualification Problem in FLUX. - Yves Martin; Michael Thielscher (KI/ÖGAI, 2001)

Inferring Implicit State Knowledge and Plans with Sensing Actions. - Michael Thielscher (KI/ÖGAI, 2001)

The Qualification Problem: A solution to the problem of anomalous models. - Michael Thielscher (Artif. Intell., 2001)

The Concurrent, Continuous Fluent Calculus. - Michael Thielscher (Stud Logica, 2001)

Reasoning about Actions with CHRs and Finite Domain Constraints. - Michael Thielscher (ICLP, 2002)

Controlling Semi-automatic Systems with FLUX. - Michael Thielscher (ICLP, 2003)

A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak. - Ozan Kahramanogullari; Michael Thielscher (KI, 2003)

Intelligent Execution Monitoring in Dynamic Environments. - Matthias Fichtner; Axel Großmann; Michael Thielscher (Fundam. Informaticae, 2003)

Representing Beliefs in the Fluent Calculus. - Yi Jin 006; Michael Thielscher (ECAI, 2004)

Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. - Yves Martin; Iman Narasamdya; Michael Thielscher (KR, 2004)

Reasoning robots - the art and science of programming robotic agents. - Michael Thielscher (Springer, 2005)

Handling Implication and Universal Quantification Constraints in FLUX. - Michael Thielscher (CP, 2005)

Actions and Belief Revision: A Computational Approach. - Yi Jin 006; Michael Thielscher (Belief Change in Rational Agents, 2005)

Strategy Learning for Reasoning Agents. - Hendrik Skubch; Michael Thielscher (ECML, 2005)

FLUX: A logic programming method for reasoning agents. - Michael Thielscher (Theory Pract. Log. Program., 2005)

Reconciling Situation Calculus and Fluent Calculus. - Stephan Schiffel; Michael Thielscher (AAAI, 2006)

Multi-Agent FLUX for the Gold Mining Domain (System Description). - Stephan Schiffel; Michael Thielscher (CLIMA, 2006)

The Features-and-Fluents Semantics for the Fluent Calculus. - Michael Thielscher; Thomas Witkowski (KR, 2006)

Reports on the Twenty-First National Conference on Artificial Intelligence (AAAI-06) Workshop Program. - Wolfgang Achtner; Esma Aïmeur; Sarabjot Singh Anand; Douglas E. Appelt; Naveen Ashish; Tiffany Barnes; Joseph E. Beck; M. Bernardine Dias; Prashant Doshi; Chris Drummond; William Elazmeh; Ariel Felner; et al. (AI Mag., 2006)

Human-Inspired Robots. - Silvia Coradeschi; Hiroshi Ishiguro; Minoru Asada; Stuart C. Shapiro; Michael Thielscher; Cynthia Breazeal; Maja J. Mataric; Hiroshi Ishida (IEEE Intell. Syst., 2006)

General Game Playing. - Michael Thielscher (Künstliche Intell., 2006)

Mutual Belief Revision: Semantics and Computation. - Yi Jin 006; Michael Thielscher; Dongmo Zhang (AAAI, 2007)

Fluxplayer: A Successful General Game Player. - Stephan Schiffel; Michael Thielscher (AAAI, 2007)

Integrating Action Calculi and Description Logics. - Conrad Drescher; Michael Thielscher (KI, 2007)

An Agent Team Based on FLUX for the ProMAS Contest 2007. - Stephan Schiffel; Michael Thielscher; Doan Thu Trang (PROMAS, 2007)

Iterated belief revision, revised. - Yi Jin 006; Michael Thielscher (Artif. Intell., 2007)

Preface. - Sheila A. McIlraith; Pavlos Peppas; Michael Thielscher (J. Log. Comput., 2007)

A Fluent Calculus Semantics for ADL with Plan Constraints. - Conrad Drescher; Michael Thielscher (JELIA, 2008)

Reinforcement Belief Revision. - Yi Jin 006; Michael Thielscher (J. Log. Comput., 2008)

Action Programming Languages - Michael Thielscher (Morgan & Claypool Publishers, 2008)

From General Game Descriptions to a Market Specification Language for General Trading Agents. - Michael Thielscher; Dongmo Zhang (AMEC/TADA, 2009)

Simple Default Reasoning in Theories of Action. - Hannes Strass; Michael Thielscher (Australasian Conference on Artificial Intelligence, 2009)

Decomposition of Multi-player Games. - Dengji Zhao; Stephan Schiffel; Michael Thielscher (Australasian Conference on Artificial Intelligence, 2009)

Putting ABox Updates into Action. - Conrad Drescher; Hongkai Liu; Franz Baader; Steffen Guhlemann; Uwe Petersohn; Peter Steinke; Michael Thielscher (FroCoS, 2009)

A Declarative Agent Programming Language Based on Action Theories. - Conrad Drescher; Stephan Schiffel; Michael Thielscher (FroCoS, 2009)

Specifying Multiagent Environments Systems in the Game Description Language. - Stephan Schiffel; Michael Thielscher (ICAART, 2009)

A Multiagent Semantics for the Game Description Language. - Stephan Schiffel; Michael Thielscher (ICAART (Revised Selected Papers), 2009)

Answer Set Programming for Single-Player Games in General Game Playing. - Michael Thielscher (ICLP, 2009)

Automated Theorem Proving for General Game Playing. - Stephan Schiffel; Michael Thielscher (IJCAI, 2009)

On Defaults in Action Theories. - Hannes Strass; Michael Thielscher (KI, 2009)

Neural Networks for State Evaluation in General Game Playing. - Daniel Michulke; Michael Thielscher (ECML/PKDD (2), 2009)

A General Game Description Language for Incomplete Information Games. - Michael Thielscher (AAAI, 2010)

A Temporal Proof System for General Game Playing. - Michael Thielscher; Sebastian Voigt (AAAI, 2010)

Pushing the Envelope: General Game Players Prove Theorems. - Sebastian Haufe; Michael Thielscher (Australasian Conference on Artificial Intelligence, 2010)

Integrating Reasoning about Actions and Bayesian Networks. - Yves Martin; Michael Thielscher (ICAART (1), 2010)

State Defaults and Ramifications in the Unifying Action Calculus. - Ringo Baumann; Gerhard Brewka; Hannes Strass; Michael Thielscher; Vadim Zaslawski (KR, 2010)

Integrating Action Calculi and AgentSpeak: Closing the Gap. - Michael Thielscher (KR, 2010)

Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions. - Hannes Strass; Michael Thielscher (LPAR short papers(Yogyakarta), 2010)

How to Plan When Being Deliberately Misled. - Maurice Pagnucco; David Rajaratnam; Hannes Strass; Michael Thielscher (Automated Action Planning for Autonomous Mobile Robots, 2011)

The Epistemic Logic Behind the Game Description Language. - Ji Ruan; Michael Thielscher (AAAI, 2011)

Reasoning About General Games Described in GDL-II. - Stephan Schiffel; Michael Thielscher (AAAI, 2011)

A Logic for Knowledge Flow in Social Networks. - Ji Ruan; Michael Thielscher (Australasian Conference on Artificial Intelligence, 2011)

Translating General Game Descriptions into an Action Language. - Michael Thielscher (Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011)

The General Game Playing Description Language Is Universal. - Michael Thielscher (IJCAI, 2011)

General Game Playing in AI Research and Education. - Michael Thielscher (KI, 2011)

A unifying action calculus. - Michael Thielscher (Artif. Intell., 2011)

Knowledge-Based General Game Playing. - Sebastian Haufe; Daniel Michulke; Stephan Schiffel; Michael Thielscher (Künstliche Intell., 2011)

Special Issue on General Game Playing. - Michael Thielscher (Künstliche Intell., 2011)

GDL-II. - Michael Thielscher (Künstliche Intell., 2011)

ALPprolog - A new logic programming method for dynamic domains. - Conrad Drescher; Michael Thielscher (Theory Pract. Log. Program., 2011)

HyperPlay: A Solution to General Game Playing with Imperfect Information. - Michael John Schofield; Timothy Joseph Cerexhe; Michael Thielscher (AAAI, 2012)

A Language for Default Reasoning about Actions. - Hannes Strass; Michael Thielscher (Correct Reasoning, 2012)

Strategic and Epistemic Reasoning for the Game Description Language GDL-II. - Ji Ruan; Michael Thielscher (ECAI, 2012)

Automated Verification of Epistemic Properties for General Game Playing. - Sebastian Haufe; Michael Thielscher (KR, 2012)

Automated verification of state sequence invariants in general game playing. - Sebastian Haufe; Stephan Schiffel; Michael Thielscher (Artif. Intell., 2012)

Universelle Spielprogramme. - Michael Thielscher (Handbuch der Künstlichen Intelligenz, 2013)

Filtering With Logic Programs and Its Application to General Game Playing. - Michael Thielscher (AAAI, 2013)

Model Checking for Reasoning about Incomplete Information Games. - Xiaowei Huang 001; Ji Ruan; Michael Thielscher (Australasian Conference on Artificial Intelligence, 2013)

Towards General Game-Playing Robots: Models, Architecture and Game Controller. - David Rajaratnam; Michael Thielscher (Australasian Conference on Artificial Intelligence, 2013)

Evaluating Answer Set Clause Learning for General Game Playing. - Timothy Joseph Cerexhe; Orkunt Sabuncu; Michael Thielscher (LPNMR, 2013)

Implementing Belief Change in the Situation Calculus and an Application. - Maurice Pagnucco; David Rajaratnam; Hannes Strass; Michael Thielscher (LPNMR, 2013)

A general first-order solution to the ramification problem with cycles. - Hannes Strass; Michael Thielscher (J. Appl. Log., 2013)

Solving the Inferential Frame Problem in the General Game Description Language. - Javier Romero Davila; Abdallah Saffidine; Michael Thielscher (AAAI, 2014)

A Systematic Solution to the (De-)Composition Problem in General Game Playing. - Timothy Joseph Cerexhe; David Rajaratnam; Abdallah Saffidine; Michael Thielscher (ECAI, 2014)

Forgetting in Action. - David Rajaratnam; Hector J. Levesque; Maurice Pagnucco; Michael Thielscher (KR, 2014)

Online Agent Logic Programming with oClingo. - Timothy Joseph Cerexhe; Martin Gebser; Michael Thielscher (PRICAI, 2014)

Representing and Reasoning About the Rules of General Games With Imperfect Information. - Stephan Schiffel; Michael Thielscher (J. Artif. Intell. Res., 2014)

Logical-Epistemic Foundations of General Game Descriptions. - Ji Ruan; Michael Thielscher (Stud Logica, 2014)

General Game Playing - Michael R. Genesereth; Michael Thielscher (Morgan & Claypool Publishers, 2014)

Lifting Model Sampling for General Game Playing to Incomplete-Information Models. - Michael John Schofield; Michael Thielscher (AAAI, 2015)

A Logic for Reasoning About Game Strategies. - Dongmo Zhang; Michael Thielscher (AAAI, 2015)

Simulation of Action Theories and an Application to General Game-Playing Robots. - Michael Thielscher (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015)

Execution Monitoring as Meta-Games for General Game-Playing Robots. - David Rajaratnam; Michael Thielscher (IJCAI, 2015)

A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence. - Robert Morris 004; Blai Bonet; Marc Cavazza; Marie desJardins; Ariel Felner; Nick Hawes; Brad Knox; Sven Koenig; George Dimitri Konidaris; Jérôme Lang; Carlos Linares López; Daniele Magazzeni; et al. (AI Mag., 2015)

Representing and Reasoning about Game Strategies. - Dongmo Zhang; Michael Thielscher (J. Philos. Log., 2015)

Nested Monte Carlo Search for Two-Player Games. - Tristan Cazenave; Abdallah Saffidine; Michael John Schofield; Michael Thielscher (AAAI, 2016)

The Scalability of the HyperPlay Technique for Imperfect-Information Games. - Michael John Schofield; Michael Thielscher (AAAI Workshop: Computer Poker and Imperfect Information Games, 2016)

Composability in Cognitive Hierarchies. - David Rajaratnam; Bernhard Hengst; Maurice Pagnucco; Claude Sammut; Michael Thielscher (Australasian Conference on Artificial Intelligence, 2016)

GDL-III: A Proposal to Extend the Game Description Language to General Epistemic Games. - Michael Thielscher (ECAI, 2016)

A Framework for Integrating Symbolic and Sub-Symbolic Representations. - Keith Clark; Bernhard Hengst; Maurice Pagnucco; David Rajaratnam; Peter Robinson 007; Claude Sammut; Michael Thielscher (IJCAI, 2016)

Sampling-Based Belief Revision. - Michael Thielscher (IJCAI, 2016)

The Efficiency of the HyperPlay Technique Over Random Sampling. - Michael John Schofield; Michael Thielscher (AAAI, 2017)

GDL-III: A Description Language for Epistemic General Game Playing. - Michael Thielscher (IJCAI, 2017)

Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence. - Monica Anderson 001; Roman Barták; John S. Brownstein; David L. Buckeridge; Hoda Eldardiry; Christopher W. Geib; Maria L. Gini; Aaron Isaksen; Sarah Keren; Robert Laddaga; Viliam Lisý; Rodney Martin; et al. (AI Mag., 2017)

General Language Evolution in General Game Playing. - Armin Chitizadeh; Michael Thielscher (Australasian Conference on Artificial Intelligence, 2018)

Iterative Tree Search in General Game Playing with Incomplete Information. - Armin Chitizadeh; Michael Thielscher (CGW@IJCAI, 2018)

Perceptual Context in Cognitive Hierarchies. - Bernhard Hengst; Maurice Pagnucco; David Rajaratnam; Claude Sammut; Michael Thielscher (Description Logic, Theory Combination, and All That, 2019)

Encoding Epistemic Strategies for General Game Playing. - Shawn Manuel; David Rajaratnam; Michael Thielscher (PRICAI (1), 2019)

General Game Playing with Imperfect Information. - Michael John Schofield; Michael Thielscher (J. Artif. Intell. Res., 2019)

Universelle Spielprogramme. - Michael Thielscher (Handbuch der Künstlichen Intelligenz, 2020)

Deep Reinforcement Learning for General Game Playing. - Adrian Goldwaser; Michael Thielscher (AAAI, 2020)

Exploring a Learning Architecture for General Game Playing. - Alvaro Gunawan; Ji Ruan; Michael Thielscher; Ajit Narayanan (Australasian Conference on Artificial Intelligence, 2020)

Representing and Reasoning with Event Models for Epistemic Planning. - David Rajaratnam; Michael Thielscher (KR, 2021)

Game description language and dynamic epistemic logic compared. - Thorsten Engesser; Robert Mattmüller; Bernhard Nebel; Michael Thielscher (Artif. Intell., 2021)

Knowledge Transfer for Deep Reinforcement Agents in General Game Playing. - Cameron McEwan; Michael Thielscher (AI, 2022)

Hidden Information General Game Playing with Deep Learning and Search. - Zachary Partridge; Michael Thielscher (PRICAI (3), 2022)

MCTS with Dynamic Depth Minimax. - James Ji; Michael Thielscher (ACG, 2023)

On Optimal Strategies for Wordle and General Guessing Games. - Michael Cunanan; Michael Thielscher (IJCAI, 2023)

General Game Playing With State-Independent Communication. - Sean Zammit; Michael Thielscher (KR, 2023)

Online Learning and Planning in Cognitive Hierarchies. - Bernhard Hengst; Maurice Pagnucco; David Rajaratnam; Claude Sammut; Michael Thielscher (CoRR, 2023)

Solving Two-player Games with QBF Solvers in General Game Playing. - Yifan He 008; Abdallah Saffidine; Michael Thielscher (AAMAS, 2024)

Verification of General Games with Imperfect Information Using Strategy Logic. - Yifan He 008; Munyque Mittelmann; Aniello Murano; Abdallah Saffidine; Michael Thielscher (KR, 2024)

Hierarchically Gated Experts for Efficient Online Continual Learning. - Kevin Luong; Michael Thielscher (ICAART (2), 2025)

Repairing General Game Descriptions (extended version). - Yifan He 008; Munyque Mittelmann; Aniello Murano; Abdallah Saffidine; Michael Thielscher (CoRR, 2025)