Artificial Intelligence （AI） - Volume 164, Issues 1–2 论文列表
| 点击这里查看 Artificial Intelligence 的JCR分区、影响因子等信息 |
| 卷期号： Volume 164, Issues 1–2 |
| 发布时间： May 2005 |
| 卷期年份： 2005 |
| 卷期官网： https://www.sciencedirect.com/journal/artificial-intelligence/vol/164/issue/1 |
本期论文列表
Editorial Board
A formal analysis of why heuristic functions work
The complexity of contract negotiation
MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability
On the logic of cooperation and propositional control
A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
Understanding planning with incomplete information and sensing
Knowledge updates: Semantics and complexity issues
Qualitative decision under uncertainty: back to expected utility
Forthcoming Papers
Author Index—Volume 164 (2005)