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

Presentations

Reading Tools
Bounded Situation Calculus Action Theories and Decidable Verification

De Giacomo, Lespérance, Patrizi




Search conference