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

Presentations

Reading Tools
State Defaults and Ramifications in the Unifying Action Calculus

Baumann, Brewka, Strass, Thielscher, Zaslawski




Search conference