"KI 2001: Advances in Artificial Intelligence, Joint German/Austrian ..."

Franz Baader, Gerhard Brewka, Thomas Eiter (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics