Towards a better balance between data and knowledge engineering
Presenting the new Editorial Board members
Clustering techniques in object bases: A survey
ACT-P: A configurable theorem-prover
The indefinite closed world assumption
EVORM: A conceptual modelling technique for evolving application domains
Book announcement
Author index to volume 12 (1994)
Subject index to volume 12 (1994)
Calendar