Knowledge representing schemes for planning
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
What awareness isn't: a sentential view of implicit and explicit belief
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
A resolution method for quantified modal logics of knowledge and belief
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Selected AI-related dissertations
ACM SIGART Bulletin
Logic programming with social features1
Theory and Practice of Logic Programming
On the relation between autoepistemic logic and circumscription
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
Non-omniscient belief as context-based reasoning
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
A computational theory of belief introspection
IJCAI'85 Proceedings of the 9th international joint conference on Artificial intelligence - Volume 1
Matrix proof methods for modal logics
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
Artificial Intelligence
An axiomatic basis of trust in distributed systems
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
Complete axiomatizations of finite syntactic epistemic states
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Strongly complete axiomatizations of “knowing at most” in syntactic structures
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Hi-index | 0.00 |