0004-3702

Artificial Intelligence (AI) - Volume 2, Issues 3–4 论文列表

本期论文列表
Strips: A new approach to the application of theorem proving to problem solving

Interactions between philosophy and artificial intelligence: The role of intuition and non-logical reasoning in intelligence

Linear resolution with selection function

Experiments with a heuristic theorem-proving program for predicate calculus with equality

Protocol analysis as a task for artificial intelligence

Grid coding: A preprocessing technique for robot and machine vision

Author index Volume 2