Deduction Plans: A Basis for Intelligent Backtracking

DOI10.1109/TPAMI.1981.4767050zbMath0454.68114OpenAlexW2064216040WikidataQ52742192 ScholiaQ52742192MaRDI QIDQ3902544

P. T. Cox, Tomasz Pietrzykowski

Publication date: 1981

Published in: IEEE Transactions on Pattern Analysis and Machine Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tpami.1981.4767050

zbMATH Keywords

resolutionlinear deduction

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items (4)

An execution model for exploiting AND-parallelism in logic programs ⋮ A backtracking algorithm for the stream AND-parallel execution of logic programs ⋮ Automatic theorem proving. II ⋮ Learning in order to avoid search in logic programming

This page was built for publication: Deduction Plans: A Basis for Intelligent Backtracking