Knowledge Representation and Reasoning Conference
Sixteenth International Conference on Principles of Knowledge Representation and Reasoning

Presentations

Reading Tools
Approximating Perfect Recall When Model Checking Strategic Abilities

Belardinelli, Lomuscio, Malvone




Search conference