0004-3702

Artificial Intelligence (AI) - Volume 38, Issue 3 论文列表

本期论文列表
MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics

A four-valued semantics for terminological logics

Tree clustering for constraint networks

Understanding natural language: James Allen, (Benjamin/Cummings, Menlo Park, CA, 1987); 574 pages

Announcements

Forthcoming papers

Author index — Volume 38

Contents — Volume 38, 1989