A simplified problem reduction format
- 31 March 1982
- journal article
- Published by Elsevier in Artificial Intelligence
- Vol. 18 (2), 227-261
- https://doi.org/10.1016/0004-3702(82)90041-8
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Theorem proving with abstractionArtificial Intelligence, 1981
- Worst Case Exponential Lower Bounds for Input Resolution with ParamodulationSIAM Journal on Computing, 1980
- Non-resolution theorem provingArtificial Intelligence, 1977
- A Semantically Guided Deductive System for Automatic Theorem ProvingIEEE Transactions on Computers, 1976
- Proving Theorems with the Modification MethodSIAM Journal on Computing, 1975
- A Human Oriented Logic for Automatic Theorem-ProvingJournal of the ACM, 1974
- Unit Refutations and Horn SetsJournal of the ACM, 1974
- Splitting and reduction heuristics in automatic theorem provingArtificial Intelligence, 1971
- A Machine-Oriented Logic Based on the Resolution PrincipleJournal of the ACM, 1965