Intelligent backtracking in CLP()

DOI10.1007/BF02127968MaRDI QIDQ1380423zbMATH OpenOpenAlexFDO

Authors Jennifer J. Burg, Sheau-Dong Lang, Charles E. Hughes

Publication date 29 March 1998

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02127968

zbMATH Keywords

constraint logic programming language

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 3976298
• scientific article; zbMATH DE number 4009855
• Intelligent backtracking in deduction systems by means of extended unification graphs
• scientific article; zbMATH DE number 3967899
• Intelligent Backtracking in Plan-Based Deduction
• A backward analysis for constraint logic programs
• A data-dependency-based intelligent backtracking scheme for PROLOG
• Axiomatizations of backtracking
• A backtracking algorithm for the stream AND-parallel execution of logic programs

Cites work

• A data-dependency-based intelligent backtracking scheme for PROLOG
• scientific article; zbMATH DE number 3967899 (Why is no real title available?)
• scientific article; zbMATH DE number 3974342 (Why is no real title available?)
• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• scientific article; zbMATH DE number 2005717 (Why is no real title available?)
• Letters to the Editor

Cited in

(6)

• Combination of convex theories: modularity, deduction completeness, and explanation
• Forward checking and intelligent backtracking
• Efficient intelligent backtracking using linear programming
• Intelligent Backtracking in Plan-Based Deduction
• scientific article; zbMATH DE number 3976298 (Why is no real title available?)
• scientific article; zbMATH DE number 1497830 (Why is no real title available?)

This page was built for publication: Intelligent backtracking in \(\text{CLP}(\Re)\)

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