"KR 2000, Principles of Knowledge Representation and Reasoning Proceedings ..."

Anthony G. Cohn, Fausto Giunchiglia, Bart Selman (2000)
a service of Schloss Dagstuhl - Leibniz Center for Informatics