{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,22]],"date-time":"2025-01-22T05:25:32Z","timestamp":1737523532712,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540006800"},{"type":"electronic","value":"9783540365242"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36524-9_16","type":"book-chapter","created":{"date-parts":[[2007,10,20]],"date-time":"2007-10-20T10:16:21Z","timestamp":1192875381000},"page":"197-204","source":"Crossref","is-referenced-by-count":0,"title":["Action Rules for Programming Constraint Propagators and Interactive User Interfaces"],"prefix":"10.1007","author":[{"given":"Neng-Fa","family":"Zhou","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,3,14]]},"reference":[{"key":"16_CR1","unstructured":"A. Aggoun and N. Beldiceanu: Overview of the CHIP Compiler System, In Proc. of the 8th International Conference on Logic Programming, pp.775\u2013789, MIT Press, 1991."},{"key":"16_CR2","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1145\/357146.357147","volume":"3","author":"A. Borning","year":"1981","unstructured":"A. Borning: The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory, ACM Transactions on Programming Languages and Systems, Vol.3, 353\u2013387, 1981.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"A. Borning, R. Lin, and K. Marriott: Constraint-Based Document Layout for the Web, ACM Multimedia Systems Journal, 2000.","DOI":"10.1007\/s005300000043"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"M. Carlsson, G. Ottosson, and B. Carlson: An Open-ended Finite Domain Constraint Solver, Proc. Programming Languages and Logic Programming, pp.191\u2013206, 1997.","DOI":"10.1007\/BFb0033845"},{"issue":"3","key":"16_CR5","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/0743-1066(95)00121-2","volume":"27","author":"P. Codognet","year":"1996","unstructured":"P. Codognet and D. Diaz: Compiling Constraints in clp(FD), Journal of Logic Programming, 27(3), pp.185\u2013226, 1996.","journal-title":"Journal of Logic Programming"},{"issue":"7","key":"16_CR6","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/79204.79209","volume":"33","author":"J. Cohen","year":"1990","unstructured":"J. Cohen: Constraint Logic Programming Languages, Communications of ACM, Vol.33, No.7, pp.52\u201368, 1990.","journal-title":"Communications of ACM"},{"key":"16_CR7","unstructured":"A. Colmerauer.: Equations and In-equations on Finite and Infinite Trees, Proc. of the International Conference on Fifth Generation Computer Systems (FGCS\u201984), ICOT, 85\u201399, 1984."},{"key":"16_CR8","doi-asserted-by":"crossref","unstructured":"A. Colmerauer.: An Introduction to Prolog-III,Communications of ACM, Vol.33, No.7, 1990.","DOI":"10.1145\/79204.79210"},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"I. Cruz, K. Marroitt, and P.V. Hentenryck: Special Issue on Constraints, Graphics, and Visualization, Eds., Constraints An International Journal, Vol.3, No.1, 1998.","DOI":"10.1023\/A:1009715430432"},{"key":"16_CR10","unstructured":"M. Dincbas, P. van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier: The Constraint Logic Programming Language CHIP, In Proceedings of the Fifth Generation Computer Systems, pp.693\u2013702, ICOT, 1988."},{"issue":"1","key":"16_CR11","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0743-1066(90)90052-7","volume":"8","author":"M. Dincbas","year":"1990","unstructured":"M. Dincbas, H. Simonis, P. van Hentenryck: Solving Large Combinatorial Problems in Logic Programming. Journal of Logic Programming, 8(1), pp.75\u201393, 1990.","journal-title":"Journal of Logic Programming"},{"key":"16_CR12","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T.W. Fruhwirth","year":"1998","unstructured":"T.W. Fruhwirth: Theory and Practice of Constraint Handling Rules, Journal of Logic Programming, Vol.37, pp.95\u2013138, 1998.","journal-title":"Journal of Logic Programming"},{"key":"16_CR13","unstructured":"W. Harvey and P.J. Stuckey: Improving Propagation by Changing Constraint Representation, Constraints, An International Journal, to appear."},{"key":"16_CR14","unstructured":"P. van Hentenryck: Constraint Satisfaction in Logic Programming. MIT Press, 1989."},{"key":"16_CR15","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1007\/3-540-55844-6_141","volume-title":"Meta-structures Vs. Attribute Variables in the Context of Extensible Unification","author":"C. Holzbaur","year":"1992","unstructured":"C. Holzbaur: Meta-structures Vs. Attribute Variables in the Context of Extensible Unification, Proc. PLLP\u201992, LNCS 631, pp.260\u2013268, 1992."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"J. Jaffar and M. J. Maher, Constraint Logic Programming: A Survey, Journal of Logic Programming, 1994.","DOI":"10.1016\/0743-1066(94)90033-7"},{"key":"16_CR17","unstructured":"A.K. Mackworth: Constraint Satisfaction, In Encyclopedia of Artificial Intelligence, John Wiley & Sons, 205\u2013211, 1986."},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"B.A. Myers, R.C. Miller, R. McDaniel, and A. Ferrency: Easily Adding Animations to Interfaces Using Constraints, Proc. ACM User Interface and Software Technology, 119\u2013128, 1996.","DOI":"10.1145\/237091.237109"},{"key":"16_CR19","unstructured":"J.F. Puget and M. Leconte: Beyond the Glass Box: Constraints as Objects, Proc. International Logic Programming Symposium, pp.513\u2013527, 1995."},{"key":"16_CR20","unstructured":"K. Ueda, Guarded Horn Clauses, in Concurrent Logic Programming Languages, E. Shapiro, ed., MIT Press, 1991."},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Ivan Sutherland, Sketchpad: A Man-Machine Graphical Communication System, IFIPS Proc. of the Spring Joint Computer Conference, 1963.","DOI":"10.1145\/1461551.1461591"},{"key":"16_CR22","doi-asserted-by":"crossref","unstructured":"M.G. Wallace, Practical Applications of Constraint Programming, Constraints Journal, vol.1 no.1, Kluwer, 1996.","DOI":"10.1007\/BF00143881"},{"issue":"4","key":"16_CR23","doi-asserted-by":"publisher","first-page":"308","DOI":"10.1145\/212430.212443","volume":"2","author":"B.V. Zanden","year":"1995","unstructured":"B.V. Zanden and B.A. Myers: Demonstrational and Constraint-Based Techniques for Pictorially Specifying Application Objects and Behaviors, ACM Transactions on Computer-Human Interaction, 2(4):308\u2013356, 1995","journal-title":"ACM Transactions on Computer-Human Interaction"},{"key":"16_CR24","unstructured":"N.F. Zhou: Programming Finite-Domain Constraint Propagators in Action Rules, submitted, a preliminary version appears in Proc. Joint International Conference and Symposium on Logic Programming, 70\u201384, MIT Press, 1998 ( http:\/\/www.sci.brooklyn.cuny.edu\/\u223czhou\/papers\/arule.pdf )."},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"N.F. Zhou: CGLIB: A Constraint-Based Graphics Library, Proc. ACM Symposium on Document Engineering, pp.28\u201337, 2001.","DOI":"10.1145\/502187.502193"},{"key":"16_CR26","unstructured":"N.F. Zhou: Implementation of Propagation Rules for Set Constraints Revisited, 2002 ( http:\/\/www.sci.brooklyn.cuny.edu\/\u223czhou\/papers\/clpset.pdf )."}],"container-title":["Lecture Notes in Computer Science","Web Knowledge Management and Decision Support"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36524-9_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,21]],"date-time":"2025-01-21T19:49:55Z","timestamp":1737488995000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36524-9_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540006800","9783540365242"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/3-540-36524-9_16","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}