Name
Affiliation
Papers
MICHAEL THIELSCHER
School of Computer Science and Engineering, The University of New South Wales, Sydney, NSW 2052 Australia
136
Collaborators
Citations 
PageRank 
223
1195
90.81
Referers 
Referees 
References 
958
989
1708
Search Limit
100989
Title
Citations
PageRank
Year
Deep Reinforcement Learning For General Game Playing00.342020
Perceptual Context in Cognitive Hierarchies.00.342018
Iterative Tree Search in General Game Playing with Incomplete Information.00.342018
Computer Games : 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, held in conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York, USA, July 9-10, 2016, Revised selected papers00.342016
Composability in Cognitive Hierarchies.00.342016
Nested Monte Carlo Search for Two-Player Games.20.392016
Sampling-Based Belief Revision.00.342016
A Logic For Reasoning About Game Strategies60.502015
Execution monitoring as meta-games for general game-playing robots00.342015
Online Agent Logic Programming With Oclingo10.352014
Forgetting in Action.50.402014
A Systematic Solution to the (De-)Composition Problem in General Game Playing.20.382014
Logical-Epistemic Foundations of General Game Descriptions.20.402014
Representing and Reasoning about Game Strategies.70.502014
Multimodal distributional semantics160.692014
Representing and reasoning about the rules of general games with imperfect information100.792014
Implementing Belief Change in the Situation Calculus and an Application.20.382013
A general first-order solution to the ramification problem with cycles.20.352013
Model Checking for Reasoning about Incomplete Information Games50.502013
Filtering With Logic Programs and Its Application to General Game Playing.10.352013
Automated Verification of Epistemic Properties for General Game Playing.30.402012
A language for default reasoning about actions00.342012
Automated verification of state sequence invariants in general game playing100.682012
The Epistemic Logic Behind the Game Description Language.60.522011
The general game playing description language is universal140.912011
Anchoring Symbols to Percepts in the Fluent Calculus - A General Approach to the Symbol Anchoring Problem of Cognitive Robots00.342011
GDL-II20.432011
A unifying action calculus251.082011
Knowledge-Based General Game Playing30.452011
General game playing in AI research and education30.392011
ALPprolog - A new logic programming method for dynamic domains.20.372011
Special Issue on General Game Playing00.342011
A logic for knowledge flow in social networks50.562011
Translating general game descriptions into an action language30.442011
Pushing the Envelope: General Game Players Prove Theorems10.362010
Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions.00.342010
Integrating Reasoning About Actions And Bayesian Networks30.382010
From General Game Descriptions to a Market Specification Language for General Trading Agents.20.362009
Neural Networks for State Evaluation in General Game Playing80.492009
Simple Default Reasoning in Theories of Action10.372009
On defaults in action theories20.412009
A declarative agent programming language based on action theories50.612009
A Multiagent Semantics for the Game Description Language191.072009
Specifying Multiagent Environments Systems in the Game Description Language00.342009
Answer Set Programming for Single-Player Games in General Game Playing251.222009
Putting ABox Updates into Action70.492009
Computational Logic in Multi-Agent Systems: 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers90.562009
Decomposition of Multi-player Games70.702009
A Fluent Calculus Semantics for ADL with Plan Constraints00.342008
Reinforcement Belief Revision00.342008
  • 1
  • 2