Eighth International Conference on Principles of Knowledge Representation and Reasoning (KR2002), (2002), 327-338