{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:30Z","timestamp":1725664950887},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540614791"},{"type":"electronic","value":"9783540686019"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61479-6_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:44:03Z","timestamp":1330292643000},"page":"151-170","source":"Crossref","is-referenced-by-count":5,"title":["Defeasible constraint solving"],"prefix":"10.1007","author":[{"given":"Francisco","family":"Menezes","sequence":"first","affiliation":[]},{"given":"Pedro","family":"Barahona","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"5_CR1","first-page":"149","volume-title":"Constraints hierarchies and logic programming","author":"A. Borning","year":"1989","unstructured":"A. Borning, M. Maher, A. Martingale, and M. Wilson. Constraints hierarchies and logic programming. Logic Programming: Proceedings of the 6th International Conference, pages 149\u2013164, Lisbon, Portugal, June 1989. The MIT Press."},{"key":"5_CR2","unstructured":"C. Codognet, P. Codognet, and G. Fil\u00e9. Yet Another Intelligent Backtracking Method. In Proceedings of 5th ICLP\/SLP, Seattle, 1988."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"R. Davis and W. Hamscher. Model-based Reasoning: Troubleshooting. Exploring Artificial Intelligence, chapter 8, pages 297\u2013379. Morgan Kaufmann Publisher, INC., 1988.","DOI":"10.1016\/B978-0-934613-67-5.50012-5"},{"key":"5_CR4","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1016\/0004-3702(86)90082-2","volume":"28","author":"J. Kleer de","year":"1986","unstructured":"J. de Kleer. Problem Solving with the ATMS. Artificial Intelligence, 28:197\u2013224, 1986.","journal-title":"Artificial Intelligence"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"J. Doyle. A Truth Maintenance System. Artificial Intelligence, 12:231\u2013272, 1979.","journal-title":"Artificial Intelligence"},{"key":"5_CR6","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completness","author":"M. R. Garey","year":"1979","unstructured":"Michael R. Garey and David S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completness. W.H.Freeman and Company, New York, 1979."},{"key":"5_CR7","unstructured":"U. Junker. Generating Diagnoses by Prioritized Defaults. In Working Notes of 2nd International Workshop on Principles of Diagnosis, Milano, 1991."},{"key":"5_CR8","unstructured":"Vipin Kumar. Algorithms for Constraint-Satisfaction-Problems: A Survey. AI Magazine, pages 32\u201344, Spring 1992."},{"key":"5_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":"Alan K. Mackworth. Consistency in Networks of Relations. Artificial Intelligence, 8:99\u2013118, 1977.","journal-title":"Artificial Intelligence"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/0004-3702(85)90041-4","volume":"25","author":"A. K. Mackworth","year":"1985","unstructured":"Alan K. Mackworth and Eugene C. Freuder. The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems. Artificial Intelligence, 25:65\u201374, 1985.","journal-title":"Artificial Intelligence"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"F. Menezes and P. Barahona. Preliminary Formalization of an Incremental Hierarchical Constraint Solver. In Proceedings of EPIA '93, Porto, October 1993.","DOI":"10.1007\/3-540-57287-2_54"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"F. Menezes and P. Barahona. An Incremental Hierarchical Constraint Solver. Principles and Practice of Constraint Programming, MIT Press, 1994.","DOI":"10.1007\/3-540-57287-2_54"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"L. M. Pereira, C. Dam\u00e1sio, and J. J. Alferes. Diagnosis and Debugging as Contradiction Removal. 2nd Int. Ws. on Logic Programming and NonMonotonic Reasoning, pages 316\u2013330. MIT Press, 1993.","DOI":"10.1007\/3-540-57287-2_47"},{"key":"5_CR14","unstructured":"Luis Moniz Pereira and M. Bruynooghe. Deduction Revision by Intelligent Backtracking. Implementations of Prolog, pages 194\u2013215. J.A. Campbell, 1984."},{"key":"5_CR15","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"D. Poole. A Logical Framework for Default Reasoning. Artificial Intelligence, 36:27\u201347, 1988.","journal-title":"Artificial Intelligence"},{"key":"5_CR16","first-page":"101","volume-title":"Test Generation using the Constraint Logic Programming Language CHIP","author":"H. Simonis","year":"1989","unstructured":"H. Simonis. Test Generation using the Constraint Logic Programming Language CHIP. Logic Programming: Proceedings of the 6th International Conference, pages 101\u2013112, Lisbon, Portugal, June 1989. The MIT Press."},{"key":"5_CR17","volume-title":"Technical Report RR 91-22","author":"P. Hentenryck Van","year":"1991","unstructured":"P. Van Hentenryck, Y. Deville, and C.-M. Teng. A Generic Arc Consistency Algorithm and its Specializations. Technical Report RR 91-22, K.U. Leuven, F.S.A., December 1991."}],"container-title":["Lecture Notes in Computer Science","Over-Constrained Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61479-6_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:32:29Z","timestamp":1619573549000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61479-6_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540614791","9783540686019"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-61479-6_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}