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
2921997
FLUX: A logic programming method for reasoning agents
M Thielscher
Theory and Practice of Logic Programming 5 (4-5), 533-565, 2005
2562005
Introduction to the fluent calculus
M Thielscher
Linköping University Electronic Press, 1998
2181998
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
2121999
Fluxplayer: A successful general game player
S Schiffel, M Thielscher
Aaai 7, 1191-1196, 2007
1802007
A general game description language for incomplete information games
M Thielscher
Proceedings of the AAAI Conference on Artificial Intelligence 24 (1), 994-999, 2010
1792010
Iterated belief revision, revised
Y Jin, M Thielscher
Artificial Intelligence 171 (1), 1-18, 2007
1792007
General game playing
M Genesereth, M Thielscher
Synthesis Lectures on Artificial Intelligence and Machine Learning 8 (2), 1-229, 2014
1142014
Reasoning robots: the art and science of programming robotic agents
M Thielscher
Springer Science & Business Media, 2005
1132005
Representing the knowledge of a robot
M Thielscher
KR, 109-120, 2000
1062000
Human-inspired robots
S Coradeschi, H Ishiguro, M Asada, SC Shapiro, M Thielscher, ...
IEEE Intelligent Systems 21 (4), 74-85, 2006
862006
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
762001
Intelligent execution monitoring in dynamic environments
M Fichtner, A Großmann, M Thielscher
Fundamenta Informaticae 57 (2-4), 371-392, 2003
672003
The general game playing description language is universal
M Thielscher
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
592011
A multiagent semantics for the game description language
S Schiffel, M Thielscher
Agents and Artificial Intelligence: International Conference, ICAART 2009 …, 2010
552010
A unifying action calculus
M Thielscher
Artificial Intelligence 175 (1), 120-141, 2011
542011
Representing Actions in Equational Logic Programming.
M Thielscher
ICLP, 207-224, 1994
501994
Answer Set Programming for Single-Player Games in General Game Playing.
M Thielscher
ICLP, 327-341, 2009
492009
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
442014
The system can't perform the operation now. Try again later.
Articles 1–20