{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:12:12Z","timestamp":1742911932475,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642032509"},{"type":"electronic","value":"9783642032516"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-03251-6_5","type":"book-chapter","created":{"date-parts":[[2009,7,28]],"date-time":"2009-07-28T06:17:59Z","timestamp":1248761879000},"page":"66-83","source":"Crossref","is-referenced-by-count":4,"title":["From Rules to Constraint Programs with the Rules2CP Modelling Language"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Fages","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julien","family":"Martin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","volume-title":"The OPL Optimization programming Language","author":"P. Hentenryck Van","year":"1999","unstructured":"Van Hentenryck, P.: The OPL Optimization programming Language. MIT Press, Cambridge (1999)"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1145\/359496.359529","volume":"1","author":"P.V. Hentenryck","year":"2000","unstructured":"Hentenryck, P.V., Perron, L., Puget, J.F.: Search and strategies in opl. ACM Transactions on Compututational Logic\u00a01, 285\u2013320 (2000)","journal-title":"ACM Transactions on Compututational Logic"},{"key":"5_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/978-3-540-69611-7_14","volume-title":"Practical Aspects of Declarative Languages","author":"R. Rafeh","year":"2006","unstructured":"Rafeh, R., de la Banda, M.G., Marriott, K., Wallace, M.: From Zinc to design model. In: Hanus, M. (ed.) PADL 2007. LNCS, vol.\u00a04354, pp. 215\u2013229. Springer, Heidelberg (2006)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"700","DOI":"10.1007\/11889205_54","volume-title":"Principles and Practice of Constraint Programming - CP 2006","author":"M.G. Banda de la","year":"2006","unstructured":"de la Banda, M.G., Marriott, K., Rafeh, R., Wallace, M.: The modelling language Zinc. In: Benhamou, F. (ed.) CP 2006. LNCS, vol.\u00a04204, pp. 700\u2013705. Springer, Heidelberg (2006)"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/s10601-008-9047-y","volume":"13","author":"A.M. Frisch","year":"2008","unstructured":"Frisch, A.M., Harvey, W., Jefferson, C., Martinez-Hernandez, B., Miguel, I.: Essence: A constraint language for specifying combinatorial problems. Constraints\u00a013, 268\u2013306 (2008)","journal-title":"Constraints"},{"unstructured":"Group, B.R.: The business rules manifesto Business Rules Group (2003), http:\/\/www.businessrulesgroup.org\/brmanifesto.htm","key":"5_CR6"},{"unstructured":"Korf, R.E.: Optimal rectangle packing: New results. In: ICAPS, pp. 142\u2013149 (2004)","key":"5_CR7"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/11799573_6","volume-title":"Logic Programming","author":"R. Haemmerl\u00e9","year":"2006","unstructured":"Haemmerl\u00e9, R., Fages, F.: Modules for prolog revisited. In: Etalle, S., Truszczy\u0144ski, M. (eds.) ICLP 2006. LNCS, vol.\u00a04079, pp. 41\u201355. Springer, Heidelberg (2006)"},{"key":"5_CR9","volume-title":"Constraint satisfaction in Logic Programming","author":"P. Van Hentenryck","year":"1989","unstructured":"Van Hentenryck, P.: Constraint satisfaction in Logic Programming. MIT Press, Cambridge (1989)"},{"key":"5_CR10","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1613\/jair.2097","volume":"29","author":"J. Huang","year":"2007","unstructured":"Huang, J., Darwiche, A.: The language of search. Journal of Artificial Intelligence Research\u00a029, 191\u2013219 (2007)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"5_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511607400","volume-title":"Constraint Logic Programming using Eclipse","author":"K. Apt","year":"2006","unstructured":"Apt, K., Wallace, M.: Constraint Logic Programming using Eclipse. Cambridge University Press, Cambridge (2006)"},{"unstructured":"Carlsson, M., et al.: SICStus Prolog User\u2019s Manual. Swedish Institute of Computer Science, 4th edn. (2007), ISBN 91-630-3648-7","key":"5_CR12"},{"key":"5_CR13","first-page":"241","volume":"9","author":"F. Fages","year":"2004","unstructured":"Fages, F., Soliman, S., Coolen, R.: CLPGUI: a generic graphical user interface for constraint logic programming. Journal of Constraints, Special Issue on User-Interaction in Constraint Satisfaction\u00a09, 241\u2013262 (2004)","journal-title":"Journal of Constraints, Special Issue on User-Interaction in Constraint Satisfaction"},{"doi-asserted-by":"crossref","unstructured":"Fages, F., Martin, J.: From rules to constraint programs with the Rules2CP modelling language. INRIA Research Report RR-6495, Institut National de Recherche en Informatique (2008)","key":"5_CR14","DOI":"10.1007\/978-3-642-03251-6_5"},{"key":"5_CR15","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1145\/321738.321750","volume":"20","author":"B. Rosen","year":"1973","unstructured":"Rosen, B.: Tree-manipulating systems and Church-Rosser theorems. Journal of the ACM\u00a020, 160\u2013187 (1973)","journal-title":"Journal of the ACM"},{"key":"5_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/978-3-540-85958-1_15","volume-title":"Principles and Practice of Constraint Programming","author":"M. Carlsson","year":"2008","unstructured":"Carlsson, M., Beldiceanu, N., Martin, J.: A geometric constraint over k-dimensional objects and shapes subject to business rules. In: Stuckey, P.J. (ed.) CP 2008. LNCS, vol.\u00a05202, pp. 220\u2013234. Springer, Heidelberg (2008)"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1007\/978-3-540-74970-7_15","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2007","author":"N. Beldiceanu","year":"2007","unstructured":"Beldiceanu, N., Carlsson, M., Poder, E., Sadek, R., Truchet, C.: A generic geometrical constraint kernel in space and time for handling polymorphic k-dimensional objects. In: Bessi\u00e8re, C. (ed.) CP 2007. LNCS, vol.\u00a04741, pp. 180\u2013194. Springer, Heidelberg (2007); SICS Technical Report T2007:08, http:\/\/www.sics.se\/libindex.html"},{"doi-asserted-by":"crossref","unstructured":"Allen, J.: Time and time again: The many ways to represent time. International Journal of Intelligent System\u00a06 (1991)","key":"5_CR18","DOI":"10.1002\/int.4550060403"},{"key":"5_CR19","first-page":"165","volume-title":"Proc. of 2nd International Conference on Knowledge Representation and reasoning KR 1992","author":"D. Randell","year":"1992","unstructured":"Randell, D., Cui, Z., Cohn, A.: A spatial logic based on regions and connection. In: Nebel, B., Rich, C., Swartout, W.R. (eds.) Proc. of 2nd International Conference on Knowledge Representation and reasoning KR 1992, pp. 165\u2013176. Morgan Kaufmann, San Francisco (1992)"},{"key":"5_CR20","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1057\/jors.1985.84","volume":"36","author":"H. Carpenter","year":"1985","unstructured":"Carpenter, H., Dowsland, W.: Practical consideration of the pallet loading problem. Journal of the Operations Research Society\u00a036, 489\u2013497 (1985)","journal-title":"Journal of the Operations Research Society"},{"doi-asserted-by":"crossref","unstructured":"Simonis, H., O\u2019Sullivan, B.: Using global constraints for rectangle packing. In: Proceedings of the first Workshop on Bin Packing and Placement Constraints BPPC 2008, associated to CPAIOR 2008 (2008)","key":"5_CR21","DOI":"10.1007\/978-3-540-85958-1_4"},{"key":"5_CR22","first-page":"111","volume-title":"Proceedings of the 14th ACM Symposium on Principles of Programming Languages","author":"J. Jaffar","year":"1987","unstructured":"Jaffar, J., Lassez, J.L.: Constraint logic programming. In: Proceedings of the 14th ACM Symposium on Principles of Programming Languages, pp. 111\u2013119. ACM, Munich (1987)"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1007\/978-3-540-73449-9_5","volume-title":"Term Rewriting and Applications","author":"E. Balland","year":"2007","unstructured":"Balland, E., Brauner, P., Kopetz, R., Moreau, P.E., Reilles, A.: Tom: Piggybacking rewriting on java. In: Baader, F. (ed.) RTA 2007. LNCS, vol.\u00a04533, pp. 36\u201347. Springer, Heidelberg (2007)"},{"key":"5_CR24","doi-asserted-by":"publisher","first-page":"751","DOI":"10.1017\/S1471068401001120","volume":"1","author":"F. Fages","year":"2001","unstructured":"Fages, F., Coquery, E.: Typing constraint logic programs. Journal of Theory and Practice of Logic Programming\u00a01, 751\u2013777 (2001)","journal-title":"Journal of Theory and Practice of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Recent Advances in Constraints"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-03251-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,11]],"date-time":"2025-02-11T13:27:12Z","timestamp":1739280432000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-03251-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642032509","9783642032516"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-03251-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}