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

Presentations

Reading Tools
Interpreting Topological Logics over Euclidean Spaces

Kontchakov, Pratt-Hartmann, Zakharyaschev




Search conference