Sentential semantics for propositional attitudes
Computational Linguistics
Recent issues in reasoning about knowledge
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Intentional paradoxes and an inductive theory of propositional quantification
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Doxastic paradoxes without self-reference
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Operational pointer semantics: solution to self-referential puzzles I
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
Reasoning about belief and knowledge with self-reference and time
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
A first order theory of planning, knowledge, and action
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Hi-index | 0.00 |