Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results (2012)
Attributed to:
Trusted Autonomous Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Journal Article/Review
Volume: 45
Parent Publication: JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH
ISSN: 1076-9757