A logical framework for depiction and image interpretation
Generating context-sensitive responses to object-related misconceptions
Heuristic search in restricted memory
Refinements to depth-first iterative-deepening search in automatic theorem proving
On the existence of nonterminating queries for a restricted class of PROLOG-clauses
Induction: Process of inference, learning and discovery: John H. Holland, Keith J. Holyoak, Richard E. Nisbett, and Paul R. Thagard (MIT Press, Cambridge, MA, 1986); 355 pages
Announcement
Forthcoming papers