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
2801997
FLUX: A logic programming method for reasoning agents
M Thielscher
Theory and Practice of Logic Programming 5 (4-5), 533-565, 2005
2462005
Introduction to the fluent calculus
M Thielscher
Link÷ping University Electronic Press, 1998
2071998
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
2031999
Fluxplayer: A successful general game player
S Schiffel, M Thielscher
Aaai 7, 1191-1196, 2007
1762007
Iterated belief revision, revised
Y Jin, M Thielscher
Artificial Intelligence 171 (1), 1-18, 2007
1702007
A general game description language for incomplete information games
M Thielscher
Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
1602010
Reasoning robots: the art and science of programming robotic agents
M Thielscher
Springer Science & Business Media, 2006
1052006
General game playing
M Genesereth, M Thielscher
Synthesis Lectures on Artificial Intelligence and Machine Learning 8 (2), 1-229, 2014
1032014
Philosophy, and Economics
Y Jin, M Thielscher
1021974
Representing the knowledge of a robot
M Thielscher
KR, 109-120, 2000
1002000
Human-inspired robots
S Coradeschi, H Ishiguro, M Asada, SC Shapiro, M Thielscher, ...
IEEE Intelligent Systems 21 (4), 74-85, 2006
772006
Computing ramifications by postprocessing
M Thielscher
IJCAI, 1994-2000, 1995
761995
The qualification problem: A solution to the problem of anomalous models
M Thielscher
Artificial Intelligence 131 (1-2), 1-37, 2001
722001
Intelligent execution monitoring in dynamic environments
M Fichtner, A Gro▀mann, M Thielscher
Fundamenta Informaticae 57 (2-4), 371-392, 2003
642003
The general game playing description language is universal
M Thielscher
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
542011
A multiagent semantics for the game description language
S Schiffel, M Thielscher
International conference on agents and artificial intelligence, 44-55, 2009
542009
A unifying action calculus
M Thielscher
Artificial Intelligence 175 (1), 120-141, 2011
522011
Representing Actions in Equational Logic Programming.
M Thielscher
ICLP, 207-224, 1994
511994
Answer set programming for single-player games in general game playing
M Thielscher
International Conference on Logic Programming, 327-341, 2009
472009
The system can't perform the operation now. Try again later.
Articles 1–20