0004-3702

Artificial Intelligence (AI) - Volume 41, Issue 2 论文列表

本期论文列表
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