Knowledge Representation and Reasoning Conference
Twelfth International Conference on the Principles of Knowledge Representation and Reasoning

Presentations

Reading Tools
Query and Predicate Emptiness in Description Logics

Baader, Bienvenu, Lutz, Wolter




Search conference