Concepedia

Completeness theorems for semantic resolution in consequence-finding

James R. Slagle, C. L. Chang, R. C. T. Lee

International Joint Conference on Artificial Intelligence · 1969 · 44 citations · 7 references

Concepts

References

7

A Machine-Oriented Logic Based on the Resolution Principle

John A. Robinson · Journal of the ACM · 1965 · 3.9K citations · Full text

, , +4

A Computing Procedure for Quantification Theory

Martin Davis, Hilary Putnam · Journal of the ACM · 1960 · 2.6K citations · Full text

, , +15

Efficiency and Completeness of the Set of Support Strategy in Theorem Proving

L. Wos, George Robinson, Daniel F. Carson · Journal of the ACM · 1965 · 307 citations · Full text

, , +4

Automatic Theorem Proving With Renamable and Semantic Resolution

James R. Slagle · Journal of the ACM · 1967 · 172 citations · Full text

, , +15

A New Algorithm for Generating Prime Implicants

James R. Slagle, Chin-Liang Chang, R.C.T. Lee · IEEE Transactions on Computers · 1970 · 138 citations

, , +8