Combining forward and backward propagation

DOI10.1007/978-3-319-24246-0_19zbMATH Open1471.68044OpenAlexW2296733562MaRDI QIDQ2964470FDOQ2964470

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

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

zbMATH Keywords

bidirectional searchconstraint handling rulesforward/backwardsource-to-source transformationcombined propagation

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Logic Programming
• As time goes by: constraint handling rules
• Constraint Handling Rules
• On the Relationship Between Abduction and Deduction
• Analysing graph transformation systems through constraint handling rules
• Title not available (Why is that?)
• Exhaustive Execution of CHR Through Source-to-Source Transformation

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)