Interactions between time and knowledge in a first-order logic for multi-agent systems (2010)

First Author: Belardinelli F.
Attributed to:  Trusted Autonomous Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Other

Parent Publication: Proceedings of the International Conference on Knowledge Representation and Reasoning

ISSN: 23341033 23341025