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

Presentations

Reading Tools
Automated Verification of Epistemic Properties for General Game Playing

Haufe, Thielscher




Search conference