Artificial Intelligence （AI） - Volume 62, Issue 2 论文列表
| 点击这里查看 Artificial Intelligence 的JCR分区、影响因子等信息 |
| 卷期号： Volume 62, Issue 2 |
| 发布时间： August 1993 |
| 卷期年份： 1993 |
| 卷期官网： https://www.sciencedirect.com/journal/artificial-intelligence/vol/62/issue/2 |
本期论文列表
Rippling: A heuristic for guiding inductive proofs
Acquiring search-control knowledge via static analysis
The complexity of path-based defeasible inheritance
Formal semantics for mutual belief
Ontic: A knowledge representation system for mathematics: David A. McAllester
Computer systems that learn: Sholom M. Weiss and Casimir A. Kulikowski
Books received
Announcements
Forthcoming papers
Author index—Volume 62 (1993)