{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:20:52Z","timestamp":1725488452762},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411840"},{"type":"electronic","value":"9783540408888"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40888-6_18","type":"book-chapter","created":{"date-parts":[[2007,8,7]],"date-time":"2007-08-07T02:23:54Z","timestamp":1186453434000},"page":"191-200","source":"Crossref","is-referenced-by-count":0,"title":["Combining Constraints and Consistency Techniques in Knowledge-Based Expert Systems"],"prefix":"10.1007","author":[{"given":"Ili\u00e9","family":"Popescu","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2000,12,15]]},"reference":[{"key":"18_CR1","unstructured":"F. Benhamou, Toura\u00efvane, \u201cProlog IV: langage et algorithmes\u201d, JFPL 95."},{"issue":"7","key":"18_CR2","first-page":"2","volume":"30","author":"A. Colmerauer","year":"1990","unstructured":"A. Colmerauer, \u201cAn introduction to Prolog III\u201d, Communications of the ACM, 30(7), 1990, pp. 2\u201368.","journal-title":"Communications of the ACM"},{"key":"18_CR3","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0004-3702(94)90021-3","volume":"65","author":"M.C. Cooper","year":"1994","unstructured":"M.C. Cooper, D.A. Cohen and P.G. Jeavons, \u201cCharacterizing tractable constraints, Artificial Intelligence 65 (1994), pp. 347\u2013361.","journal-title":"Artificial Intelligence"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/0004-3702(90)90046-3","volume":"41","author":"R. Dechter","year":"1990","unstructured":"R. Dechter, \u201cEnhancement schemes for constraint processing: Backjumping, learning, and curset decomposition\u201d, Artificial Intelligence 41, 1990, pp. 273\u2013312.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"18_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(87)90002-6","volume":"34","author":"R. Dechter","year":"1988","unstructured":"R. Dechter and J. Pearl, \u201cNetwork-based heuristics for constraint satisfaction problems, Artificial Intelligence 34(1), 1988, pp. 1\u201338.","journal-title":"Artificial Intelligence"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1145\/4221.4225","volume":"32","author":"E.C. Freuder","year":"1985","unstructured":"E.C. Freuder, \u201cA sufficient condition for backtrack-bounded search\u201d, J. ACM 32, 1985, pp. 755\u2013761.","journal-title":"J. ACM"},{"key":"18_CR7","unstructured":"J. Giarratano and G. Riley, \u201cExpert Systems: principles and programming\u201d, PWS Publishing, 1994."},{"issue":"1","key":"18_CR8","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(94)90003-5","volume":"66","author":"M. Gyssens","year":"1994","unstructured":"M. Gyssens, P.G. Jeavons and D.A. Cohen, \u201cDecomposing constraint satisfaction problems using database techniques, Artificial Intelligence 66(1), 1994, pp. 57\u201389.","journal-title":"Artificial Intelligence"},{"key":"18_CR9","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0004-3702(92)90020-X","volume":"27","author":"P.V. Hentenryck","year":"1992","unstructured":"P.V. Hentenryck, Y. Deville and C.-M. Teng, \u201cA generic arc consistency algorithm and its specializations\u201d, Artificial Intellligence 27, 1992, pp. 291\u2013322.","journal-title":"Artificial Intellligence"},{"issue":"3","key":"18_CR10","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1145\/129393.129398","volume":"14","author":"J. Jaffar","year":"1992","unstructured":"J. Jaffar, S. Michaijlov, P.J. Stuckey and R.H.C. Yap, \u201cThe CLP(R) Language and System\u201d, ACM Transactions on Programming Languages and Systems, Vol. 14, no 3, 1992, pp. 339\u2013395.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"J. Jaffar and J. Lassez, \u201cConstraint logic programming\u201d, POPL-87, 1987.","DOI":"10.1145\/41625.41635"},{"issue":"2","key":"18_CR12","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1016\/0004-3702(95)00107-7","volume":"79","author":"P.G. Jeavons","year":"1995","unstructured":"P.G. Jeavons and M.C. Cooper, \u201cTractable constraints on ordered domains\u201d, Artificial Intelligence 79(2), 1995, pp. 327\u2013339.","journal-title":"Artificial Intelligence"},{"key":"18_CR13","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0004-3702(93)90063-H","volume":"64","author":"L. Kirousis","year":"1993","unstructured":"L. Kirousis, \u201cFast parallel constraint satisfaction\u201d, Artificial Intelligence 64, 1993, pp. 147\u2013160.","journal-title":"Artificial Intelligence"},{"key":"18_CR14","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, \u201cConsistency in networks of relations\u201d, Artificial Intelligence 8, 1977, pp. 99\u2013118.","journal-title":"Artificial Intelligence"},{"key":"18_CR15","doi-asserted-by":"publisher","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, Inform. Sci. 7, 1974, pp. 95\u2013132.","journal-title":"Inform. Sci"},{"key":"18_CR16","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1016\/0004-3702(91)90059-S","volume":"48","author":"U. Montanari","year":"1991","unstructured":"U. Montanari and F. Rossi, \u201cConstraint relaxation may be perfect\u201d, Artificial Intelligence 48, 1991, pp. 143\u2013170.","journal-title":"Artificial Intelligence"},{"key":"18_CR17","unstructured":"U. Montanari, F. Rossi, \u201cPerfect Relaxation in Constraint Logic Programming\u201d, Proc. of the Eight International Conference on Logic Programming, 1991, pp. 223\u2013237."},{"key":"18_CR18","unstructured":"N.J. Nilson, \u201cProblem-Solving Methods in Artificial Intelligence\u201d, McGraw-Hill, 1971."},{"key":"18_CR19","unstructured":"W. Older, F. Benhamou, \u201cProgramming in CLP(BNR)\u201d, PPCP 94, Newport, RI (USA), 1994."},{"key":"18_CR20","unstructured":"I. Popescu, \u201cHierarchical Neural Network for Rules Control in Knowledge-Based Expert Systems\u201d, International Journal of Neural, Parallel and Scientific Computations, Dynamic Publishers, 1995, pp. 379\u2013391."},{"key":"18_CR21","unstructured":"I. Popescu and M. Zaremba, \u201cEfficient Method for Solving Systems of Constraints in Intelligent Systems\u201d, International Journal of Computers and Their Applications, 1995, pp. 96\u2013103."},{"key":"18_CR22","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1145\/210346.210347","volume":"42","author":"P. Beck van","year":"1995","unstructured":"P. van Beck and R. Dechter, \u201cOn the minimality and decomposability of row-convex constraint networks\u201d, J. ACM 42, 1995, pp. 543\u2013561.","journal-title":"J. ACM"},{"key":"18_CR23","doi-asserted-by":"crossref","unstructured":"F. Rossi, \u201cConstraint satisfaction problems in logic programming\u201d, SIGART Newsletter, 106, 1988.","DOI":"10.1145\/54350.54352"},{"key":"18_CR24","unstructured":"P. Van Hentenryck, \u201cConstraint Satisfaction in Logic Programming, MIT Press, 1989."}],"container-title":["Lecture Notes in Computer Science","Advances in Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40888-6_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:56:18Z","timestamp":1556740578000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40888-6_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411840","9783540408888"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-40888-6_18","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}