{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:42Z","timestamp":1725663522390},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540531043"},{"type":"electronic","value":"9783540467113"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53104-1_44","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:58:56Z","timestamp":1330207136000},"page":"217-232","source":"Crossref","is-referenced-by-count":6,"title":["Dynamic constraint satisfaction in a bridge design system"],"prefix":"10.1007","author":[{"given":"Kefeng","family":"Hua","sequence":"first","affiliation":[]},{"given":"Boi","family":"Faltings","sequence":"additional","affiliation":[]},{"given":"Djamila","family":"Haroud","sequence":"additional","affiliation":[]},{"given":"Graham","family":"Kimberley","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Smith","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"A. Borning, et al. \u201cConstraint Hierarchies\u201d Proceedings of OOPSLA 1987","DOI":"10.1145\/38765.38812"},{"key":"18_CR2","unstructured":"Paul R. Cooper and Michael J. Swain \u201cDomain Dependence in Parallel Constraint Satisfaction\u201d IJCAI89 pp. 54"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Ernest Davis \u201cConstraint Propagation With Interval Labels\u201d Artificial Intelligence, 32, 1987.","DOI":"10.1016\/0004-3702(87)90091-9"},{"key":"18_CR4","unstructured":"R. Dechter, J. Pearl \u201cA Tree-clustering Scheme for Constraint Processing\u201d AAAI88"},{"key":"18_CR5","unstructured":"Rina Dechter and Avi Dechter \u201cBelief Maintenance in Dynamic Constraint Networks\u201d AAAI88, pp37\u201342"},{"key":"18_CR6","unstructured":"Rina Dechter and Italy Meiri \u201cTechniques in Constraint Satisfaction Problems\u201d IJCAI89 pp. 271"},{"key":"18_CR7","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0004-3702(85)90053-0","volume":"27","author":"Y. Descotte","year":"1985","unstructured":"Y. Descotte, J.C. Latombe 1985 \u201cMaking Compromises among Antagonist Constraints in a Planner\u201d Artificial Intelligence 27(1985) pp.183\u2013217.","journal-title":"Artificial Intelligence"},{"key":"18_CR8","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Jon Doyle \u201cA Truth Maintenance System\u201d Artificial Intelligence 12, 1979. pp.127\u2013162","journal-title":"Artificial Intelligence"},{"key":"18_CR9","unstructured":"\u201cAn Architecture for Design in Large Domains\u201d The third IFIP WG 5.2 workshop on ICAD 1989"},{"key":"18_CR10","unstructured":"Marks S. Fox, Norman Sadeh and Can Baykan \u201cConstrained Heuristic Search\u201d IJCAI89 pp. 309"},{"issue":"1","key":"18_CR11","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/322290.322292","volume":"29","author":"E.C. Freuder","year":"1982","unstructured":"E.C. Freuder \u201cA sufficient Condition of Backtrack-free Search\u201d Journal of the ACM, Vol.29, No. 1, January 1982, pp.24\u201332","journal-title":"Journal of the ACM"},{"key":"18_CR12","unstructured":"E. C. Freuder \u201cPartial Constraint Satisfaction\u201d IJCAI89 pp. 278"},{"key":"18_CR13","unstructured":"W. S. Havens and Paul Stephen Rehfuss \u201cPlatypus: A Constraint-based Reasoning System\u201d IJCAI89 pp. 48"},{"key":"18_CR14","unstructured":"Kefeng Hua, Boi Faltings. I. Smith \u201cDefault Reasoning in a Bridge Design System\u201d IFIP, The Third Workshop on ICAD, Osaka, Japan. 1989"},{"key":"18_CR15","doi-asserted-by":"crossref","unstructured":"L. Kanal, V. Kumar \u201cSearch in Artificial Intelligence\u201d Sprinnger-Verlag 1988","DOI":"10.1007\/978-1-4613-8788-6"},{"key":"18_CR16","doi-asserted-by":"crossref","unstructured":"Johan de Kleer \u201cAn Assumption-based TMS\u201d Artificial Intelligence 28, 1986","DOI":"10.1016\/0004-3702(86)90080-9"},{"key":"18_CR17","unstructured":"Johan de Kleer \u201cA Comparison of ATMS and CSP Techniques\u201d IJCAI89 pp.290"},{"key":"18_CR18","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 \u201cConsistency in networks of relations\u201d Artificial Intelligence, 8 (1977) 99\u2013118","journal-title":"Artificial Intelligence"},{"key":"18_CR19","unstructured":"S. Mittal, F. Frayman \u201cMaking Partial Choices in Constraint Reasoning Problems\u201d AAAI87 pp.631\u2013638"},{"key":"18_CR20","unstructured":"S. Mittal \u201cTowards a Generic Model of Configuration Tasks\u201d Xerox PARC. SSL Technical Report [P88-00197]"},{"key":"18_CR21","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 \u201cNetworks of Constraints: Fundamental Properties and Applications to Picture Processing\u201d Information Science 7 (1974) 95\u2013132","journal-title":"Information Science"},{"key":"18_CR22","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter \u201cA Logic for Default Reasoning\u201d Artificial Intelligence 13, 1980. pp. 81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"18_CR23","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0004-3702(77)90029-7","volume":"9","author":"R.M. Stallman","year":"1977","unstructured":"R.M. Stallman, G.S. Sussman \u201cForward Reasoning and Dependency-directed Backtracking in a System for Computer-aided Circuit Analysis\u201d Artificial Intelligence 9 (1977) 135\u2013196.","journal-title":"Artificial Intelligence"},{"key":"18_CR24","doi-asserted-by":"crossref","unstructured":"M. Stefik \u201cPlanning with Constraints(Molgen:Part 1)\u201d Artificial Intelligence 16 (1981)","DOI":"10.1016\/0004-3702(81)90007-2"},{"key":"18_CR25","unstructured":"Monte Zweben and Megan Eskey \u201cConstraint Satisfaction With Delayed Evaluation\u201d IJCAI89, pp. 875"}],"container-title":["Lecture Notes in Computer Science","Expert Systems in Engineering Principles and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53104-1_44.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:26:38Z","timestamp":1605648398000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53104-1_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540531043","9783540467113"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-53104-1_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}