Volume 21, Number 1, 2008
Geoff Sutcliffe:
The CADE-21 automated theorem proving system competition.
71-81
Rui Prada:
Teaming up humans with autonomous synthetic characters.
83-85
Gladys Castillo:
Adaptive learning algorithms for Bayesian network classifiers.
87-88
Joost Vennekens:
Algebraic and logical study of constructive processes in knowledge representation.
89-90
Josep Silva:
Debugging techniques for declarative languages: Profiling, program slicing and algorithmic debugging.
91-92
Volume 21, Numbers 2-3, 2008
Recommender Systems
Celine Vens:
Complex aggregates in relational learning.
219-220
Volume 21, Number 4, 2008
Jesús Aransay:
Mechanized reasoning in Homological Algebra.
265-267
Daan Fierens:
Learning directed probabilistic logical models from relational data.
269-270