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