Knowledge Representation and Reasoning Conference
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning
Reading Tools
Extending Unificat...
Baader, Borgwardt, Morawska
Search conference