Knowledge Representation and Reasoning Conference
Thirteenth International Conference on the Principles of Knowledge Representation and Reasoning
Reading Tools
An Automata-Theore...
Lutz, Seylan, Wolter
Search conference