Artificial Intelligence （AI） - Volume 162, Issues 1–2 论文列表
| 点击这里查看 Artificial Intelligence 的JCR分区、影响因子等信息 |
| 卷期号： Volume 162, Issues 1–2 |
| 发布时间： February 2005 |
| 卷期年份： 2005 |
| 卷期官网： https://www.sciencedirect.com/journal/artificial-intelligence/vol/162/issue/1 |
本期论文列表
Editorial Board
Special Volume on Reformulation, dedicated to the memory of Saul Amarel, 1928–2002
Introduction to the Special Volume on Reformulation
First order LUB approximations: characterization and algorithms
Partition-based logical reasoning for first-order and propositional theories
Compiling problem specifications into SAT
Task-dependent qualitative domain abstraction
Towards a practical theory of reformulation for reasoning about physical systems
Forthcoming Papers
Author Index—Volume 162 (2005)