Thielscher, Michael

35 publications

IJCAI 2023 On Optimal Strategies for Wordle and General Guessing Games Michael Cunanan, Michael Thielscher

AAAI 2020 Deep Reinforcement Learning for General Game Playing Adrian Goldwaser, Michael Thielscher

JAIR 2019 General Game Playing with Imperfect Information Michael John Schofield, Michael Thielscher

IJCAI 2018 Game Description Language and Dynamic Epistemic Logic Compared Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Michael Thielscher

IJCAI 2018 Iterative Tree Search in General Game Playing with Incomplete Information Armin Chitizadeh, Michael Thielscher

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

AAAI 2017 The Efficiency of the HyperPlay Technique over Random Sampling Michael John Schofield, Michael Thielscher

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

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

IJCAI 2016 Sampling-Based Belief Revision Michael Thielscher

AAAI 2015 A Logic for Reasoning About Game Strategies Dongmo Zhang, Michael Thielscher

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

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

JAIR 2014 Representing and Reasoning About the Rules of General Games with Imperfect Information Stephan Schiffel, Michael Thielscher

AAAI 2014 Solving the Inferential Frame Problem in the General Game Description Language Javier Romero Dávila, Abdallah Saffidine, Michael Thielscher

AAAI 2013 Filtering with Logic Programs and Its Application to General Game Playing Michael Thielscher

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

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

AAAI 2011 The Epistemic Logic Behind the Game Description Language Ji Ruan, Michael Thielscher

IJCAI 2011 The General Game Playing Description Language Is Universal Michael Thielscher

AAAI 2010 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

IJCAI 2009 Automated Theorem Proving for General Game Playing Stephan Schiffel, Michael Thielscher

ECML-PKDD 2009 Neural Networks for State Evaluation in General Game Playing Daniel Michulke, Michael Thielscher

AAAI 2007 Fluxplayer: A Successful General Game Player Stephan Schiffel, Michael Thielscher

AAAI 2007 Mutual Belief Revision: Semantics and Computation Yi Jin, Michael Thielscher, Dongmo Zhang

AAAI 2006 Reconciling Situation Calculus and Fluent Calculus Stephan Schiffel, Michael Thielscher

IJCAI 2005 Iterated Belief Revision, Revised Yi Jin, Michael Thielscher

ECML-PKDD 2005 Strategy Learning for Reasoning Agents Hendrik Skubch, Michael Thielscher

AAAI 2000 Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - And a Case Study Michael Thielscher

AAAI 1997 Qualified Ramifications Michael Thielscher

AAAI 1996 Reasoning About Continuous Processes Christoph S. Herrmann, Michael Thielscher

IJCAI 1995 Computing Ramifications by Postprocessing Michael Thielscher

IJCAI 1995 The Logic of Dynamic Systems Michael Thielscher

ALT 1994 Deductive Plan Generation Wolfgang Bibel, Michael Thielscher