On the complexity of epistemic reasoning
Proceedings of the Fourth Annual Symposium on Logic in computer science
Reasoning about knowledge
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
TABLEAUX '98 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Labelled Tableaux for Non-normal Modal Logics
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
CADE-13 Proceedings of the 13th International Conference on Automated Deduction: Automated Deduction
SATO: An Efficient Propositional Prover
CADE-14 Proceedings of the 14th International Conference on Automated Deduction
On evaluating decision procedures for modal logic
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
| Hi-index | 0.00 |
We present a set of SAT-based decision procedures for various classical modal logics. The decision procedures are implemented in our system *sat. For some of the logics we deal with, we are not aware of any other implementation. For the others, we define a testing methodology which generalizes the 3CNFK methodology by Giunchiglia and Sebastiani. The experimental evaluation shows that our decision procedures perform better than or as well as other state-of-the-art decision procedures.