Principles of Knowledge Representation and Reasoning. (3rd 1992 Cambridge, MA)