Note on theorem proving strategies for resolution counterparts of non-classical logics
ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
Nonclausal deduction in first-order temporal logic
Journal of the ACM (JACM)
Clausal resolution in a logic of rational agency
Artificial Intelligence
Selected Papers from Automated Deduction in Classical and Non-Classical Logics
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Clausal resolution for normal modal logics
Journal of Algorithms
Modal theorem proving: an equational viewpoint
IJCAI'89 Proceedings of the 11th 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
A general proof method for first-order modal logic
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2
The philosophy of automated theorem proving
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 1
Resolution with Order and Selection for Hybrid Logics
Journal of Automated Reasoning
Hi-index | 0.00 |