Artificial Intelligence （AI） - Volume 116, Issues 1–2 论文列表
| 点击这里查看 Artificial Intelligence 的JCR分区、影响因子等信息 |
| 卷期号： Volume 116, Issues 1–2 |
| 发布时间： January 2000 |
| 卷期年份： 2000 |
| 卷期官网： https://www.sciencedirect.com/journal/artificial-intelligence/vol/116/issue/1 |
本期论文列表
Unsupervised stratification of cross-validation for accuracy estimation
Proving theorems by reuse
Think!: A unified numerical–symbolic knowledge representation scheme and reasoning system
Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes)
Using temporal logics to express search control knowledge for planning
On the decidability and complexity of reasoning about only knowing
A modal logic for subjective default reasoning
A foundationalist view of the AGM theory of belief change
Conformality in the self-organization network
Tractable approximations for temporal constraint handling
On some tractable classes in deduction and abduction
On the complexity of choosing the branching literal in DPLL
Author index of Volume 29