Stav dette: Principles of knowledge representation and reasoning : proceedings of the Seventh International Conference (KR2000), Breckenridge, Colorado, April 12-15 2000 / edited by Anthony G. Cohn, Fausto Giunchiglia, Bart Selman.