Michael Thielscher
Michael Thielscher
Professor, UNSW Australia
Geverifieerd e-mailadres voor unsw.edu.au
Titel
Geciteerd door
Geciteerd door
Jaar
Ramification and causality
M Thielscher
Artificial intelligence 89 (1-2), 317-364, 1997
2791997
FLUX: A logic programming method for reasoning agents
M Thielscher
Theory and Practice of Logic Programming 5 (4-5), 533-565, 2005
2452005
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
2011999
Introduction to the fluent calculus
M Thielscher
Link÷ping University Electronic Press, 1998
2011998
Fluxplayer: A successful general game player
S Schiffel, M Thielscher
Aaai 7, 1191-1196, 2007
1732007
Iterated belief revision, revised
Y Jin, M Thielscher
Artificial Intelligence 171 (1), 1-18, 2007
1682007
A general game description language for incomplete information games
M Thielscher
Proceedings of the AAAI Conference on Artificial Intelligence 24 (1), 2010
1562010
Reasoning robots: the art and science of programming robotic agents
M Thielscher
Springer Science & Business Media, 2006
1022006
Representing the knowledge of a robot
M Thielscher
KR, 109-120, 2000
982000
General game playing
M Genesereth, M Thielscher
Synthesis Lectures on Artificial Intelligence and Machine Learning 8 (2), 1-229, 2014
972014
Philosophy, and Economics
Y Jin, M Thielscher
901974
Human-inspired robots
S Coradeschi, H Ishiguro, M Asada, SC Shapiro, M Thielscher, ...
IEEE Intelligent Systems 21 (4), 74-85, 2006
752006
Computing ramifications by postprocessing
M Thielscher
IJCAI, 1994-2000, 1995
751995
The qualification problem: A solution to the problem of anomalous models
M Thielscher
Artificial Intelligence 131 (1-2), 1-37, 2001
702001
Intelligent execution monitoring in dynamic environments
M Fichtner, A Gro▀mann, M Thielscher
Fundamenta Informaticae 57 (2-4), 371-392, 2003
632003
The general game playing description language is universal
M Thielscher
IJCAI Proceedings-International Joint Conference on Artificial Intelligenceá…, 2011
532011
A multiagent semantics for the game description language
S Schiffel, M Thielscher
International conference on agents and artificial intelligence, 44-55, 2009
502009
Representing Actions in Equational Logic Programming.
M Thielscher
ICLP, 207-224, 1994
501994
A unifying action calculus
M Thielscher
Artificial Intelligence 175 (1), 120-141, 2011
492011
Answer set programming for single-player games in general game playing
M Thielscher
International Conference on Logic Programming, 327-341, 2009
472009
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20