Belardinelli, Francesco, Imperial College London, United Kingdom
-
Twelfth International Conference on the Principles of Knowledge Representation and Reasoning - Agents, Multiagent Systems, and Distributed Reasoning
Interactions between Time and Knowledge in a First-order Logic for Multi-Agent Systems
Abstract PDF