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

Presentations

Reading Tools
Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice

Grastien, Haslum, Thiébaux




Search conference