User-definable rule priorities for CHR

PPDP'07: Proceedings of the 9th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming

Volumn , Issue , 2007, Pages 25-36

  De Koninck, Leslie ^a   Schrijvers, Tom ^a,b   Demoen, Bart ^a  

^a UNIVERSITY OF LEUVEN   (Belgium)

^b FUND FOR SCIENTIFIC RESEARCH   (Belgium)

Author keywords

Constraint handling rules; Execution control; Rule priorities

Indexed keywords

BENCHMARKING; COMPUTER PROGRAMMING LANGUAGES; SEMANTICS; SUPERVISORY AND EXECUTIVE PROGRAMS; USER INTERFACES;

CONSTRAINT HANDLING RULES; EXECUTION CONTROL; RULE PRIORITIES;

LOGIC PROGRAMMING;

EID: 34548062390     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1273920.1273924     Document Type: Conference Paper

References (34)

1. S. Abdennadher. Operational semantics and confluence of constraint propagation rules. In 3rd Intl. Confi on Principles and Practice of Constraint Programming, volume 1330 of LNCS, pages 252-266, 1997.
2. J. C. M. Baeten, J. A. Bergstra, and J. W. Klop. Term rewriting systems with priorities. In 2nd Intl. Conf. on Rewriting Techniques and Applications, volume 256 of LNCS, pages 83-94, 1987.
3. H. Betz and T. W. Frühwirth. A linear-logic semantics for constraint handling rules. In 11th Intl. Conf. on Principles and Practice of Constraint Programming, volume 3709 of LNCS, pages 137-151, 2005.
4. G. Brewka and T. Eiter. Preferred answer sets for extended logic programs. Artif. Intell., 109(1-2):297-356, 1999.
5. J. C. Browne, E. A. Emerson, M. G. Gouda, D. P. Miranker, et al. A new approach to modularity in rule-based programming. In 6th Intl. Conf. on Tools with Artificial Intelligence, pages 18-25. IEEE Computer Society, 1994.
6. R. Caferra, R. Echahed, and N. Peltier. Rewriting term-graphs with, priority. In 8th ACM SIGPLAN Symp. on Principles and Practice of Declarative Programming, pages 109-120, 2006.
7. M. Carlsson, G. Ottosson, and B. Carlson. An open-ended finite domain constraint solver. In 9th Intl. Symp. on Programming Languages: Implementations, Logics, and Programs, volume 1292 of LNCS, pages 191-206, 1997.
8. rp : Constraint Handling Rules with rule priorities. Technical Report 479, K.U.Leuven, Belgium, March 2007.
9. G. J. Duck. Compilation of Constraint Handling Rules. PhD thesis, University of Melbourne, Victoria, Australia, Dec 2005.
10. G. J. Duck, P. J. Stuckey, M. García de la Banda, and C. Holzbaur. The refined operational semantics of Constraint Handling Rules. In 20th Intl. Conf. on Logic Programming, volume 3.132 of LNCS, pages 90-104, 2004.
11. C. L. Forgy. Rete: A fast algorithm for the many pattern/many object pattern match problem. Artif. Intell., 19(1):17-37, 1982.
12. E. Friedman-Hill. JESS 7.0p1: The rule engine for the Java platform. http://herzberg.ca.sandia.gov/jess.
13. T. W. Frühwirth.. Theory and practice of Constraint Handling Rules. J. Log. Program, 37(1-3):95-138, 1998.
14. T. W. Frühwirth, A. Di Pierro, and H. Wiklicky. Probabilistic constraint handling rules. Electr. Notes Theor. Comput. Sci., 76, 2002.
15. H. Ganzinger and D. A. McAllester. Logical algorithms. In 18th Intl. Conf. on Logic Programming, volume 2401 of LNCS, pages 209-223, 2002.
16. A. J. García and G. R. Simari. Defeasible logic programming: An argumentative approach. Theory Pract. Log. Program., 4(1-2):95-138, 2004.
17. J. C. Giarratano. CLIPS User's Guide, Version 6.20, 2002. http://www.ghg.net/clips/CLIPS.html.
18. C. Holzbaur, M. J. García de la Banda, P. J. Stuckey, and G. J. Duck. Optimizing compilation of Constraint Handling Rules in HAL. CoRR, cs.PL/0408025, 2004.
19. ILOG. ILOG CPLEX 7.5: Reference Manual, 2001.
20. ILOG. ILOG Solver 5.1: Reference Manual, 2001.
21. D. P. Miranker, D. A. Brant, B. Lofaso, and D. Gadbois. On the performance of lazy matching in production systems. In 8th National Conf. on Artificial Intelligence, pages 685-692. AAAI Press / The MIT Press, 1990.
22. F. Morawietz. Chart parsing and constraint programming. In 18th Intl. Conf. on Computational Linguistics, pages 551-557. Morgan Kaufmann, 2000.
23. M. Proctor, M. Neale, P. Lin, and M. Frandsen. Drools Documentation, Version 3.0.5, 2006. http://www.jboss.com/products/rules.
24. G. Ringwelski and M. Hoche. Impact- and cost-oriented propagator scheduling for faster constraint propagation. In 19th Workshop on (Constraint) Logic Programming, volume 2005-01 of Ulmer Informatik-Berichte, pages 88-98. Universität Ulm, Germany, 2005.
25. T. Schrijvers. Analyses, Optimizations and Extensions of Constraint Handling Rules. PhD thesis, K.U.Leuven, Leuven, Belgium, Jun 2005.
26. T. Schrijvers and B. Demoen. The K.U.Leuven CHR system: Implementation and application. In First Workshop on Constraint Handling Rules: Selected Contributions, volume 2004-01 of Ulmer Informatik-Berichte, pages 1-5. Universität Ulm, 2004.
27. T. Schrijvers et al. The Constraint Handling Rules home page, 2007. http://www.cs.kuleuven..be/~dtai/projects/CHR/.
28. T. Schrijvers and T. W. Frühwirth. Optimal union-find in Constraint Handling Rules. Theory Pract. Log. Program., 6(1-2):213-224, 2006.
29. T. Schrijvers, P. J. Stuckey, and G. J. Duck. Abstract interpretation for Constraint Handling Rules. In 7th ACM SIGPLAN Symp. on Principles and Practice of Declarative Programming, 2005.
30. C. Schulte and P. J. Stuckey. Speeding up constraint propagation. In 10th Intl. Conf. on Principles and Practice of Constraint Programming, volume 3258 of LNCS, pages 619-633, 2004.
31. J. Sneyers, T. Schrijvers, and B. Demoen. The computational power and complexity of Constraint Handling Rules. In 2nd Workshop on Constraint Handling Rules, volume 421 of Reports CW, pages 3-17. Dept. of Computer Science, K.U.Leuven, Belgium, 2005.
32. P. Van Weert, T. Schrijvers, and B. Demoen. K.U.Leuven JCHR: A user-friendly, flexible and efficient CHR system for Java. In 2nd Workshop on Constraint Handling Rules, volume 421 of Reports CW, pages 47-62. Dept. of Computer Science, K.U.Leuven, Belgium, 2005.
33. e: A platform for constraint logic programming. ICL Systems Journal, 12(1):159-200, 1997.
34. J. Widom. The Starburst rule system. In Active Database Systems: Triggers and Rules For Advanced Database Processing, pages 87-109. Morgan Kaufmann, 1996.