{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:04Z","timestamp":1725664144314},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572343"},{"type":"electronic","value":"9783540479826"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57234-1_55","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:31:28Z","timestamp":1330259488000},"page":"541-552","source":"Crossref","is-referenced-by-count":0,"title":["Resolution of constraint inconsistency with the aim to provide support in anaesthesia"],"prefix":"10.1007","author":[{"given":"Ernest","family":"Rotterdam","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sieger","family":"Denneheuvel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pim","family":"Hennis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Emde Boas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"55_CR1","unstructured":"Alan Borning. Thinglab: A Constraint-Based Simulation Laboratory. PhD thesis, Computer Science Department, Stanford University, 1979."},{"key":"55_CR2","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1145\/38765.38812","volume-title":"Proc. OOPSLA-87","author":"A. Borning","year":"1987","unstructured":"Alan Borning, Robert Duisberg, Bjorn Freeman-Benson, Axel Kramer, and Michael Woolf. Constraint hierarchies. In Norman Meyrowitz, editor, Proc. OOPSLA-87, pages 48\u201360, New York: NY, 1987. ACM Press."},{"key":"55_CR3","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1016\/0004-3702(87)90091-9","volume":"32","author":"D. Ernest","year":"1987","unstructured":"Ernest Davis. Constraint propagation with interval labels. Artificial Intelligence, 32:281\u2013331, 1987.","journal-title":"Artificial Intelligence"},{"key":"55_CR4","first-page":"559","volume-title":"Proc. DEXA-91","author":"S. Denneheuvel van","year":"1991","unstructured":"S. van Denneheuvel, K.L. Kwast, P. van Emde Boas, F. de Geus, and E. Rotterdam. Symbolic computation in RL\/1. In Proc. DEXA-91, pages 559\u2013564, Berlin, 1991. Springer Verlag."},{"key":"55_CR5","unstructured":"Sieger van Denneheuvel. Constraint Solving on Database Systems; University of Amsterdam, department of Mathematics and Information Science, October 1991."},{"issue":"1","key":"55_CR6","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/76372.77531","volume":"33","author":"Bjorn N. N. Freeman-Benson","year":"1990","unstructured":"Bjorn N. Freeman-Benson, John Maloney, and Alan Borning. An incremental constraint solver. Communications of the ACM, 33(1):54\u201363, January 1990.","journal-title":"Communications of the ACM"},{"key":"55_CR7","volume-title":"PhD thesis","author":"A. F. Geus de","year":"1992","unstructured":"A. Fred de Geus and Ernest P. Rotterdam. Decision Support in Anaesthesia. PhD thesis, State University of Groningen, Faculty of Medicine, The Netherlands, December 1992."},{"key":"55_CR8","unstructured":"Wm. Leler. Constraint Programming Languages; Their Specification and Generation. Addison Wesley, 1988."},{"issue":"1","key":"55_CR9","doi-asserted-by":"publisher","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"},{"key":"55_CR10","unstructured":"A.K. Mackworth. Constraint satisfaction. In Stuart C. Shapiro, editor, Encyclopedia of AI, pages 205\u2013211. John Wiley & Sons, 1987."},{"key":"55_CR11","volume-title":"working document. RJ 4869 (51299)","author":"P. Emde Boas van","year":"1985","unstructured":"Peter van Emde Boas. RL, a language for enhanced rule based database processing, working document. RJ 4869 (51299), IBM Research Laboratory, San Jose: CA 95193, 1985."},{"key":"55_CR12","first-page":"78","volume-title":"Proc. MFCS 12 Bratislava","author":"P. Emde Boas van","year":"1986","unstructured":"Peter van Emde Boas. A semantical model for integration and modularization of rules. In Proc. MFCS 12 Bratislava, pages 78\u201392, Berlin, August 1986. Springer Verlag."},{"key":"55_CR13","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge: MA, 1989."}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57234-1_55.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:01:56Z","timestamp":1619571716000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57234-1_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572343","9783540479826"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-57234-1_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}