An Epistemic Halpern-Shoham Logic (2013)

First Author: Lomuscio A
Attributed to:  Trusted Autonomous Systems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Conference/Paper/Proceeding/Abstract

Parent Publication: 23rd International Joint Conference on Artificial Intelligence (IJCAI13)