A semantics for a logic of authentication (extended abstract)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
NP trees and Carnap's modal logic
Journal of the ACM (JACM)
Persistence and minimality in epistemic logic
Annals of Mathematics and Artificial Intelligence
A modal logic of information change
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Knowledge and the logic of local propositions
TARK '98 Proceedings of the 7th conference on Theoretical aspects of rationality and knowledge
Persistence and Minimality in Epistemic Logic
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
A General Approach to Multi-agent Minimal Knowledge
JELIA '00 Proceedings of the European Workshop on Logics in Artificial Intelligence
Towards First-Order Nonmonotonic Reasoning
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Modal logic S4F and the minimal knowledge paradigm
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
Reasoning about knowledge: an overview
TARK '86 Proceedings of the 1986 conference on Theoretical aspects of reasoning about knowledge
Reasoning about confidentiality at requirements engineering time
Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Only-knowing: taking it beyond autoepistemic reasoning
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Monotonicity and persistence in preferential logics
Journal of Artificial Intelligence Research
Preference-based semantics for nonmonotonic logics
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Model checking for nonmonotonic logics: algorithms and complexity
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Subnormal modal logics for knowledge representation
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Reasoning about only knowing with many agents
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Minimal knowledge and belief via minimal topology
JELIA'10 Proceedings of the 12th European conference on Logics in artificial intelligence
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
An approach to minimal belief via objective belief
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
A simple logic for reasoning about incomplete knowledge
International Journal of Approximate Reasoning
Fuzzy autoepistemic logic and its relation to fuzzy answer set programming
Fuzzy Sets and Systems
| Hi-index | 0.00 |