{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:29:08Z","timestamp":1725636548477},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540508847"},{"type":"electronic","value":"9783642837395"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/978-3-642-83739-5_8","type":"book-chapter","created":{"date-parts":[[2011,11,21]],"date-time":"2011-11-21T14:31:39Z","timestamp":1321885899000},"page":"218-260","source":"Crossref","is-referenced-by-count":0,"title":["Formalizing Local Constraint Propagation Methods"],"prefix":"10.1007","author":[{"given":"Angelika","family":"Vo\u03b2","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Vo\u03b2","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","volume-title":"Special Volume on Qualitiative Reasoning about Physical Systems","author":"Artificial Intelligence","year":"1984","unstructured":"Artificial Intelligence (1984), Vol.24, Numbers 1\u20133, Special Volume on Qualitiative Reasoning about Physical Systems."},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Allen, J. F. : Maintaining Knowledge about Temporal Intervals. CACM, Vol.26, No.11, pp. 832\u2013843.","DOI":"10.1145\/182.358434"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Allen, J. F. : Towards a General Theory of Action and Time. Artificial Intelligence, Vol.23, pp. 123\u2013154.","DOI":"10.1016\/0004-3702(84)90008-0"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Davis, R. : Diagnostic Reasoning Based on Structure and Behavior. in [AI-Journal 84], pp. 347\u2013410.","DOI":"10.1016\/B978-0-444-87670-6.50010-8"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"deKleer, J., Brown, J. S. : A Qualitative Physics Based on Confluences. in [AI-Journal 84], pp. 7\u201383.","DOI":"10.1016\/B978-0-444-87670-6.50005-4"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Descotte, Y., Latombe, J. C. : Making Compromises among Antagonist Constraints in a Planner. Artificial Intelligence, Vol.27, No.2, pp. 183\u2013217.","DOI":"10.1016\/0004-3702(85)90053-0"},{"key":"8_CR7","volume-title":"ISIS -A Constraint Directed Reasoning Approach to Job Shop Scheduling","author":"MS Fox","year":"1983","unstructured":"Fox, M. S., Allen, B. P., Smith, S. F., Strohm, G. A. : ISIS -A Constraint Directed Reasoning Approach to Job Shop Scheduling. CMU-RI-83-3, The Robotics Institute, Carnegie-Mellon University, Pittsburgh, 1983."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Freuder, E. C. : Synthesizing Constraint Expressions. Communications Of the ACM, Vol.21, No.11, pp.958\u2013966.","DOI":"10.1145\/359642.359654"},{"key":"8_CR9","volume-title":"Performance Measurement and Analysis of Certain Search Algorithms","author":"JG Gaschnig","year":"1979","unstructured":"Gaschnig, J. G. : Performance Measurement and Analysis of Certain Search Algorithms. PhD Thesis, Carnegie-Mellon University, Pittsburgh, 1979."},{"key":"8_CR10","volume-title":"Algebraic Constraints","author":"J Gosling","year":"1983","unstructured":"Gosling, J. : Algebraic Constraints. CMU-CS-83-132, Dep. of Computer Science, Carnegie-Mellon University, May 1983."},{"key":"8_CR11","volume-title":"The Use of Parallelism to Implement a Heuristic Search","author":"WA Kornfeld","year":"1981","unstructured":"Kornfeld, W. A. : The Use of Parallelism to Implement a Heuristic Search. Proc. 7th IJCAI, 1981."},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0004-3702(77)90007-8","volume":"8","author":"AK Mackworth","year":"1977","unstructured":"Mackworth, A. K. : Consistency in Networks of Relations. Artificial Intelligence 8, pp. 99\u2013118, 1977.","journal-title":"Artificial Intelligence"},{"key":"8_CR13","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0004-3702(85)90041-4","volume":"25","author":"AK Mackworth","year":"1985","unstructured":"Mackworth, A. K., Freuder, E. : The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems. Artificial intelligence 25, p. 65, 1985.","journal-title":"Artificial intelligence"},{"key":"8_CR14","volume-title":"An Outlook on Truth Maintenance","author":"DA McAllester","year":"1980","unstructured":"McAllester, D. A. : An Outlook on Truth Maintenance. AI-Lab Memo 551, AI-Lab, Massachusets Institute of Technology, Cambridge, 1980."},{"key":"8_CR15","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0020-0255(74)90008-5","volume":"7","author":"U Montanari","year":"1974","unstructured":"Montanari, U. : Networks of Constraints: Formal Properties and Applications to Picture Processing. Information Sciences 7, pp. 95\u2013132, 1974.","journal-title":"Information Sciences"},{"key":"8_CR16","volume-title":"Consistent Labelling Problems and their Algorithms: Expected Complexities and Theory-Based Heuristics","author":"B Nudel","year":"1983","unstructured":"Nudel, B. : Consistent Labelling Problems and their Algorithms: Expected Complexities and Theory-Based Heuristics. Artificial Intelligence 21, 1983."},{"key":"8_CR17","unstructured":"Reinfrank, M. T. : SCENELAB, Scene Labelling by a Society of Agents. A Distributed Constraint Propagation System., Memo SEKI-85-06, Fachbereich Informatik, Universit\u00e4t Kaiserslautern."},{"key":"8_CR18","volume-title":"Scene Labelling by Relaxation Operations","author":"A Rosenfeld","year":"1976","unstructured":"Rosenfeld, A., Hummel, R. A., Zucker, S. : Scene Labelling by Relaxation Operations. IEEE Transactions on SMC 6(6), 1976."},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Stallman, R. M.; Sussman, G. J. : Forward Reasoning and Dependency-Directed Backtracking in a System for Computer-Aided Circuit Analysis, Artificial Intelligence Vol.9, pp.135\u2013196.","DOI":"10.1016\/0004-3702(77)90029-7"},{"key":"8_CR20","unstructured":"Steele, G. L. Jr.: The Definition and Implementation of a Computer Programming Language Based on Constraints, MIT AILab., AI-TR-595."},{"key":"8_CR21","first-page":"75","volume-title":"Constraints as Consultants","author":"L Steels","year":"1984","unstructured":"Steels, L. : Constraints as Consultants. ECAI 1984, pp. 75\u201378."},{"key":"8_CR22","unstructured":"Stoyan, Herbert : Rechnen mit Relationen, Universit\u00e4t Erlangen, Manuskript."},{"key":"8_CR23","doi-asserted-by":"crossref","unstructured":"Sussman, G., Steele, G. L. Jr. : CONSTRAINTS -a Language for Expressing Almost-Hierarchical Descriptions. Artificial Intelligence 14, pp. 1\u201340.","DOI":"10.1016\/0004-3702(80)90032-6"},{"key":"8_CR24","first-page":"19","volume-title":"The Psychology of Computer Vision","author":"D Waltz","year":"1975","unstructured":"Waltz, D. : Understanding Line Drawings of Scenes with Shadows. in \u2019The Psychology of Computer Vision\u00bb, P. H. Winston (ed.), McGraw-Hill Book Company 1975, pp. 19\u201391."},{"key":"8_CR25","doi-asserted-by":"crossref","unstructured":"Williams, B. C. : Qualitative Analysis of MOS Circuits. in [AI-Journal 84], pp. 281\u2013346.","DOI":"10.1016\/B978-0-444-87670-6.50009-1"}],"container-title":["Informatik-Fachberichte","K\u00fcnstliche Intelligenz"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-83739-5_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,26]],"date-time":"2020-11-26T18:43:21Z","timestamp":1606416201000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-83739-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540508847","9783642837395"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-83739-5_8","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1989]]}}}