Goto

Collaborating Authors

 Information Technology



A preliminary analysis of the Soar architecture as a basis for general intelligence

Classics

"In this article we take a step towards providing an analysis of the Soar architecture as a basis for general intelligence. Included are discussions of the basic assumptions underlying the development of Soar, a description of Soar cast in terms of the theoretical idea of multiple levels of description, an example of Soar performing multi-column subtraction, and three analyses of Soar: its natural tasks, the sources of its power, and its scope and limits." Artificial Intelligence, 47, 289-325.





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