Deduction Plans: A Basis for Intelligent Backtracking

DOI10.1109/TPAMI.1981.4767050MaRDI QIDQ3902544zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Cited in

(4)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3902544)