{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:04:41Z","timestamp":1725566681594},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540285663"},{"type":"electronic","value":"9783540317296"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11546924_83","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:09:19Z","timestamp":1127830159000},"page":"848-857","source":"Crossref","is-referenced-by-count":2,"title":["Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis"],"prefix":"10.1007","author":[{"given":"M. T.","family":"G\u00f3mez-L\u00f3pez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R. M.","family":"Gasca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Del Valle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"F. T.","family":"de la Rosa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"83_CR1","doi-asserted-by":"crossref","unstructured":"Kuper, G.M., Kanellakis, P.C., Revesz, P.Z.: Constraint query languages. In: Symposium on Principles of Database Systems, pp. 299\u2013313 (1990)","DOI":"10.1145\/298514.298582"},{"key":"83_CR2","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1007\/978-3-662-04031-7_7","volume-title":"Constraint Databases","author":"P. Revesz","year":"2000","unstructured":"Revesz, P.: Datalog and constraints. In: Kuper, G., et al. (eds.) Constraint Databases, pp. 155\u2013170. Springer, Heidelberg (2000)"},{"key":"83_CR3","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1145\/342009.336590","volume-title":"Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data","author":"P.Z. Revesz","year":"2000","unstructured":"Revesz, P.Z., Chen, R., Kanjamala, P., Li, Y., Liu, Y., Wang, Y.: The mlpq\/gis constraint database system. In: Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, Dallas, Texas, USA, May 16-18, p. 601. ACM, New York (2000)"},{"key":"83_CR4","doi-asserted-by":"crossref","unstructured":"Grumbach, S., Rigaux, P., Segoufin, L.: The dedale system for complex spatial queries. In: SIGMOD Conference, pp. 213\u2013224 (1998)","DOI":"10.1145\/276304.276324"},{"key":"83_CR5","doi-asserted-by":"publisher","first-page":"577","DOI":"10.1145\/304182.304582","volume-title":"SIGMOD 1999: Proceedings of the 1999 ACM SIGMOD international conference on Management of data","author":"A. Brodsky","year":"1999","unstructured":"Brodsky, A., Segal, V.E., Chen, J., Exarkhopoulo, P.A.: The ccube constraint object-oriented database system. In: SIGMOD 1999: Proceedings of the 1999 ACM SIGMOD international conference on Management of data, pp. 577\u2013579. ACM Press, New York (1999)"},{"key":"83_CR6","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"R. Davis","year":"1984","unstructured":"Davis, R.: Diagnostic reasoning based on structure and behavior. Artificial Intelligence\u00a024, 347\u2013410 (1984)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"83_CR7","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1), 57\u201396 (1987)","journal-title":"Artificial Intelligence"},{"key":"83_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-540-25954-1_5","volume-title":"Constraint Databases and Applications","author":"M.T. G\u00f3mez-L\u00f3pez","year":"2004","unstructured":"G\u00f3mez-L\u00f3pez, M.T., Ceballos, R., Gasca, R.M., Del Valle, C.: Applying constraint databases in the determination of potential minimal conflicts to polynomial model-based diagnosis. In: Kuijpers, B., Revesz, P.Z. (eds.) CDB 2004. LNCS, vol.\u00a03074, pp. 74\u201387. Springer, Heidelberg (2004)"},{"key":"83_CR9","doi-asserted-by":"crossref","unstructured":"Buchberger, B.: Gr\u00f6bner bases: An algorithmic method in polynomial ideal theory. In: Bose, N.K. (ed.) Multidimensional Systems Theory, pp. 184\u2013232 (1985)","DOI":"10.1007\/978-94-009-5225-6_6"},{"issue":"5","key":"83_CR10","doi-asserted-by":"publisher","first-page":"740","DOI":"10.1109\/69.243506","volume":"5","author":"A. Croker","year":"1993","unstructured":"Croker, A., Dhar, V.: A knowledge representation for constraint satisfaction problems. IEEE Trans. Knowl. Data Eng.\u00a05(5), 740\u2013752 (1993)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"83_CR11","unstructured":"Reference Manual. Ilog opl studio 3.6 (April 2001)"},{"key":"83_CR12","unstructured":"Reference Manual. Jsolver 2.1 (April 2003)"}],"container-title":["Lecture Notes in Computer Science","Database and Expert Systems Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11546924_83","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,9]],"date-time":"2020-04-09T22:48:15Z","timestamp":1586472495000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11546924_83"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540285663","9783540317296"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11546924_83","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}