Knowledge Representation and Reasoning Conference
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning
Reading Tools
Automated Verifica...
Haufe, Thielscher
Search conference