Intelligent Backtracking in Plan-Based Deduction

DOI10.1109/TPAMI.1985.4767724zbMath0595.68082WikidataQ57707266 ScholiaQ57707266MaRDI QIDQ3727417

Stanislaw Matwin, Tomasz Pietrzykowski

Publication date: 1985

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

zbMATH Keywords

logic programmingautomated deductionsearch strategy for finding a refutation of a clause set

Mathematics Subject Classification ID

Searching and sorting (68P10)

Related Items

An execution model for exploiting AND-parallelism in logic programs, Network-based heuristics for constraint-satisfaction problems