AAAI Workshops
Workshops at the Twenty-Sixth AAAI Conference on Artificial Intelligence

Presentations

Reading Tools
Bounded Situation Calculus Action Theories and Decidable Verification

De Giacomo, Lesperance, Patrizi




Search conference