A model-theoretic analysis of knowledge
Journal of the ACM (JACM)
A Subset-Matching Size-Bounded Cache for Testing Satisfiability in Modal Logics
Annals of Mathematics and Artificial Intelligence
SAT-Based Decision Procedures for Classical Modal Logics
Journal of Automated Reasoning
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Modal Satisfiability Is in Deterministic Linear Space
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
The SAT-Based Approach for Classical Modal Logics
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Recent issues in reasoning about knowledge
TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
An epistemic logic of situations: extended abstract
TARK '94 Proceedings of the 5th conference on Theoretical aspects of reasoning about knowledge
Complexity results for logics of local reasoning and inconsistent belief
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
PSPACE bounds for rank-1 modal logics
ACM Transactions on Computational Logic (TOCL)
The complexity of nested counterfactuals and iterated knowledge base revisions
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Characterizing the NP-PSPACE gap in the satisfiability problem for modal logic
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Which semantics for neighbourhood semantics?
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Generic Modal Cut Elimination Applied to Conditional Logics
TABLEAUX '09 Proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Optimizing Conditional Logic Reasoning within CoLoSS
Electronic Notes in Theoretical Computer Science (ENTCS)
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
Mathematical Structures in Computer Science
Reasoning about coalitional agency and ability in the logics of "bringing-it-about"
Autonomous Agents and Multi-Agent Systems
Hi-index | 0.00 |