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

Presentations

Reading Tools
An Automata-Theoretic Approach to Uniform Interpolation and Approximation in the Description Logic EL

Lutz, Seylan, Wolter




Search conference