| Ramification and causality M Thielscher Artificial intelligence 89 (1-2), 317-364, 1997 | 292 | 1997 |
| FLUX: A logic programming method for reasoning agents M Thielscher Theory and Practice of Logic Programming 5 (4-5), 533-565, 2005 | 256 | 2005 |
| Introduction to the fluent calculus M Thielscher Linköping University Electronic Press, 1998 | 218 | 1998 |
| 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 | 212 | 1999 |
| Fluxplayer: A successful general game player S Schiffel, M Thielscher Aaai 7, 1191-1196, 2007 | 180 | 2007 |
| A general game description language for incomplete information games M Thielscher Proceedings of the AAAI Conference on Artificial Intelligence 24 (1), 994-999, 2010 | 179 | 2010 |
| Iterated belief revision, revised Y Jin, M Thielscher Artificial Intelligence 171 (1), 1-18, 2007 | 179 | 2007 |
| General game playing M Genesereth, M Thielscher Synthesis Lectures on Artificial Intelligence and Machine Learning 8 (2), 1-229, 2014 | 114 | 2014 |
| Reasoning robots: the art and science of programming robotic agents M Thielscher Springer Science & Business Media, 2005 | 113 | 2005 |
| Representing the knowledge of a robot M Thielscher KR, 109-120, 2000 | 106 | 2000 |
| Human-inspired robots S Coradeschi, H Ishiguro, M Asada, SC Shapiro, M Thielscher, ... IEEE Intelligent Systems 21 (4), 74-85, 2006 | 86 | 2006 |
| Computing ramifications by postprocessing M Thielscher IJCAI, 1994-2000, 1995 | 78 | 1995 |
| The qualification problem: A solution to the problem of anomalous models M Thielscher Artificial Intelligence 131 (1-2), 1-37, 2001 | 76 | 2001 |
| Intelligent execution monitoring in dynamic environments M Fichtner, A Großmann, M Thielscher Fundamenta Informaticae 57 (2-4), 371-392, 2003 | 67 | 2003 |
| The general game playing description language is universal M Thielscher Twenty-Second International Joint Conference on Artificial Intelligence, 2011 | 59 | 2011 |
| A multiagent semantics for the game description language S Schiffel, M Thielscher Agents and Artificial Intelligence: International Conference, ICAART 2009 …, 2010 | 55 | 2010 |
| A unifying action calculus M Thielscher Artificial Intelligence 175 (1), 120-141, 2011 | 54 | 2011 |
| Representing Actions in Equational Logic Programming. M Thielscher ICLP, 207-224, 1994 | 50 | 1994 |
| Answer Set Programming for Single-Player Games in General Game Playing. M Thielscher ICLP, 327-341, 2009 | 49 | 2009 |
| 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 | 44 | 2014 |
