{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T10:44:10Z","timestamp":1778582650816,"version":"3.51.4"},"reference-count":52,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[1992,12,1]],"date-time":"1992-12-01T00:00:00Z","timestamp":723168000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Artificial Intelligence"],"published-print":{"date-parts":[[1992,12]]},"DOI":"10.1016\/0004-3702(92)90005-i","type":"journal-article","created":{"date-parts":[[2003,3,14]],"date-time":"2003-03-14T13:02:52Z","timestamp":1047646972000},"page":"71-112","source":"Crossref","is-referenced-by-count":125,"title":["Constraint reasoning based on interval arithmetic: the tolerance propagation approach"],"prefix":"10.1016","volume":"58","author":[{"given":"Eero","family":"Hyv\u00f6nen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/0004-3702(92)90005-I_BIB1","series-title":"Proceedings International Conference on Fifth Generation Computer Systems","first-page":"263","article-title":"Constraint logic programming language CAL","author":"Aiba","year":"1988"},{"issue":"4","key":"10.1016\/0004-3702(92)90005-I_BIB2","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/0097-8493(85)90031-7","article-title":"On interval arithmetic range approximation methods of polynomials and rational functions","volume":"9","author":"Alander","year":"1985","journal-title":"Comput. Graph."},{"key":"10.1016\/0004-3702(92)90005-I_BIB3","author":"Alefeld","year":"1983"},{"key":"10.1016\/0004-3702(92)90005-I_BIB4","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","article-title":"Maintaining knowledge about temporal intervals","volume":"26","author":"Allen","year":"1983","journal-title":"Commun. ACM"},{"key":"10.1016\/0004-3702(92)90005-I_BIB5","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF02241750","article-title":"On computing the range of values","volume":"28","author":"Asaithambi","year":"1982","journal-title":"Computing"},{"issue":"2","key":"10.1016\/0004-3702(92)90005-I_BIB6","first-page":"125","article-title":"Logical arithmetic","volume":"2","author":"Cleary","year":"1987","journal-title":"Future Comput. Syst."},{"key":"10.1016\/0004-3702(92)90005-I_BIB7","first-page":"177","article-title":"Opening the Prolog III universe","author":"Colmerauer","year":"1987","journal-title":"Byte"},{"key":"10.1016\/0004-3702(92)90005-I_BIB8","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1016\/0004-3702(87)90091-9","article-title":"Constraint propagation with interval labels","volume":"32","author":"Davis","year":"1987","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(92)90005-I_BIB9","series-title":"Proceedings 3rd IEEE Conference on AI Applications","first-page":"224","article-title":"The cycle-cutset method for improving search performance in AI applications","author":"Dechter","year":"1987"},{"key":"10.1016\/0004-3702(92)90005-I_BIB10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(87)90002-6","article-title":"Network-based heuristics for constraint-satisfaction problems","volume":"34","author":"Dechter","year":"1988","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(92)90005-I_BIB11","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1016\/0004-3702(89)90037-4","article-title":"Tree clustering for constraint networks","volume":"38","author":"Dechter","year":"1989","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(92)90005-I_BIB12","series-title":"Towards Global Optimization","first-page":"29","article-title":"Towards a global optimization technique","author":"Dixon","year":"1974"},{"key":"10.1016\/0004-3702(92)90005-I_BIB13","series-title":"Knowledge Based Problem Solving","first-page":"213","article-title":"Knowledge engineering of the aircraft design process","author":"Elias","year":"1986"},{"issue":"1","key":"10.1016\/0004-3702(92)90005-I_BIB14","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/322290.322292","article-title":"A sufficient condition for backtrack-free search","volume":"29","author":"Freuder","year":"1982","journal-title":"J. ACM"},{"key":"10.1016\/0004-3702(92)90005-I_BIB15","article-title":"Algebraic constraints","author":"Gosling","year":"1983"},{"key":"10.1016\/0004-3702(92)90005-I_BIB16","series-title":"Reliability in Computing","first-page":"289","article-title":"An overview of global optimization using interval analysis","author":"Hansen","year":"1988"},{"key":"10.1016\/0004-3702(92)90005-I_BIB17","article-title":"CLP(R) and some electrical engineering problems","author":"Heintze","year":"1987"},{"key":"10.1016\/0004-3702(92)90005-I_BIB18","author":"Hostetter","year":"1991"},{"key":"10.1016\/0004-3702(92)90005-I_BIB19","series-title":"Proceedings IJCAI-89","first-page":"1193","article-title":"Constraint reasoning based on interval arithmetic","author":"Hyv\u00f6nen","year":"1989"},{"key":"10.1016\/0004-3702(92)90005-I_BIB20","first-page":"269","article-title":"Application conditions for interval constraint propagation","volume":"Vol. 1","author":"Hyv\u00f6nen","year":"1991"},{"key":"10.1016\/0004-3702(92)90005-I_BIB21","series-title":"Doctoral Dissertation","article-title":"Constraint reasoning with incomplete knowledge: the tolerance propagation approach","author":"Hyv\u00f6nen","year":"1991"},{"key":"10.1016\/0004-3702(92)90005-I_BIB22","series-title":"Proceedings 3rd Scandinavian Conference on Artificial Intelligence","first-page":"241","article-title":"Global consistency in interval constraint satisfaction","author":"Hyv\u00f6nen","year":"1991"},{"key":"10.1016\/0004-3702(92)90005-I_BIB23","series-title":"Proceedings First International Conference on Artificial Intelligence Applications on Wall Street","article-title":"Interval constraint spreadsheets for financial planning","author":"Hyv\u00f6nen","year":"1991"},{"key":"10.1016\/0004-3702(92)90005-I_BIB24","series-title":"Working notes of the AAAI-92 Workshop on Approximation and Abstraction of Computational Theories","article-title":"Solution abstraction in logical problem solving","author":"Hyv\u00f6nen","year":"1992"},{"key":"10.1016\/0004-3702(92)90005-I_BIB25","series-title":"Proceedings Fourteenth Conference on Principles of Programming Languages (POPL-87)","first-page":"111","article-title":"Constraint logic programming","author":"Jaffar","year":"1987"},{"key":"10.1016\/0004-3702(92)90005-I_BIB26","article-title":"Constraint logic programming","author":"Jaffar","year":"1986"},{"key":"10.1016\/0004-3702(92)90005-I_BIB27","series-title":"Proceedings Fourth International Conference on Logic Programming","article-title":"Methodology and implementation of a CLP system","author":"Jaffar","year":"1987"},{"key":"10.1016\/0004-3702(92)90005-I_BIB28","author":"Konopasek","year":"1984"},{"key":"10.1016\/0004-3702(92)90005-I_BIB29","first-page":"171","article-title":"Constraint logic programming","author":"Lassez","year":"1987","journal-title":"Byte"},{"issue":"3","key":"10.1016\/0004-3702(92)90005-I_BIB30","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MEX.1987.4307090","article-title":"Constraint logic programming and option trading","volume":"2","author":"Lassez","year":"1987","journal-title":"IEEE Expert"},{"key":"10.1016\/0004-3702(92)90005-I_BIB31","author":"Leler","year":"1988"},{"key":"10.1016\/0004-3702(92)90005-I_BIB32","first-page":"205","article-title":"Constraint satisfaction","volume":"Vol. 1","author":"Mackworth","year":"1987"},{"key":"10.1016\/0004-3702(92)90005-I_BIB33","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1016\/0004-3702(85)90041-4","article-title":"The complexity of some polynomial network consistency algorithms for constraint satisfaction problems","volume":"25","author":"Mackworth","year":"1985","journal-title":"Artif. Intell."},{"issue":"1","key":"10.1016\/0004-3702(92)90005-I_BIB34","doi-asserted-by":"crossref","first-page":"3","DOI":"10.3233\/AIC-1989-2101","article-title":"Constraint satisfaction problems: an overview","volume":"2","author":"Meseguer","year":"1989","journal-title":"AI Commun."},{"key":"10.1016\/0004-3702(92)90005-I_BIB35","author":"Moore","year":"1966"},{"key":"10.1016\/0004-3702(92)90005-I_BIB36","article-title":"SIAM Studies in Applied Mathematics","author":"Moore","year":"1979"},{"key":"10.1016\/0004-3702(92)90005-I_BIB37","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","article-title":"Probabilistic logic","volume":"28","author":"Nilsson","year":"1986","journal-title":"Artif. Intell."},{"key":"10.1016\/0004-3702(92)90005-I_BIB38","article-title":"Interval arithmetic specification","author":"Older","year":"1989"},{"key":"10.1016\/0004-3702(92)90005-I_BIB39","series-title":"Proceedings Canadian Conference on Electrical and Computer Engineering","article-title":"Extending Prolog with constraint arithmetic on real intervals","author":"Older","year":"1990"},{"key":"10.1016\/0004-3702(92)90005-I_BIB40","unstructured":"W. Older and A. Vellino, Constraint arithmetic on real intervals, in: F. Benhamou and A. Colmerauer, eds., Constraint Logic Programming, Collected Papers (MIT Press, Cambridge, MA, to appear)."},{"issue":"3","key":"10.1016\/0004-3702(92)90005-I_BIB41","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1093\/comjnl\/26.3.255","article-title":"Inferno: a cautious approach to uncertain inference","volume":"26","author":"Quinlan","year":"1983","journal-title":"Comput. J."},{"issue":"3","key":"10.1016\/0004-3702(92)90005-I_BIB42","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1137\/0717027","article-title":"Centred forms","volume":"17","author":"Ratscheck","year":"1980","journal-title":"SIAM J. Numer. Anal."},{"key":"10.1016\/0004-3702(92)90005-I_BIB43","author":"Ratscheck","year":"1984"},{"key":"10.1016\/0004-3702(92)90005-I_BIB44","author":"Shafer","year":"1976"},{"key":"10.1016\/0004-3702(92)90005-I_BIB45","year":"1990"},{"issue":"1","key":"10.1016\/0004-3702(92)90005-I_BIB46","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1007\/BF01933121","article-title":"Computation of rational interval functions","volume":"14","author":"Skelboe","year":"1974","journal-title":"BIT"},{"key":"10.1016\/0004-3702(92)90005-I_BIB47","author":"Stark","year":"1970"},{"key":"10.1016\/0004-3702(92)90005-I_BIB48","article-title":"The definition and implementation of a computer programming language based on constraints","author":"Steele","year":"1980"},{"key":"10.1016\/0004-3702(92)90005-I_BIB49","author":"Van Hentenryck","year":"1989"},{"key":"10.1016\/0004-3702(92)90005-I_BIB50","series-title":"The Psychology of Computer Vision","first-page":"19","article-title":"Understanding line drawings of scenes with shadows","author":"Waltz","year":"1975"},{"key":"10.1016\/0004-3702(92)90005-I_BIB51","series-title":"Proceedings IJCAI-89","first-page":"1453","article-title":"Extending the constraint propagation of intervals","author":"Ward","year":"1989"},{"key":"10.1016\/0004-3702(92)90005-I_BIB52","author":"Wolfram","year":"1988"}],"container-title":["Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029290005I?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:000437029290005I?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,17]],"date-time":"2020-03-17T22:34:06Z","timestamp":1584484446000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/000437029290005I"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,12]]},"references-count":52,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[1992,12]]}},"alternative-id":["000437029290005I"],"URL":"https:\/\/doi.org\/10.1016\/0004-3702(92)90005-i","relation":{},"ISSN":["0004-3702"],"issn-type":[{"value":"0004-3702","type":"print"}],"subject":[],"published":{"date-parts":[[1992,12]]}}}