Artificial Intelligence （AI） - Volume 39, Issue 2 论文列表
| 点击这里查看 Artificial Intelligence 的JCR分区、影响因子等信息 |
| 卷期号： Volume 39, Issue 2 |
| 发布时间： June 1989 |
| 卷期年份： 1989 |
| 卷期官网： https://www.sciencedirect.com/journal/artificial-intelligence/vol/39/issue/2 |
本期论文列表
Controlling backward inference
A circumscriptive theorem prover
Reasoning about truth
Truth and meaning
The importance of open and recursive circumscription
Undecidability of subsumption in NIKL
Books received
Prolog and natural-language analysis: Fernando C.N. Pereira and Stuart M. Sheiber, CSLI Lecture Notes 10 (The University of Chicago Press, IL, 1987); 266 pages, $13.95 (paperback), $28.95 (cloth).
Announcements
Forthcoming papers