"Principles of Knowledge Representation and Reasoning: Proceedings of the ..."

Fangzhen Lin, Ulrike Sattler, Miroslaw Truszczynski (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics