Intelligent Backtracking in Plan-Based Deduction

DOI10.1109/TPAMI.1985.4767724MaRDI QIDQ3727417zbMATH OpenWikidataFDO

Authors Stanisław Matwin, Tomasz Pietrzykowski

Publication date 1985

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.1985.4767724

zbMATH Keywords

automated deductionlogic programmingsearch strategy for finding a refutation of a clause set

Mathematics Subject Classification ID

Searching and sorting (68P10)

Recommendations

• scientific article; zbMATH DE number 3976298
• scientific article; zbMATH DE number 4009855
• Intelligent backtracking in deduction systems by means of extended unification graphs
• On the relations between intelligent backtracking and failure-driven explanation-based learning in constraint satisfaction and planning
• scientific article; zbMATH DE number 1696782
• Intelligent backtracking in \(\text{CLP}(\Re)\)
• A data-dependency-based intelligent backtracking scheme for PROLOG
• Advances in Artificial Intelligence – SBIA 2004
• Planning with effectively propositional logic

Cited in

(10)

• A new combination of input and unit deductions for Horn sentences
• An execution model for exploiting AND-parallelism in logic programs
• Network-based heuristics for constraint-satisfaction problems
• Intelligent backtracking in \(\text{CLP}(\Re)\)
• Eliminating redundant search space on backtracking for forward chaining theorem proving
• Dynamic backward reasoning systems
• scientific article; zbMATH DE number 3976298 (Why is no real title available?)
• scientific article; zbMATH DE number 4009855 (Why is no real title available?)
• scientific article; zbMATH DE number 4047180 (Why is no real title available?)
• Parsing as non-Horn deduction

This page was built for publication: Intelligent Backtracking in Plan-Based Deduction

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