{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T06:52:49Z","timestamp":1725605569659},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642642494"},{"type":"electronic","value":"9783642600852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-642-60085-2_11","type":"book-chapter","created":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T11:03:26Z","timestamp":1315479806000},"page":"257-276","source":"Crossref","is-referenced-by-count":1,"title":["The Logic Programming Paradigm in Numerical Computation"],"prefix":"10.1007","author":[{"given":"Maarten H.","family":"Emden","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"11_CR1","first-page":"263","volume":"33","author":"KR Apt","year":"1998","unstructured":"K.R. Apt. A proof theoretic view of constraint programming.Fundamenta Informaticae, 33(3):263\u2013293, 1998.","journal-title":"Fundamenta Informaticae"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"K.R. Apt. Prom chaotic iteration to constraint propagation. In Proceedings of the 24th International Colloquium on Automata, Languages, and Programming (ICALP\u201997), 1997.","DOI":"10.1007\/3-540-63165-8_163"},{"key":"11_CR3","volume-title":"Le manuel de Prolog IV. Technical report PrologIA, Parc Tech- nologique de Luminy","author":"F Benhamou","year":"1996","unstructured":"Fr\u00e9d\u00e9ric Benhamou, Pascal Bouvier, Alain Colmerauer, Henri Garetta, Bruno Giletta, Jean-Luc Massat, Guy Alain Narboni, St\u00e9phane N\u2019Dong, Robert Pasero, Jean-Fran\u00e7ois Pique, Toura\u00efvane, Michel Van Caneghem, Eric V\u00e9tillard. Le manuel de Prolog IV. Technical report, PrologIA, Parc Tech- nologique de Luminy, Marseille, France, 1996."},{"key":"11_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0743-1066(96)00142-2","volume":"32","author":"F Benhamou","year":"1997","unstructured":"Fr\u00e9d\u00e9ric Benhamou, William J. Older. Applying interval arithmetic to real, integer, and Boolean constraints. Journal of Logic Programming, 32:1\u201324, 1997.","journal-title":"Journal of Logic Programming"},{"key":"11_CR5","unstructured":"BNR. BNR Prolog user guide and reference manual. Version 3.1 for Macintosh, 1988."},{"key":"11_CR6","volume-title":"Th\u00e9orie des Ensembles (Fascicule de R\u00e9sultats)","author":"N Bourbaki","year":"1939","unstructured":"N. Bourbaki . Th\u00e9orie des Ensembles (Fascicule de R\u00e9sultats). Hermann, 1939."},{"key":"11_CR7","first-page":"125","volume":"2","author":"JG Cleary","year":"1987","unstructured":"J.G. Cleary. Logical arithmetic. Future Computing Systems, 2:125\u2013149, 1987.","journal-title":"Logical arithmetic. Future Computing Systems"},{"key":"11_CR8","volume-title":"Un syst\u00e8me de communication homme-machine en fran\u00e7ais","author":"A Colmerauer","year":"1972","unstructured":"A. Colmerauer, H. Kanoui, R. Pas\u00e9ro, P. Roussel. Un syst\u00e8me de communication homme-machine en fran\u00e7ais. Technical report, Groupe d\u2019Intelligence Artificielle, Universit\u00e9 d\u2019Aix-Marseille II, 1972."},{"key":"11_CR9","first-page":"281","volume":"32","author":"E Davis","year":"1987","unstructured":"E. Davis. Constraint propagation with labels. Artificial Intelligence, 32:281\u2013331, 1987.","journal-title":"Constraint propagation with labels. Artificial Intelligence"},{"key":"11_CR10","volume-title":"The constraint programming language CHIP","author":"M Dincbas","year":"1988","unstructured":"M. Dincbas, P. Van Hentenryck, H. Simonis, A. Aggoun, T. Graf, F. Berthier. The constraint programming language CHIP. In Proc. Int. Conf on Fifth Generation Computer Systems, 1988."},{"key":"11_CR11","volume-title":"A Mathematical Introduction to Logic","author":"HB Enderton","year":"1972","unstructured":"H.B. Enderton. A Mathematical Introduction to Logic. Fletcher and Sons, Ltd, 1972."},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"931","DOI":"10.2307\/2318109","volume":"77","author":"GE Forsythe","year":"1970","unstructured":"George E. Forsythe. Pitfalls of computation, or why a math book isn\u2019t enough. Amer. Math. Monthly, 77:931\u2013956, 1970.","journal-title":"Amer. Math. Monthly"},{"key":"11_CR13","volume-title":"An Outline of Mathematical Logic: Fundamental Results and Notions Explained with All Details. D. Reidel","author":"A Grzegorczyk","year":"1974","unstructured":"Andrzej Grzegorczyk.An Outline of Mathematical Logic: Fundamental Results and Notions Explained with All Details. D. Reidel, 1974."},{"key":"11_CR14","volume-title":"Newton: Constraint programming over nonlinear constraints. Science of Computer Programming","author":"P Hentenryck Van","year":"1996","unstructured":"P. Van Hentenryck, L. Michel, F. Benhamou. Newton: Constraint programming over nonlinear constraints. Science of Computer Programming, 1996."},{"key":"11_CR15","volume-title":"Laurent Michel, Yves Deville","author":"Pascal Van Hentenryck","year":"1997","unstructured":"Pascal Van Hentenryck, Laurent Michel, Yves Deville. Numerica: A Modeling Language for Global Optimization. MIT Press, 1997."},{"key":"11_CR16","unstructured":"T. Hickey, Q. Ju, M. van Emden. Using the IEEE floating-point standard for implementing interval arithmetic. In preparation."},{"key":"11_CR17","volume-title":"The G\u00f6del Programming Language","author":"P Hill","year":"1994","unstructured":"Patricia Hill and John Lloyd. The G\u00f6del Programming Language. MIT Press, 1994."},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J Jaffar","year":"1994","unstructured":"Joxan Jaffar, Michael J. Maher. Constraint logic programming: A survey. Journal of Logic Programming, 19\/20:503\u2013582, 1994.","journal-title":"Journal of Logic Programming"},{"key":"11_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"JW Lloyd","year":"1987","unstructured":"JW Lloyd Foundations of Logic Programming. Springer-Verlag, 2nd edition, 1987.","edition":"2"},{"key":"11_CR20","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/0004-3702(91)90059-S","volume":"48","author":"U Montanari","year":"1991","unstructured":"Ugo Montanari, Francesca Rossi. Constraint relaxation may be perfect. Artificial Intelligence, 48:143\u2013170, 1991.","journal-title":"Artificial Intelligence"},{"key":"11_CR21","volume-title":"Moore","author":"E Ramon","year":"1966","unstructured":"Ramon E. Moore. Interval Analysis. Prentice-Hall, 1966."},{"key":"11_CR22","volume-title":"Monte Carlo arithmetic: an effective way to improve upon floating-point arithmetic","author":"DS Parker","year":"1997","unstructured":"D. Stott Parker. Monte Carlo arithmetic: an effective way to improve upon floating-point arithmetic. Technical Report CSD-970002, Computer Science Department, University of California at Los Angeles, 1997."},{"key":"11_CR23","unstructured":"Jean-Fran\u00e7ois Puget, Pascal Van Hentenryck. A constraint satisfaction approach to a circuit design problem. Journal of Global Optimization, 13(1), 1998."},{"key":"11_CR24","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/978-1-4613-3440-8_9","volume-title":"Application of Interval Computations","author":"AL Semenov","year":"1996","unstructured":"Alexander L. Semenov. Solving optimization problems with help of the Unicalc solver. In R. Baker Kearfott, Vladik Kreinovich, editors, Application of Interval Computations, pages 211\u2013224. Kluwer Academic Publishers, 1996."},{"key":"11_CR25","volume-title":"Shoenfield","author":"R Joseph","year":"1967","unstructured":"Joseph R. Shoenfield. Mathematical Logic. Addison-Wesley, 1967."},{"key":"11_CR26","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1023\/A:1009705709733","volume":"2","author":"MH Emden van","year":"1997","unstructured":"M.H. van Emden. Value constraints in the CLP Scheme. Constraints, 2:163\u2013183, 1997.","journal-title":"Constraints"},{"key":"11_CR27","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/BF01939551","volume":"6","author":"A Wijngaarden van","year":"1966","unstructured":"A. van Wijngaarden. Numerical analysis as an independent science. BIT, 6:66\u201381, 1966.","journal-title":"BIT"}],"container-title":["Artificial Intelligence","The Logic Programming Paradigm"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60085-2_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T21:34:57Z","timestamp":1606253697000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60085-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783642642494","9783642600852"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60085-2_11","relation":{},"ISSN":["1431-0066"],"issn-type":[{"type":"print","value":"1431-0066"}],"subject":[],"published":{"date-parts":[[1999]]}}}