Knowledge Representation and Reasoning Conference
Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning
Reading Tools
Finite Model Reaso...
Ibáñez García, Lutz, Schneider
Search conference