Volume 21, Number 1, 2008
: The CADE-21 automated theorem proving system competition.
: Teaming up humans with autonomous synthetic characters.
: Adaptive learning algorithms for Bayesian network classifiers.
: Algebraic and logical study of constructive processes in knowledge representation.
: Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging.
Volume 21, Numbers 2-3, 2008
: Complex aggregates in relational learning.
Volume 21, Number 4, 2008
: Mechanized reasoning in Homological Algebra.
: Learning directed probabilistic logical models from relational data.