{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,27]],"date-time":"2026-03-27T14:28:15Z","timestamp":1774621695080,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":53,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540591559","type":"print"},{"value":"9783540492009","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59155-9_1","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:04:05Z","timestamp":1330275845000},"page":"1-21","source":"Crossref","is-referenced-by-count":22,"title":["Interval constraint logic programming"],"prefix":"10.1007","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Benhamou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"1_CR1","unstructured":"G. Alefeld and J. Herzberger. Introduction to Internal Computations. Academic Press, 1983."},{"key":"1_CR2","doi-asserted-by":"crossref","first-page":"842","DOI":"10.1145\/182.358434","volume":"26","author":"J. Allen","year":"1983","unstructured":"J. Allen. Maintaining Knowledge about Temporal Intervals. Communications of the ACM, 26, pp842\u2013843, 1983.","journal-title":"Communications of the ACM"},{"key":"1_CR3","unstructured":"F. Benhamou and A. Colmerauer (eds.) Constraint Logic Programming: Selected Research, MIT Press, 1993."},{"key":"1_CR4","first-page":"517","volume-title":"Proceedings of ICLP'93","author":"F. Benhamou","year":"1993","unstructured":"F. Benhamou and J.L. Massat. Boolean Pseudo-Equations in Constraint Logic Programming, Proceedings of ICLP'93, MIT Press, pp 517\u2013531, Budapest, Hungary, 1993."},{"key":"1_CR5","unstructured":"F. Benhamou and W. Older. Applying Interval Arithmetic to Real, Integer and Boolean Constraints. Journal of Logic Programming, 1994. (Submitted)."},{"key":"1_CR6","unstructured":"F. Benhamou, W. Older and A. Vellino. Interval Constraint Solving. INTERVALS '94, collection of abstracts, St Petersburgh, Russia, 1994."},{"key":"1_CR7","unstructured":"F. Benhamou, D. MacAllester and P. Van Hentenryck. CLP(Intervals) revisited. Proceedings of ILPS'94, Ithaca, NY, USA, 1994."},{"key":"1_CR8","unstructured":"H. Beringer, B. De Backer Combinatorial problem solving in Constraint Logic Programming with cooperating Solvers. In Logic Programming: Formal Methods and Practical Applications, C. Beierle and L. Plumer eds., Elsevier Science Publishers, 1994."},{"key":"1_CR9","unstructured":"P. Bouvier, J.L. Massat, S. N'Dong, Touraivane, E. Vetillard Performance Evaluation of the Prince Prototype Deliverable WP2-3\/R6, Esprit Project PRINCE 5246, 1994."},{"issue":"4","key":"1_CR10","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1145\/2701.2702","volume":"10","author":"A. Bundy","year":"1984","unstructured":"A. Bundy. A generalized interval package and its semantic checking. ACM Trans. on Mathematical Systems, 10 (4), p 397\u2013409, 1984.","journal-title":"ACM Trans. on Mathematical Systems"},{"key":"1_CR11","unstructured":"C.K. Chiu and J.H.M. Lee. Towards Practical Interval Constraint Solving in Logic Programming. Proceedings of ILPS'94, Ithaca, NY, USA, 1994."},{"issue":"2","key":"1_CR12","first-page":"125","volume":"2","author":"J.G. Cleary","year":"1987","unstructured":"J.G. Cleary. Logical Arithmetic. Future Generation Computing Systems, 2(2), p 125\u2013149, 1987.","journal-title":"Future Generation Computing Systems"},{"issue":"7","key":"1_CR13","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1145\/79204.79210","volume":"33","author":"A. Colmerauer","year":"1990","unstructured":"A. Colmerauer. An Introduction to Prolog III. Communications of the ACM, 33(7):69, 1990.","journal-title":"Communications of the ACM"},{"key":"1_CR14","unstructured":"A. Colmerauer. Naive Solving of Non-linear Constraints, Constraint Logic Programming: Selected Research, F. Benhamou and A. Colmerauer (eds.), MIT Press, pages 89\u2013112, 1993."},{"key":"1_CR15","unstructured":"A. Colmerauer. R\u00e9solution approch\u00e9e de contraintes par produits cart\u00e9siens d'ensembles privil\u00e9gi\u00e9s. Working paper, 1994."},{"key":"1_CR16","unstructured":"A. Colmerauer. A legal framework for discussing approximate solving of Constraints. INTERVALS'94, collection of abstracts, St Petersburgh, Russia, 1994."},{"key":"1_CR17","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0004-3702(87)90091-9","volume":"32","author":"E. Davis","year":"1987","unstructured":"E. Davis. Constraint Propagation with Interval Labels. Artificial Intelligence, 32:281\u2013331, 1987.","journal-title":"Artificial Intelligence"},{"key":"1_CR18","volume-title":"Numerical Methods for Unconstrained Optimization and Nonlinear Equations","author":"J.E. Dennis","year":"1983","unstructured":"J.E. Dennis and R.B. Schnabel. Numerical Methods for Unconstrained Optimization and Nonlinear Equations. Prentice Hall, Englewood Cliffs, New Jersey, 1983."},{"key":"1_CR19","unstructured":"M. Dincbas, H. Simonis and P. Van Hentenryck Extending Equation Solving and Constraints Handling in Logic Programming. Proc. Colloquium CREAS MCC, Austin, Texas, 1987."},{"key":"1_CR20","first-page":"89","volume":"12","author":"E.R. Hansen","year":"1983","unstructured":"E.R. Hansen and R.I. Greenberg. An Interval Newton Method. Appl. Math. Comput., 12:89\u201398, 1983.","journal-title":"Appl. Math. Comput."},{"key":"1_CR21","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF01933165","volume":"21","author":"E.R. Hansen","year":"1981","unstructured":"E.R. Hansen and S. Sengupta. Bounding Solutions of Systems of Equations Using Interval Analysis. BIT, 21:203\u2013211, 1981.","journal-title":"BIT"},{"key":"1_CR22","unstructured":"H. Hong. RISC-CLP(Real): Logic programming with Non-linear constraints over the Reals Constraint Logic Programming: Selected Research, F. Benhamou and A. Colmerauer, eds. MIT Press, 1993."},{"key":"1_CR23","unstructured":"H. Hong and V. Stahl. Safe Starting Regions by Fixed Points and Tightening. Submitted for Publication, November 1993."},{"key":"1_CR24","unstructured":"E. Hyv\u00f6nen. Constraint Reasoning Based on Interval Arithmetic. In Proceedings of 11th IJCAI, pp 193\u2013198, Morgan-Kaufmann publishers, 1989."},{"key":"1_CR25","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(92)90005-I","volume":"58","author":"E. Hyv\u00f6nen","year":"1992","unstructured":"E. Hyv\u00f6nen. Constraint Reasoning Based on Interval Arithmetic. The Tolerance Propagation Approach. Artificial Intelligence, 58, pp 71\u2013112, 1992.","journal-title":"Artificial Intelligence"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"E. Hyv\u00f6nen, S. De Pascale and A. Lehtola. Interval Constraint Programming in C++. Constraint Programming, B. Mayoh, E. Tyugu and J. Penjam eds., NATO ASI series, Series F, Vol. 1, Springer-Verlag, pp 350\u2013366, 1994.","DOI":"10.1007\/978-3-642-85983-0_14"},{"key":"1_CR27","unstructured":"IEEE Standard for Binary Floating-point Arithmetic. ANSI\/IEEE Std 754-1985, Institute of Electrical and Electronics Engineers, NYC, NY, USA."},{"key":"1_CR28","unstructured":"INTERLOG 1.0: User's guide (in french). Dassault Electronique, 55 Quai M. Dassault, 92214 Saint Cloud, France."},{"key":"1_CR29","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0004-3702(87)90091-9","volume":"32","author":"Constraint Propagation with Interval Labels","year":"1987","unstructured":"Constraint Propagation with Interval Labels. Artificial Intelligence, 32, pp 281\u2013331, 1987.","journal-title":"Artificial Intelligence"},{"key":"1_CR30","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J.L. Lassez, Constraint Logic Programming. Proc. POPL, ACM, 1987.","DOI":"10.1145\/41625.41635"},{"issue":"no3","key":"1_CR31","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"J. Jaffar, S. Michaylov, P. J. Stuckey and R. H. C. Yap, The CLP(R) Language and System ACM Transactions on Programming Languages and Systems, Vol. 14, no 3, pages 339\u2013395, 1992.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"1_CR32","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19\/20","author":"J. Jaffar","year":"1994","unstructured":"J. Jaffar and M. Maher, Constraint Logic Programming: a Survey Journal of Logic Programming, Vol. 19\/20, pages 503\u2013581, 1994.","journal-title":"Journal of Logic Programming"},{"key":"1_CR33","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF02234767","volume":"4","author":"R. Krawczyk","year":"1985","unstructured":"R. Krawczyk. Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken. Computing, 4: 187\u2013201, 1985.","journal-title":"Computing"},{"key":"1_CR34","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/0004-3702(92)90106-8","volume":"57","author":"P.B. Ladkin","year":"1992","unstructured":"P.B. Ladkin and A. Reinefeld. Effective Solution of Qualitative Interval Constraint Problems. Artificial Intelligence, 57, pp 107\u2013124, 1992.","journal-title":"Artificial Intelligence"},{"key":"1_CR35","unstructured":"J.H.M. Lee and M.H. van Emden. Adapting CLP(R) to Floating-Point Arithmetic. Proceedings of FGCSC, Tokyo, Japan, 1992."},{"issue":"3\u20134","key":"1_CR36","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1016\/0743-1066(93)90045-I","volume":"16","author":"J.H.M. Lee","year":"1993","unstructured":"J.H.M. Lee and M.H. van Emden. Interval Computation as Deduction in CHIP. Journal of Logic Programming, 16(3\u20134):255\u2013276, 1993.","journal-title":"Journal of Logic Programming"},{"key":"1_CR37","unstructured":"O. Lhomme. Consistency Techniques for Numeric CSPs. Proceedings of the 13th IJCAI, 1993."},{"issue":"1","key":"1_CR38","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"A.K. Mackworth","year":"1977","unstructured":"A.K. Mackworth. Consistency in Networks of Relations. Artificial Intelligence, 8(1):99\u2013118, 1977.","journal-title":"Artificial Intelligence"},{"issue":"2","key":"1_CR39","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U. Montanari","year":"1974","unstructured":"U. Montanari. Networks of Constraints: Fundamental Properties and Applications to Picture Processing. Information Science, 7(2):95\u2013132, 1974.","journal-title":"Information Science"},{"key":"1_CR40","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1966","unstructured":"R.E. Moore. Interval Analysis. Prentice-Hall, Englewood Cliffs, NJ, 1966."},{"key":"1_CR41","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1145\/355815.355820","volume":"5","author":"J.J. More","year":"1979","unstructured":"J.J. More and M.Y. Cosnard. Numerical Solution of Nonlinear Equations. ACM Transactions on Mathematical Software, 5:64\u201385, 1979.","journal-title":"ACM Transactions on Mathematical Software"},{"key":"1_CR42","unstructured":"W. Older and A. Vellino, \u201cExtending Prolog with Constraint Arithmetic on Real Intervals\u201d, in Proceedings of the Canadian Conference on Electrical and Computer Engineering, 1990."},{"key":"1_CR43","volume-title":"Constraint Logic Programming: Selected Papers","author":"W. Older","year":"1993","unstructured":"W. Older and A. Vellino. Constraint Arithmetic on Real Intervals. In Constraint Logic Programming: Selected Papers, F. Benhamou & A. Colmerauer eds., The MIT Press, Cambridge, MA, 1993."},{"key":"1_CR44","unstructured":"W. Older and F. Benhamou. Programming in CLP(BNR). In PPCP'94, Newport, RI (USA), 1993."},{"key":"1_CR45","volume-title":"Springer Lectures Notes in Computer Science","author":"L.B. Rall","year":"1981","unstructured":"L.B. Rall. Automatic Differentiation: Techniques and Applications. Springer Lectures Notes in Computer Science, Springer Verlag, New York, 1981."},{"key":"1_CR46","doi-asserted-by":"crossref","unstructured":"G. Sidebottom and W. havens. Hierarchical Arc Consistency Applied to Numeric Processing in Constraint Logic Programming. Computational Intelligence, 8(4), 1992.","DOI":"10.1111\/j.1467-8640.1992.tb00381.x"},{"key":"1_CR47","volume-title":"Herbrand Universes and Finite Domains Research Report","author":"M.H. Emden Van","year":"1994","unstructured":"M.H. Van Emden The Compatibility Operator for Real Intervals, Herbrand Universes and Finite Domains Research Report, University of Victoria, Canada, 1994."},{"key":"1_CR48","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"P. Van Hentenryck. Constraint Satisfaction in Logic Programming MIT Press, Cambridge, 1989."},{"key":"1_CR49","unstructured":"P. Van Hentenryck, V. Saraswat, and Y. Deville. The Design, Implementation, and Evaluation of the Constraint Language cc(FD). Technical Report, Brown University, December 1992."},{"key":"1_CR50","unstructured":"P. Van Hentenryck and Yves Deville. The Cardinality Operator: A new Logical Connective for Constraint Logic Programming Constraint Logic Programming: Selected Research, F. Benhamou and A. Colmerauer (eds.), MIT Press, pages 383\u2013403, 1993."},{"key":"1_CR51","doi-asserted-by":"crossref","unstructured":"W. Walster. Philosophy and practicalities of Interval Arithmetic. Reliability in Computing, pp 309\u2013323, Academic Press, 1988.","DOI":"10.1016\/B978-0-12-505630-4.50022-5"},{"key":"1_CR52","unstructured":"J.H. Wilkinson. The algebraic Eigenvalue Problem, Oxford University Press, 1965."},{"key":"1_CR53","unstructured":"J. Zhou. Approximate Solving of y=cos(x) and Other Real Constraints by Cartesian Product of Intervals. Technical Report, LIM, University of Marseilles, 1994."}],"container-title":["Lecture Notes in Computer Science","Constraint Programming: Basics and Trends"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59155-9_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:25:39Z","timestamp":1605648339000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59155-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540591559","9783540492009"],"references-count":53,"URL":"https:\/\/doi.org\/10.1007\/3-540-59155-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}