{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,20]],"date-time":"2025-06-20T22:02:27Z","timestamp":1750456947533,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,7,14]],"date-time":"2007-07-14T00:00:00Z","timestamp":1184371200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,7,14]]},"DOI":"10.1145\/1273920.1273924","type":"proceedings-article","created":{"date-parts":[[2012,10,10]],"date-time":"2012-10-10T14:45:29Z","timestamp":1349880329000},"page":"25-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["User-definable rule priorities for CHR"],"prefix":"10.1145","author":[{"given":"Leslie","family":"De Koninck","sequence":"first","affiliation":[{"name":"Katholieke Universiteit Leuven"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Schrijvers","sequence":"additional","affiliation":[{"name":"Katholieke Universiteit Leuven"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bart","family":"Demoen","sequence":"additional","affiliation":[{"name":"Katholieke Universiteit Leuven"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,7,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0017444"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/647189.720011"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11564751_13"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00015-6"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TAI.1994.346518"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1140335.1140350"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/646452.692956"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27775-0_7"},{"key":"e_1_3_2_1_11_1","volume-title":"Rete: A fast algorithm for the many pattern\/many object pattern match problem. Artif. Intell., 191):17--37","author":"Forgy C. L.","year":"1982","unstructured":"C. L. Forgy . Rete: A fast algorithm for the many pattern\/many object pattern match problem. Artif. Intell., 191):17--37 , 1982 . C. L. Forgy. Rete: A fast algorithm for the many pattern\/many object pattern match problem. Artif. Intell., 191):17--37, 1982."},{"key":"e_1_3_2_1_12_1","unstructured":"E. Friedman-Hill. JESS 7.0p1: The rule engine for the Java platform. http:\/\/herzberg.ca.sandia.gov\/jess.  E. Friedman-Hill. JESS 7.0p1: The rule engine for the Java platform. http:\/\/herzberg.ca.sandia.gov\/jess."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(98)10005-5"},{"key":"e_1_3_2_1_14_1","first-page":"76","article-title":"Probabilistic constraint handling rules","author":"Fr\u00fchwirth T. W.","year":"2002","unstructured":"T. W. Fr\u00fchwirth , A. Di Pierro , and H. Wiklicky . Probabilistic constraint handling rules . Electr. Notes Theor. Comput. Sci. , 76 , 2002 . T. W. Fr\u00fchwirth, A. Di Pierro, and H. Wiklicky. Probabilistic constraint handling rules. Electr. Notes Theor. Comput. Sci., 76, 2002.","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/645522.656315"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068403001674"},{"key":"e_1_3_2_1_17_1","volume-title":"Version 6.20","author":"Giarratano J. C.","year":"2002","unstructured":"J. C. Giarratano . CLIPS User's Guide , Version 6.20 , 2002 . http:\/\/www.ghg.net\/clips\/CLIPS.html. J. C. Giarratano. CLIPS User's Guide, Version 6.20, 2002. http:\/\/www.ghg.net\/clips\/CLIPS.html."},{"key":"e_1_3_2_1_18_1","volume-title":"Optimizing compilation of Constraint Handling Rules in HAL. CoRR, cs.PL\/0408025","author":"Holzbaur C.","year":"2004","unstructured":"C. Holzbaur , M. J. Garc\u00eda de la Banda , P. J. Stuckey , and G. J. Duck . Optimizing compilation of Constraint Handling Rules in HAL. CoRR, cs.PL\/0408025 , 2004 . C. Holzbaur, M. J. Garc\u00eda de la Banda, P. J. Stuckey, and G. J. Duck. Optimizing compilation of Constraint Handling Rules in HAL. CoRR, cs.PL\/0408025, 2004."},{"key":"e_1_3_2_1_19_1","volume-title":"Reference Manual","author":"OG.","year":"2001","unstructured":"IL OG. ILOG CPLEX 7.5 : Reference Manual , 2001 . ILOG. ILOG CPLEX 7.5: Reference Manual, 2001."},{"key":"e_1_3_2_1_20_1","volume-title":"Reference Manual","author":"OG.","year":"2001","unstructured":"IL OG. ILOG Solver 5.1 : Reference Manual , 2001 . ILOG. ILOG Solver 5.1: Reference Manual, 2001."},{"key":"e_1_3_2_1_21_1","first-page":"685","volume-title":"8th National Conf. on Artificial Intelligence","author":"Miranker D. P.","year":"1990","unstructured":"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 . 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."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.3115\/990820.990900"},{"key":"e_1_3_2_1_23_1","volume-title":"Version 3.0.5","author":"Proctor M.","year":"2006","unstructured":"M. Proctor , M. Neale , P. Lin , and M. Frandsen . Drools Documentation , Version 3.0.5 , 2006 . http:\/\/www.jboss.com\/products\/rules. M. Proctor, M. Neale, P. Lin, and M. Frandsen. Drools Documentation, Version 3.0.5, 2006. http:\/\/www.jboss.com\/products\/rules."},{"key":"e_1_3_2_1_24_1","volume-title":"19th Workshop on (Constraint) Logic Programming","volume":"01","author":"Ringwelski G.","year":"2005","unstructured":"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\u00e4t Ulm, Germany , 2005 . 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\u00e4t Ulm, Germany, 2005."},{"key":"e_1_3_2_1_26_1","volume-title":"First Workshop on Constraint Handling Rules: Selected Contributions","volume":"01","author":"Schrijvers T.","year":"2004","unstructured":"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\u00e4t Ulm , 2004 . 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\u00e4t Ulm, 2004."},{"key":"e_1_3_2_1_27_1","volume-title":"The Constraint Handling Rules home page","author":"Schrijvers T.","year":"2007","unstructured":"T. Schrijvers The Constraint Handling Rules home page , 2007 . http:\/\/www.cs.kuleuven.be\/~dtai\/projects\/CHR\/. T. Schrijvers et al. The Constraint Handling Rules home page, 2007. http:\/\/www.cs.kuleuven.be\/~dtai\/projects\/CHR\/."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068405002541"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1069774.1069795"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30201-8_45"},{"key":"e_1_3_2_1_31_1","volume-title":"2nd Workshop on Constraint Handling Rules","volume":"421","author":"Sneyers J.","year":"2005","unstructured":"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 . 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."},{"key":"e_1_3_2_1_32_1","volume-title":"2nd Workshop on Constraint Handling Rules","volume":"421","author":"Van Weert P.","year":"2005","unstructured":"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 . 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."},{"issue":"1","key":"e_1_3_2_1_33_1","first-page":"159","article-title":"ECL i PS e : A platform for constraint logic programming","volume":"12","author":"Wallace M.","year":"1997","unstructured":"M. Wallace , S. Novello , and J. Schimpf . ECL i PS e : A platform for constraint logic programming . ICL Systems Journal , 12 ( 1 ): 159 -- 200 , 1997 . M. Wallace, S. Novello, and J. Schimpf. ECL i PS e : A platform for constraint logic programming. ICL Systems Journal, 12(1):159--200, 1997.","journal-title":"ICL Systems Journal"},{"key":"e_1_3_2_1_34_1","first-page":"87","volume-title":"Active Database Systems: Triggers and Rules For Advanced Database Processing","author":"Widom J.","year":"1996","unstructured":"J. Widom . The Starburst rule system . In Active Database Systems: Triggers and Rules For Advanced Database Processing , pages 87 -- 109 . Morgan Kaufmann , 1996 . J. Widom. The Starburst rule system. In Active Database Systems: Triggers and Rules For Advanced Database Processing, pages 87--109. Morgan Kaufmann, 1996."}],"event":{"name":"PPDP07: Principles and Practice of Declarative Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Wroclaw Poland","acronym":"PPDP07"},"container-title":["Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273920.1273924","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1273920.1273924","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:58:09Z","timestamp":1750258689000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1273920.1273924"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,14]]},"references-count":31,"alternative-id":["10.1145\/1273920.1273924","10.1145\/1273920"],"URL":"https:\/\/doi.org\/10.1145\/1273920.1273924","relation":{},"subject":[],"published":{"date-parts":[[2007,7,14]]},"assertion":[{"value":"2007-07-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}