Artificial Intelligence （AI） - Volume 124, Issue 1 论文列表
| 点击这里查看 Artificial Intelligence 的JCR分区、影响因子等信息 |
| 卷期号： Volume 124, Issue 1 |
| 发布时间： November 2000 |
| 卷期年份： 2000 |
| 卷期官网： https://www.sciencedirect.com/journal/artificial-intelligence/vol/124/issue/1 |
本期论文列表
An efficient algorithm for searching implicit AND/OR graphs with cycles
Alternative foundations for Reiter's default logic
EXPtime tableaux for ALC
Sketch-based pruning of a solution space within a formal geometric constraint solver
Truth from Trash. How Learning Makes Sense by Chris Thornton