Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]