Artificial Intelligence （AI） - Volume 234 论文列表
| 点击这里查看 Artificial Intelligence 的JCR分区、影响因子等信息 |
| 卷期号： Volume 234 |
| 发布时间： May 2016 |
| 卷期年份： 2016 |
| 卷期官网： https://www.sciencedirect.com/journal/artificial-intelligence/vol/234/suppl/C |
本期论文列表
Editorial Board
Solving QBF with counterexample guided refinement
Optimal cost almost-sure reachability in POMDPs
Truncated incremental search
Games for query inseparability of description logic knowledge bases
On the expressivity of inconsistency measures
Parameterised verification for multi-agent systems
The co-occurrence test for non-monotonic inference
Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problems
Semi-equilibrium models for paracoherent answer set programs