0004-3702

Artificial Intelligence (AI) - Volume 173, Issue 11 论文列表

本期论文列表
Editorial Board

Computer-aided proofs of Arrow's and other impossibility theorems

Range and Roots: Two common patterns for specifying and propagating counting and occurrence constraints

Contractor programming

A probabilistic plan recognition algorithm based on plan tree grammars