Semantically guiding a first-order theorem prover with a soft model

Authors:
Arnold Binas;John Slaney
Affiliations:
Department of Computer Science, Texas A&M University, College Station, TX;Computer Science Laboratory, RSISE, The Australian National University, Canberra, ACT, Australia
Venue:
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Year:
2004

Automatic Theorem Proving With Renamable and Semantic Resolution

Journal of the ACM (JACM)
SCOTT: Semantically Constrained Otter System Description

CADE-12 Proceedings of the 12th International Conference on Automated Deduction
FINDER: Finite Domain Enumerator - System Description

CADE-12 Proceedings of the 12th International Conference on Automated Deduction
System Description: SCOTT-5

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
TPTP, CASC and the development of a semantically guided theorem prover

AI Communications - CASC

Hi-index	0.00