Title: Reasoning About Mental States Formal Theories and Applications
Subjects: Artificial intelligence