Principles of knowledge representation and reasoning : proceedings of the Seventh International Conference (KR2000), Breckenridge, Colorad, April 12-15, 2000
edited by Anthony G. Cohn ... [et al.]
(The Morgan Kaufmann series in representation and reasoning)
Morgan Kaufmann Publishers, c2000