The philosophy of automated theorem proving

Authors:
Francis Jeffry Pelletier
Affiliations:
Departments of Philosophy and Computing Science, University of Alberta, Edmonton, Alberta, Canada
Venue:
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Year:
1991

Seventy-five problems for testing automatic theorem provers

Journal of Automated Reasoning
Modal theorem proving

Proc. of the 8th international conference on Automated deduction
Resolution and quantified epistemic logics

Proc. of the 8th international conference on Automated deduction
Automated theorem-proving in non-classical logics

Automated theorem-proving in non-classical logics
First-order modal tableaux

Journal of Automated Reasoning
Automated proofs of Lo¨b's theorem and Go¨del's two incompleteness theorems

Journal of Automated Reasoning
Automated reasoning: 33 BASIC research problems

Automated reasoning: 33 BASIC research problems
A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)
Isabelle: The Next Seven Hundred Theorem Provers

Proceedings of the 9th International Conference on Automated Deduction
A Resolution Calculus for Modal Logics

Proceedings of the 9th International Conference on Automated Deduction
Methods for Automated Theorem Proving in Nonclassical Logics

IEEE Transactions on Computers
A general proof method for first-order modal logic

IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 2

Hi-index	0.00