0004-3702

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

本期论文列表
Editorial Board

Automated reasoning about machines

Inductive functional programming using incremental program transformation

World modeling for the dynamic construction of real-time control plans

Horn approximations of empirical data

Default reasoning about spatial occupancy

Quantitatively relating abstractness to the accuracy of admissible heuristics

Computing marginals for arbitrary subsets from marginal representation in Markov trees

Machine discovery in chemistry: new results

Forthcoming papers