Michael Thielscher

ORCID

Publication Activity (10 Years)

Years Active: 1992-2024
Publications (10 Years): 28

Top Venues

AAAI

IJCAI

CoRR

Darmstadt University of Technology, Germany (PHD)

Education History

Darmstadt University of Technology, Germany

PHD

Publications

Yifan He, Abdallah Saffidine, Michael Thielscher
Solving Two-player Games with QBF Solvers in General Game Playing. AAMAS (2024)
James Ji, Michael Thielscher
MCTS with Dynamic Depth Minimax. ACG (2023)
Michael Cunanan, Michael Thielscher
On Optimal Strategies for Wordle and General Guessing Games. CoRR (2023)
Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Claude Sammut, Michael Thielscher
Online Learning and Planning in Cognitive Hierarchies. CoRR (2023)
Sean Zammit, Michael Thielscher
General Game Playing With State-Independent Communication. KR (2023)
Michael Cunanan, Michael Thielscher
On Optimal Strategies for Wordle and General Guessing Games. IJCAI (2023)
Zachary Partridge, Michael Thielscher
Hidden Information General Game Playing with Deep Learning and Search. PRICAI (3) (2022)
Cameron McEwan, Michael Thielscher
Knowledge Transfer for Deep Reinforcement Agents in General Game Playing. AI (2022)
David Rajaratnam, Michael Thielscher
Representing and Reasoning with Event Models for Epistemic Planning. KR (2021)
Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Michael Thielscher
Game description language and dynamic epistemic logic compared. Artif. Intell. 292 (2021)
Adrian Goldwaser, Michael Thielscher
Deep Reinforcement Learning for General Game Playing. AAAI (2020)
Alvaro Gunawan, Ji Ruan, Michael Thielscher, Ajit Narayanan
Exploring a Learning Architecture for General Game Playing. Australasian Conference on Artificial Intelligence (2020)
Shawn Manuel, David Rajaratnam, Michael Thielscher
Encoding Epistemic Strategies for General Game Playing. PRICAI (1) (2019)
Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Claude Sammut, Michael Thielscher
Perceptual Context in Cognitive Hierarchies. Description Logic, Theory Combination, and All That (2019)
Michael John Schofield, Michael Thielscher
General Game Playing with Imperfect Information. J. Artif. Intell. Res. 66 (2019)
Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Claude Sammut, Michael Thielscher
Perceptual Context in Cognitive Hierarchies. CoRR (2018)
Armin Chitizadeh, Michael Thielscher
General Language Evolution in General Game Playing. Australasian Conference on Artificial Intelligence (2018)
Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Michael Thielscher
Game Description Language and Dynamic Epistemic Logic Compared. IJCAI (2018)
Armin Chitizadeh, Michael Thielscher
Iterative Tree Search in General Game Playing with Incomplete Information. CGW@IJCAI (2018)
Michael John Schofield, Michael Thielscher
The Efficiency of the HyperPlay Technique Over Random Sampling. AAAI (2017)
Michael Thielscher
GDL-III: A Description Language for Epistemic General Game Playing. IJCAI (2017)
Monica Anderson, 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, David R. Martinez, Martin Michalowski, Loizos Michael, Reuth Mirsky, Thanh Hai Nguyen, Michael J. Paul, Enrico Pontelli, Scott Sanner, Arash Shaban-Nejad, Arunesh Sinha, Shirin Sohrabi, Kumar Sricharan, Biplav Srivastava, Mark Stefik, William W. Streilein, Nathan R. Sturtevant, Kartik Talamadupula, Michael Thielscher, Julian Togelius, Tran Cao Son, Long Tran-Thanh, Neal Wagner, Byron C. Wallace, Szymon Wilk, Jichen Zhu
Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence. AI Mag. 38 (3) (2017)
David Rajaratnam, Bernhard Hengst, Maurice Pagnucco, Claude Sammut, Michael Thielscher
Composability in Cognitive Hierarchies. Australasian Conference on Artificial Intelligence (2016)
Michael John Schofield, Michael Thielscher
The Scalability of the HyperPlay Technique for Imperfect-Information Games. AAAI Workshop: Computer Poker and Imperfect Information Games (2016)
Michael Thielscher
Sampling-Based Belief Revision. IJCAI (2016)
Michael Thielscher
GDL-III: A Proposal to Extend the Game Description Language to General Epistemic Games. ECAI (2016)
Tristan Cazenave, Abdallah Saffidine, Michael John Schofield, Michael Thielscher
Nested Monte Carlo Search for Two-Player Games. AAAI (2016)
Keith Clark, Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Peter Robinson, Claude Sammut, Michael Thielscher
A Framework for Integrating Symbolic and Sub-Symbolic Representations. IJCAI (2016)
Robert Morris, 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, Amy McGovern, Sriraam Natarajan, Nathan R. Sturtevant, Michael Thielscher, William Yeoh, Sebastian Sardiña, Kiri Wagstaff
A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AI Mag. 36 (3) (2015)
Michael Thielscher
Simulation of Action Theories and an Application to General Game-Playing Robots. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
David Rajaratnam, Michael Thielscher
Execution Monitoring as Meta-Games for General Game-Playing Robots. IJCAI (2015)
Dongmo Zhang, Michael Thielscher
A Logic for Reasoning About Game Strategies. AAAI (2015)
Dongmo Zhang, Michael Thielscher
Representing and Reasoning about Game Strategies. J. Philos. Log. 44 (2) (2015)
Michael John Schofield, Michael Thielscher
Lifting Model Sampling for General Game Playing to Incomplete-Information Models. AAAI (2015)
Stephan Schiffel, Michael Thielscher
Representing and Reasoning About the Rules of General Games With Imperfect Information. J. Artif. Intell. Res. 49 (2014)
Ji Ruan, Michael Thielscher
Logical-Epistemic Foundations of General Game Descriptions. Stud Logica 102 (2) (2014)
Javier Romero Davila, Abdallah Saffidine, Michael Thielscher
Solving the Inferential Frame Problem in the General Game Description Language. AAAI (2014)
Dongmo Zhang, Michael Thielscher
Representing and Reasoning about Game Strategies. CoRR (2014)
Timothy Joseph Cerexhe, David Rajaratnam, Abdallah Saffidine, Michael Thielscher
A Systematic Solution to the (De-)Composition Problem in General Game Playing. ECAI (2014)
David Rajaratnam, Hector J. Levesque, Maurice Pagnucco, Michael Thielscher
Forgetting in Action. KR (2014)
Timothy Joseph Cerexhe, Martin Gebser, Michael Thielscher
Online Agent Logic Programming with oClingo. PRICAI (2014)
David Rajaratnam, Michael Thielscher
Towards General Game-Playing Robots: Models, Architecture and Game Controller. Australasian Conference on Artificial Intelligence (2013)
Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher
Implementing Belief Change in the Situation Calculus and an Application. LPNMR (2013)
Xiaowei Huang, Ji Ruan, Michael Thielscher
Model Checking for Reasoning about Incomplete Information Games. Australasian Conference on Artificial Intelligence (2013)
Timothy Joseph Cerexhe, Orkunt Sabuncu, Michael Thielscher
Evaluating Answer Set Clause Learning for General Game Playing. LPNMR (2013)
Hannes Strass, Michael Thielscher
A general first-order solution to the ramification problem with cycles. J. Appl. Log. 11 (3) (2013)
Michael Thielscher
Filtering With Logic Programs and Its Application to General Game Playing. AAAI (2013)
Sebastian Haufe, Michael Thielscher
Automated Verification of Epistemic Properties for General Game Playing. KR (2012)
Hannes Strass, Michael Thielscher
A Language for Default Reasoning about Actions. Correct Reasoning (2012)
Michael John Schofield, Timothy Joseph Cerexhe, Michael Thielscher
HyperPlay: A Solution to General Game Playing with Imperfect Information. AAAI (2012)
Ji Ruan, Michael Thielscher
Strategic and Epistemic Reasoning for the Game Description Language GDL-II. ECAI (2012)
Sebastian Haufe, Stephan Schiffel, Michael Thielscher
Automated verification of state sequence invariants in general game playing. Artif. Intell. 187 (2012)
Michael Thielscher
A unifying action calculus. Artif. Intell. 175 (1) (2011)
Michael Thielscher
GDL-II. Künstliche Intell. 25 (1) (2011)
Michael Thielscher
Special Issue on General Game Playing. Künstliche Intell. 25 (1) (2011)
Michael Thielscher
The General Game Playing Description Language Is Universal. IJCAI (2011)
Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher
How to Plan When Being Deliberately Misled. Automated Action Planning for Autonomous Mobile Robots (2011)
Sebastian Haufe, Daniel Michulke, Stephan Schiffel, Michael Thielscher
Knowledge-Based General Game Playing. Künstliche Intell. 25 (1) (2011)
Stephan Schiffel, Michael Thielscher
Reasoning About General Games Described in GDL-II. AAAI (2011)
Michael Thielscher
Translating General Game Descriptions into an Action Language. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Ji Ruan, Michael Thielscher
A Logic for Knowledge Flow in Social Networks. Australasian Conference on Artificial Intelligence (2011)
Michael Thielscher
General Game Playing in AI Research and Education. KI (2011)
Conrad Drescher, Michael Thielscher
ALPprolog --- A New Logic Programming Method for Dynamic Domains CoRR (2011)
Conrad Drescher, Michael Thielscher
ALPprolog - A new logic programming method for dynamic domains. Theory Pract. Log. Program. 11 (4-5) (2011)
Ji Ruan, Michael Thielscher
The Epistemic Logic Behind the Game Description Language. AAAI (2011)
Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski
State Defaults and Ramifications in the Unifying Action Calculus. KR (2010)
Sebastian Haufe, Michael Thielscher
Pushing the Envelope: General Game Players Prove Theorems. Australasian Conference on Artificial Intelligence (2010)
Yves Martin, Michael Thielscher
Integrating Reasoning about Actions and Bayesian Networks. ICAART (1) (2010)
Michael Thielscher, Sebastian Voigt
A Temporal Proof System for General Game Playing. AAAI (2010)
Hannes Strass, Michael Thielscher
Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions. LPAR short papers(Yogyakarta) (2010)
Michael Thielscher
Integrating Action Calculi and AgentSpeak: Closing the Gap. KR (2010)
Michael Thielscher
A General Game Description Language for Incomplete Information Games. AAAI (2010)
Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher
Putting ABox Updates into Action. FroCoS (2009)
Stephan Schiffel, Michael Thielscher
A Multiagent Semantics for the Game Description Language. ICAART (Revised Selected Papers) (2009)
Stephan Schiffel, Michael Thielscher
Specifying Multiagent Environments Systems in the Game Description Language. ICAART (2009)
Michael Thielscher
Answer Set Programming for Single-Player Games in General Game Playing. ICLP (2009)
Hannes Strass, Michael Thielscher
On Defaults in Action Theories. KI (2009)
Michael Thielscher, Dongmo Zhang
From General Game Descriptions to a Market Specification Language for General Trading Agents. AMEC/TADA (2009)
Conrad Drescher, Stephan Schiffel, Michael Thielscher
A Declarative Agent Programming Language Based on Action Theories. FroCoS (2009)
Dengji Zhao, Stephan Schiffel, Michael Thielscher
Decomposition of Multi-player Games. Australasian Conference on Artificial Intelligence (2009)
Daniel Michulke, Michael Thielscher
Neural Networks for State Evaluation in General Game Playing. ECML/PKDD (2) (2009)
Stephan Schiffel, Michael Thielscher
Automated Theorem Proving for General Game Playing. IJCAI (2009)
Hannes Strass, Michael Thielscher
Simple Default Reasoning in Theories of Action. Australasian Conference on Artificial Intelligence (2009)
Yi Jin, Michael Thielscher
Reinforcement Belief Revision. J. Log. Comput. 18 (5) (2008)
Conrad Drescher, Michael Thielscher
A Fluent Calculus Semantics for ADL with Plan Constraints. JELIA (2008)
Yi Jin, Michael Thielscher
Iterated belief revision, revised. Artif. Intell. 171 (1) (2007)
Stephan Schiffel, Michael Thielscher, Doan Thu Trang
An Agent Team Based on FLUX for the ProMAS Contest 2007. PROMAS (2007)
Conrad Drescher, Michael Thielscher
Integrating Action Calculi and Description Logics. KI (2007)
Yi Jin, Michael Thielscher, Dongmo Zhang
Mutual Belief Revision: Semantics and Computation. AAAI (2007)
Stephan Schiffel, Michael Thielscher
Fluxplayer: A Successful General Game Player. AAAI (2007)
Sheila A. McIlraith, Pavlos Peppas, Michael Thielscher
Preface. J. Log. Comput. 17 (5) (2007)
Stephan Schiffel, Michael Thielscher
Reconciling Situation Calculus and Fluent Calculus. AAAI (2006)
Wolfgang Achtner, Esma Aïmeur, Sarabjot Singh Anand, Doug Appelt, Naveen Ashish, Tiffany Barnes, Joseph E. Beck, M. Bernardine Dias, Prashant Doshi, Chris Drummond, William Elazmeh, Ariel Felner, Dayne Freitag, Hector Geffner, Christopher W. Geib, Richard Goodwin, Robert C. Holte, Frank Hutter, Fair Isaac, Nathalie Japkowicz, Gal A. Kaminka, Sven Koenig, Michail G. Lagoudakis, David B. Leake, Lundy Lewis, Hugo Liu, Ted Metzler, Rada Mihalcea, Bamshad Mobasher, Pascal Poupart, David V. Pynadath, Thomas Roth-Berghofer, Wheeler Ruml, Stefan Schulz, Sven Schwarz, Stephanie Seneff, Amit P. Sheth, Ron Sun, Michael Thielscher, Afzal Upal, Jason D. Williams, Steve J. Young, Dmitry Zelenko
Reports on the Twenty-First National Conference on Artificial Intelligence (AAAI-06) Workshop Program. AI Mag. 27 (4) (2006)
Michael Thielscher
General Game Playing. Künstliche Intell. 20 (4) (2006)
Silvia Coradeschi, Hiroshi Ishiguro, Minoru Asada, Stuart C. Shapiro, Michael Thielscher, Cynthia Breazeal, Maja J. Mataric, Hiroshi Ishida
Human-Inspired Robots. IEEE Intell. Syst. 21 (4) (2006)
Michael Thielscher, Thomas Witkowski
The Features-and-Fluents Semantics for the Fluent Calculus. KR (2006)
Stephan Schiffel, Michael Thielscher
Multi-Agent FLUX for the Gold Mining Domain (System Description). CLIMA (2006)
Yi Jin, Michael Thielscher
Iterated Belief Revision, Revised. IJCAI (2005)
Hendrik Skubch, Michael Thielscher
Strategy Learning for Reasoning Agents. ECML (2005)
Yi Jin, Michael Thielscher
Actions and Belief Revision: A Computational Approach. Belief Change in Rational Agents (2005)

Michael Thielscher.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Thielscher