Keywords
- Constraint Solver
- Domain Constraint
- Incomplete State
- Negation Constraint
- General Flux
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, access via your institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
4.5 Bibliographical Notes
Thom Frühwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37(1–3):95–138, 1998.
Christian Holzbaur and Thom Frühwirth, editors. Journal of Applied Artificial Intelligence: Special Issue on Constraint Handling Rules, volume 14(4). Taylor & Francis, April 2000.
[Jaffar et al., 1992]_Joxan Jaffar, S. Michaylov, Peter Stuckey, and R. Yap. The CLP(R) language and system. ACM Transactions on Programming Languages, 14(3):339–395, 1992.
Joxan Jaffar and Michael J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19/20:503–581, 1994.
Michael Thielscher. Reasoning about actions with CHRs and finite domain constraints. In P. Stuckey, editor, Proceedings of the International Conference on Logic Programming (ICLP), volume 2401 of LNCS, pages 70–84, Copenhagen, Danmark, 2002. Springer.
Rights and permissions
Copyright information
© 2005 Springer
About this chapter
Cite this chapter
(2005). General FLUX. In: Reasoning Robots. Applied Logic Series, vol 33. Springer, Dordrecht. https://doi.org/10.1007/1-4020-3069-X_4
Download citation
DOI: https://doi.org/10.1007/1-4020-3069-X_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-3068-0
Online ISBN: 978-1-4020-3069-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)