The consistency of syntactical treatments of knowledge

Telos: representing knowledge about information systems

ACM Transactions on Information Systems (TOIS)

Sentential semantics for propositional attitudes

Computational Linguistics

The role(s) of belief in AI

Logic-based artificial intelligence

Indexical expressions in the scope of attitude verbs

Computational Linguistics

Operational pointer semantics: solution to self-referential puzzles I

TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge

Temporal Action Logic for Question Answering in an Adventure Game

Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference

Non-standard semantics for the method of temporal arguments

IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1

Ideal introspective belief

AAAI'92 Proceedings of the tenth national conference on Artificial intelligence