Combining forward and backward propagation

DOI10.1007/978-3-319-24246-0_19MaRDI QIDQ2964470zbMATH OpenOpenAlexFDO

Authors Amira Zaki, Slim Abdennadher, Thom Frühwirth

Publication date 27 February 2017

Published in Frontiers of Combining Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-24246-0_19

zbMATH Keywords

bidirectional searchcombined propagationconstraint handling rulesforward/backwardsource-to-source transformation

Mathematics Subject Classification ID

Theory of programming languages (68N15) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 7047281
• Optimization of CHR Propagation Rules
• A Compositional Semantics for CHR with Propagation Rules
• CHR in action
• Exhaustive Execution of CHR Through Source-to-Source Transformation

Cites work

• Analysing graph transformation systems through constraint handling rules
• As time goes by: constraint handling rules
• Constraint Handling Rules
• Exhaustive Execution of CHR Through Source-to-Source Transformation
• scientific article; zbMATH DE number 877749 (Why is no real title available?)
• scientific article; zbMATH DE number 3415384 (Why is no real title available?)
• Logic Programming
• On the Relationship Between Abduction and Deduction

This page was built for publication: Combining forward and backward propagation

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