{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T15:09:02Z","timestamp":1648912142171},"reference-count":27,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2009,2,27]],"date-time":"2009-02-27T00:00:00Z","timestamp":1235692800000},"content-version":"unspecified","delay-in-days":5536,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIEDAM"],"published-print":{"date-parts":[[1994]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Spreadsheets are difficult to use in applications, where only incomplete or inexact data (e.g., intervals) are available-a typical situation in various design and planning tasks. It can be argued that this is due to two fundamental shortcomings of the computational paradigm underlying spreadsheets. First, the distinction between input and output cells has to be fixed before computations. Second, cells may have only exact values. As a result, spread-sheets support the user only with primitive iterative problem solving schemes based on trial-and-error methods. A constraint-based computational paradigm for next generation interval spreadsheets is presented. The scheme makes it possible to exploit incomplete\/inexact data (intervals), and it can support problem solving in a top-down fashion. Current spreadsheets constitute a special case of the more general interval constraint spreadsheets proposed.<\/jats:p>","DOI":"10.1017\/s0890060400000433","type":"journal-article","created":{"date-parts":[[2010,3,31]],"date-time":"2010-03-31T13:47:41Z","timestamp":1270043261000},"page":"27-34","source":"Crossref","is-referenced-by-count":1,"title":["Spreadsheets based on interval constraint satisfaction"],"prefix":"10.1017","volume":"8","author":[{"given":"Eero","family":"Hyv\u00f6nen","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2009,2,27]]},"reference":[{"key":"S0890060400000433_ref013","volume-title":"Proc. 1st Int. Conf. Artificial Intelligence Applications on Wall Street","author":"Hyv\u00f6nen","year":"1991"},{"key":"S0890060400000433_ref009","first-page":"1193","volume-title":"Proc. 11th IJCAI, Detroit","author":"Hyv\u00f6nen","year":"1989"},{"key":"S0890060400000433_ref008","volume-title":"Fourth IEEE Symposium on Logic Programming","author":"Heintze","year":"1987"},{"key":"S0890060400000433_ref007","unstructured":"Gosling J. (1983). Algebraic constraints. Dissertation. Carnegie-Mellon University, Pittsburgh, Pennsylvania."},{"key":"S0890060400000433_ref004","first-page":"99","article-title":"Constraint propagation with interval labels","volume":"8","author":"Davis","year":"1987","journal-title":"Art. Intell"},{"key":"S0890060400000433_ref020","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(85)90041-4"},{"key":"S0890060400000433_ref002","volume-title":"Introduction to Interval Computations","author":"Alefeld","year":"1983"},{"key":"S0890060400000433_ref001","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3156-4_27"},{"key":"S0890060400000433_ref018","volume-title":"Constraint Programming Languages. Their Specification and Generation","author":"Leler","year":"1988"},{"key":"S0890060400000433_ref025","volume-title":"New Computer Methods for Global Optimization","author":"Ratscheck","year":"1988"},{"key":"S0890060400000433_ref014","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90005-I"},{"key":"S0890060400000433_ref005","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(89)90037-4"},{"key":"S0890060400000433_ref012","first-page":"269","volume-title":"Proc. 11th Int. Workshop Expert Systems and Their Applications","author":"Hyv\u00f6nen","year":"1991"},{"key":"S0890060400000433_ref016","volume-title":"Constraint Programing","author":"Hyv\u00f6nen","year":"1993"},{"key":"S0890060400000433_ref015","first-page":"298","volume-title":"Proc. of 5th International Conference on Tools with Artificial Intelligence","author":"Hyv\u00f6nen","year":"1993"},{"key":"S0890060400000433_ref003","unstructured":"Colmerauer A. (1987). Opening the Prolog III universe. Byte (August), 177\u2013182."},{"key":"S0890060400000433_ref006","first-page":"213","volume-title":"Knowledge Based Problem Solving","author":"Elias","year":"1986"},{"key":"S0890060400000433_ref011","first-page":"241","volume-title":"Proc. 3rd Scandinavian Conf. Artificial Intelligence","author":"Hyv\u00f6nen","year":"1991"},{"key":"S0890060400000433_ref010","unstructured":"Hyv\u00f6nen E. (1991a). Constraint reasoning with incomplete knowledge. The tolerance propagation approach. Dissertation. Technical Research Centre of Finland, VTT Publications, Espoo, Finland."},{"key":"S0890060400000433_ref019","first-page":"205","volume-title":"Encyclopedia of Artificial Intelligence","author":"Mackworth","year":"1987"},{"key":"S0890060400000433_ref021","first-page":"3","article-title":"Constraint satisfaction problems: An overview","volume":"2","author":"Meseguer","year":"1989","journal-title":"Al Commun"},{"key":"S0890060400000433_ref023","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970906"},{"key":"S0890060400000433_ref022","volume-title":"Interval Analysis","author":"Moore","year":"1966"},{"key":"S0890060400000433_ref027","first-page":"19","volume-title":"The Psychology of Computer Vision","author":"Waltz","year":"1975"},{"key":"S0890060400000433_ref024","volume-title":"Computer Methods for the Range of Functions","author":"Ratscheck","year":"1984"},{"key":"S0890060400000433_ref026","unstructured":"Steele G.L. (1980). The definition and implementation of a computer programming language based on constraints. Dissertation. Massachusetts Institute of Technology, Cambridge, Massachusetts."},{"key":"S0890060400000433_ref017","volume-title":"The TK!Solver Book","author":"Konopasek","year":"1984"}],"container-title":["Artificial Intelligence for Engineering Design, Analysis and Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0890060400000433","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T19:41:12Z","timestamp":1557949272000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0890060400000433\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":27,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994]]}},"alternative-id":["S0890060400000433"],"URL":"https:\/\/doi.org\/10.1017\/s0890060400000433","relation":{},"ISSN":["0890-0604","1469-1760"],"issn-type":[{"value":"0890-0604","type":"print"},{"value":"1469-1760","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}