Knowledge Representation and Reasoning Conference
Twelfth International Conference on the Principles of Knowledge Representation and Reasoning
Reading Tools
Set-Oriented Logic...
Shapiro
Search conference