0004-3702

Artificial Intelligence (AI) - Volume 115, Issue 1 论文列表

本期论文列表
Reasoning about action in polynomial time

The size of a revised knowledge base

Knowledge-based proof planning

Propositional belief base update and minimal change