Title: KR Proceedings 2000
Subjects: Artificial intelligence