International Conference on Principles of Knowledge Representation and Reasoning (5th 1996 Cambridge, Mass.).