Follow
Michael Thielscher
Michael Thielscher
Professor, UNSW Australia
Verified email at unsw.edu.au
Title
Cited by
Cited by
Year
Ramification and causality
M Thielscher
Artificial intelligence 89 (1-2), 317-364, 1997
2971997
FLUX: A logic programming method for reasoning agents
M Thielscher
Theory and Practice of Logic Programming 5 (4-5), 533-565, 2005
2622005
Introduction to the fluent calculus
M Thielscher
Linköping University Electronic Press, 1998
2231998
From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem
M Thielscher
Artificial intelligence 111 (1-2), 277-299, 1999
2181999
Iterated belief revision, revised
Y Jin, M Thielscher
Artificial Intelligence 171 (1), 1-18, 2007
1982007
A general game description language for incomplete information games
M Thielscher
Proceedings of the AAAI conference on artificial intelligence 24 (1), 994-999, 2010
1892010
Fluxplayer: A successful general game player
S Schiffel, M Thielscher
Aaai 7, 1191-1196, 2007
1882007
General game playing
M Genesereth, M Thielscher
Springer Nature, 2022
1362022
Reasoning robots: the art and science of programming robotic agents
M Thielscher
Springer Science & Business Media, 2005
1192005
Representing the knowledge of a robot
M Thielscher
KR, 109-120, 2000
1032000
Human-inspired robots
S Coradeschi, H Ishiguro, M Asada, SC Shapiro, M Thielscher, ...
IEEE Intelligent Systems 21 (4), 74-85, 2006
952006
Computing ramifications by postprocessing
M Thielscher
IJCAI, 1994-2000, 1995
781995
The qualification problem: A solution to the problem of anomalous models
M Thielscher
Artificial Intelligence 131 (1-2), 1-37, 2001
752001
Intelligent execution monitoring in dynamic environments
M Fichtner, A Großmann, M Thielscher
Fundamenta Informaticae 57 (2-4), 371-392, 2003
662003
The general game playing description language is universal
M Thielscher
IJCAI Proceedings-International Joint Conference on Artificial Intelligence …, 2011
632011
A unifying action calculus
M Thielscher
Artificial Intelligence 175 (1), 120-141, 2011
552011
Answer set programming for single-player games in general game playing
M Thielscher
Logic Programming: 25th International Conference, ICLP 2009, Pasadena, CA …, 2009
552009
A multiagent semantics for the game description language
S Schiffel, M Thielscher
Agents and Artificial Intelligence: International Conference, ICAART 2009 …, 2010
542010
Representing and reasoning about the rules of general games with imperfect information
S Schiffel, M Thielscher
Journal of Artificial Intelligence Research 49, 171-206, 2014
522014
GDL-III: A Description Language for Epistemic General Game Playing.
M Thielscher
IJCAI, 1276-1282, 2017
512017
The system can't perform the operation now. Try again later.
Articles 1–20