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

Presentations

Reading Tools
An Abstraction Technique for the Verification of Artifact-Centric Systems

Belardinelli, Lomuscio, Patrizi




Search conference