Combining Forward and Backward Propagation

DOI10.1007/978-3-319-24246-0_19zbMath1471.68044OpenAlexW2296733562MaRDI QIDQ2964470

Slim Abdennadher, Thom Frühwirth, Amira Zaki

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

• Exhaustive Execution of CHR Through Source-to-Source Transformation
• Analysing graph transformation systems through constraint handling rules
• On the Relationship Between Abduction and Deduction
• As time goes by: Constraint Handling Rules
• Constraint Handling Rules
• Logic Programming
• Unnamed Item
• Unnamed Item

This page was built for publication: Combining Forward and Backward Propagation