0004-3702

Artificial Intelligence (AI) - Volumes 187–188 论文列表

本期论文列表
Editorial Board

Automated verification of state sequence invariants in general game playing

On the approximability of Dodgson and Young elections

Conflict-driven answer set solving: From theory to practice

Learning from others: Exchange of classification rules in intelligent distributed systems

Reinforcement learning with limited reinforcement: Using Bayes risk for active learning in POMDPs

Local properties in modal logic

Magic Sets for disjunctive Datalog programs