Time and time again: The many ways to represent time
Int. J. Intelligent Systems, 6, 341-355
The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression
In Lifschitz, V. (Ed.), Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 359–380. Academic Press.
A survey of algorithmic methods for partially observed Markov decision processes
Annals of Operations Research, 28 (1-4), 47-66.
New heuristic algorithms for efficient hierarchical path planning
IEEE Transactions on Robotics and Automation, 7:1, pp.9-20
Solving equations in abstract algebras: A rule-based survey of unification
Centre de Recherche en Informatique de Nancy (CRIN) 1990 English \36\ p. 09H - Computer software, programming R - Report CRIN--90-R-141 FR FR_ 1992:1163 http://hdl.handle.net/10068/43975
A comparison of the enhanced Good–Turing and deleted estimation methods for estimating probabilities of English bigrams
Computer Speech and Language, 5, 19–54.
Qualitative Spatial Reasoning: The Clock Project Project:
Artificial Intelligence 51, pp. 417-71