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

Presentations

Reading Tools
Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems

Belardinelli, Lomuscio




Search conference