Editorial Board
Certain answers as objects and knowledge
SATenstein: Automatically building local search SAT solvers from components
Exploiting local and repeated structure in Dynamic Bayesian Networks
Topic-based term translation models for statistical machine translation
Characteristic function games with restricted agent interactions: Core-stability and coalition structures