Goto

Collaborating Authors

 Information Technology





The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression

Classics

In Lifschitz, V. (Ed.), Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 359–380. Academic Press.




Solving equations in abstract algebras: A rule-based survey of unification

Classics

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