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

Presentations

Reading Tools
Achieving Completeness in Bounded Model Checking of Action Theories in ASP

Giordano, Martelli, Theseider Dupre'




Search conference