| 2026 | KR | A Study of Belief Revision Postulates in Multi-Agent Systems. | Michael Thielscher, Tran Cao Son |
| 2025 | ICAART | Hierarchically Gated Experts for Efficient Online Continual Learning. | Kevin Luong, Michael Thielscher |
| 2025 | ICAART | The Impact of Masking and Multiple Autoencoders on Hierarchically Gated Experts. | Kevin Luong, Michael Thielscher |
| 2025 | KR | Repairing General Game Descriptions. | Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher |
| 2024 | KR | Verification of General Games with Imperfect Information Using Strategy Logic. | Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher |
| 2023 | IJCAI | On Optimal Strategies for Wordle and General Guessing Games. | Michael Cunanan, Michael Thielscher |
| 2023 | KR | General Game Playing With State-Independent Communication. | Sean Zammit, Michael Thielscher |
| 2022 | PRICAI | Hidden Information General Game Playing with Deep Learning and Search. | Zachary Partridge, Michael Thielscher |
| 2021 | KR | Representing and Reasoning with Event Models for Epistemic Planning. | David Rajaratnam, Michael Thielscher |
| 2020 | AAAI | Deep Reinforcement Learning for General Game Playing. | Adrian Goldwaser, Michael Thielscher |
| 2019 | PRICAI | Encoding Epistemic Strategies for General Game Playing. | Shawn Manuel, David Rajaratnam, Michael Thielscher |
| 2018 | IJCAI | Iterative Tree Search in General Game Playing with Incomplete Information. | Armin Chitizadeh, Michael Thielscher |
| 2018 | IJCAI | Game Description Language and Dynamic Epistemic Logic Compared. | Thorsten Engesser, Robert Mattmller, Bernhard Nebel, Michael Thielscher |
| 2017 | AAAI | The Efficiency of the HyperPlay Technique Over Random Sampling. | Michael John Schofield, Michael Thielscher |
| 2017 | IJCAI | GDL-III: A Description Language for Epistemic General Game Playing. | Michael Thielscher |
| 2016 | AAAI | Nested Monte Carlo Search for Two-Player Games. | Tristan Cazenave, Abdallah Saffidine, Michael John Schofield, Michael Thielscher |
| 2016 | AAAI | The Scalability of the HyperPlay Technique for Imperfect-Information Games. | Michael John Schofield, Michael Thielscher |
| 2016 | ECAI | GDL-III: A Proposal to Extend the Game Description Language to General Epistemic Games. | Michael Thielscher |
| 2016 | IJCAI | A Framework for Integrating Symbolic and Sub-Symbolic Representations. | Keith Clark, Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Peter Robinson, Claude Sammut, Michael Thielscher |
| 2016 | IJCAI | Sampling-Based Belief Revision. | Michael Thielscher |
| 2015 | AAAI | Lifting Model Sampling for General Game Playing to Incomplete-Information Models. | Michael John Schofield, Michael Thielscher |
| 2015 | AAAI | A Logic for Reasoning About Game Strategies. | Dongmo Zhang, Michael Thielscher |
| 2015 | IJCAI | Execution Monitoring as Meta-Games for General Game-Playing Robots. | David Rajaratnam, Michael Thielscher |
| 2014 | AAAI | Solving the Inferential Frame Problem in the General Game Description Language. | Javier Romero Dvila, Abdallah Saffidine, Michael Thielscher |
| 2014 | ECAI | A Systematic Solution to the (De-)Composition Problem in General Game Playing. | Timothy Joseph Cerexhe, David Rajaratnam, Abdallah Saffidine, Michael Thielscher |
| 2014 | KR | Forgetting in Action. | David Rajaratnam, Hector J. Levesque, Maurice Pagnucco, Michael Thielscher |
| 2014 | PRICAI | Online Agent Logic Programming with oClingo. | Timothy Joseph Cerexhe, Martin Gebser, Michael Thielscher |
| 2013 | AAAI | Filtering With Logic Programs and Its Application to General Game Playing. | Michael Thielscher |
| 2013 | LPNMR | Evaluating Answer Set Clause Learning for General Game Playing. | Timothy Joseph Cerexhe, Orkunt Sabuncu, Michael Thielscher |
| 2013 | LPNMR | Implementing Belief Change in the Situation Calculus and an Application. | Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher |
| 2012 | AAAI | HyperPlay: A Solution to General Game Playing with Imperfect Information. | Michael John Schofield, Timothy Joseph Cerexhe, Michael Thielscher |
| 2012 | ECAI | Strategic and Epistemic Reasoning for the Game Description Language GDL-II. | Ji Ruan, Michael Thielscher |
| 2012 | KR | Automated Verification of Epistemic Properties for General Game Playing. | Sebastian Haufe, Michael Thielscher |
| 2011 | AAAI | How to Plan When Being Deliberately Misled. | Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher |
| 2011 | AAAI | The Epistemic Logic Behind the Game Description Language. | Ji Ruan, Michael Thielscher |
| 2011 | AAAI | Reasoning About General Games Described in GDL-II. | Stephan Schiffel, Michael Thielscher |
| 2011 | IJCAI | The General Game Playing Description Language Is Universal. | Michael Thielscher |
| 2011 | KI | General Game Playing in AI Research and Education. | Michael Thielscher |
| 2010 | AAAI | A General Game Description Language for Incomplete Information Games. | Michael Thielscher |
| 2010 | AAAI | A Temporal Proof System for General Game Playing. | Michael Thielscher, Sebastian Voigt |
| 2010 | ICAART | Integrating Reasoning about Actions and Bayesian Networks. | Yves Martin, Michael Thielscher |
| 2010 | KR | State Defaults and Ramifications in the Unifying Action Calculus. | Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski |
| 2010 | KR | Integrating Action Calculi and AgentSpeak: Closing the Gap. | Michael Thielscher |
| 2010 | LPAR | Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions. | Hannes Strass, Michael Thielscher |
| 2009 | ICAART | Specifying Multiagent Environments Systems in the Game Description Language. | Stephan Schiffel, Michael Thielscher |
| 2009 | ICAART | A Multiagent Semantics for the Game Description Language. | Stephan Schiffel, Michael Thielscher |
| 2009 | ICLP | Answer Set Programming for Single-Player Games in General Game Playing. | Michael Thielscher |
| 2009 | IJCAI | Automated Theorem Proving for General Game Playing. | Stephan Schiffel, Michael Thielscher |
| 2009 | KI | On Defaults in Action Theories. | Hannes Strass, Michael Thielscher |
| 2008 | JELIA | A Fluent Calculus Semantics for ADL with Plan Constraints. | Conrad Drescher, Michael Thielscher |
| 2007 | AAAI | Mutual Belief Revision: Semantics and Computation. | Yi Jin, Michael Thielscher, Dongmo Zhang |
| 2007 | AAAI | Fluxplayer: A Successful General Game Player. | Stephan Schiffel, Michael Thielscher |
| 2007 | KI | Integrating Action Calculi and Description Logics. | Conrad Drescher, Michael Thielscher |
| 2006 | AAAI | Reconciling Situation Calculus and Fluent Calculus. | Stephan Schiffel, Michael Thielscher |
| 2006 | KR | The Features-and-Fluents Semantics for the Fluent Calculus. | Michael Thielscher, Thomas Witkowski |
| 2005 | CP | Handling Implication and Universal Quantification Constraints in FLUX. | Michael Thielscher |
| 2005 | IJCAI | Iterated Belief Revision, Revised. | Yi Jin, Michael Thielscher |
| 2004 | ECAI | Representing Beliefs in the Fluent Calculus. | Yi Jin, Michael Thielscher |
| 2004 | KR | Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. | Yves Martin, Iman Narasamdya, Michael Thielscher |
| 2003 | ICLP | Controlling Semi-automatic Systems with FLUX. | Michael Thielscher |
| 2003 | KI | A Formal Assessment Result for Fluent Calculus Using the Action Description Language A | Ozan Kahramanogullari, Michael Thielscher |
| 2002 | ICLP | Reasoning about Actions with CHRs and Finite Domain Constraints. | Michael Thielscher |
| 2001 | KI | Addressing the Qualification Problem in FLUX. | Yves Martin, Michael Thielscher |
| 2001 | KI | Inferring Implicit State Knowledge and Plans with Sensing Actions. | Michael Thielscher |
| 2000 | AAAI | Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - and a Case Study. | Michael Thielscher |
| 2000 | KR | Representing the Knowledge of a Robot. | Michael Thielscher |
| 1999 | KI | A Theory of First-Order Counterfactual Reasoning. | Michael Thielscher |
| 1998 | JELIA | Towards State Update Axioms: Reifying Successor State Axioms. | Michael Thielscher |
| 1998 | KR | How (Not) To Minimize Events. | Michael Thielscher |
| 1997 | AAAI | Qualified Ramifications. | Michael Thielscher |
| 1997 | KI | Agents in Proactive Environments. | Dov M. Gabbay, Rolf Nossum, Michael Thielscher |
| 1996 | AAAI | Reasoning about Continuous Processes. | Christoph S. Herrmann, Michael Thielscher |
| 1996 | ICLP | A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs. | Michael Thielscher |
| 1996 | KR | Causality and the Qualification Problem. | Michael Thielscher |
| 1995 | IJCAI | The Logic of Dynamic Systems. | Michael Thielscher |
| 1995 | IJCAI | Computing Ramifications by Postprocessing. | Michael Thielscher |
| 1995 | KI | What Is a Skeptical Proof? | Michael Thielscher |
| 1995 | LOPSTR | Solving Deductive Planning Problems Using Program Analysis and Transformation. | D. Andre de Waal, Michael Thielscher |
| 1994 | ALT | Deductive Plan Generation. | Wolfgang Bibel, Michael Thielscher |
| 1994 | ICLP | Representing Actions in Equational Logic Programming. | Michael Thielscher |
| 1994 | KI | Representing Concurrent Actions and Solving Conflicts. | Sven-Erik Bornscheuer, Michael Thielscher |
| 1993 | ICLP | On Logic Programming with Multisets. | Steffen Hlldobler, Michael Thielscher |
| 1992 | ICLP | Equational Logic Programming Actions, and Change. | Gerd Groe, Steffen Hlldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher |