{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:08Z","timestamp":1725663968887},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540547129"},{"type":"electronic","value":"9783540464433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54712-6_220","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:12:02Z","timestamp":1330211522000},"page":"78-87","source":"Crossref","is-referenced-by-count":0,"title":["Negation as failure and constraints through abduction and defaults"],"prefix":"10.1007","author":[{"given":"L.","family":"Giordano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Martelli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. L.","family":"Sapino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"8_CR1","unstructured":"Eshghi K. and Kowalski R.A., \u201cAbduction Compared with Negation by Failure\u201d, in Proc. Int. Conf. on Logic Programming, pp. 134\u2013154, 1989."},{"key":"8_CR2","unstructured":"Geffner H., \u201cBeyond Negation as Failure\u201d, to appear in Proc. KR'91, Cambridge, USA, 1991."},{"key":"8_CR3","unstructured":"Gelfond M.and Lifschitz V., \u201cThe Stable Model Semantics for Logic Programming\u201d, in Proc. Fifth Int. Conf. and Symposium on Logic Programming, pp. 1070\u20131080, Seattle, 1988."},{"key":"8_CR4","unstructured":"Gelfond M. and Lifschitz V., \u201cLogic Programs with Classical Negation\u201d, in Proc. ICLP 90, pp.579\u2013597, Jerusalem, 1990."},{"key":"8_CR5","unstructured":"Giordano L. and Martelli A., \u201cGeneralized Stable Models, Truth Maintenance and Conflict Resolution\u201d, in Proc. ICLP 90, pp.427\u2013441, Jerusalem, 1990."},{"key":"8_CR6","unstructured":"Giordano L. and Martelli A., \u201cAn Abductive Characterization of the TMS\u201d, in Proc. ECAI 90, pp.308\u2013313, Stockholm, 1990."},{"key":"8_CR7","unstructured":"Giordano L. and Martelli A., \u201cThree-valued Labellings for Truth Maintenance Systems\u201d, in Proc. ISMIS 90, pp.506\u2013513, Knoxville, 1990."},{"key":"8_CR8","unstructured":"Kakas A.K. and Mancarella P., \u201cGeneralized Stable Models: a Semantics for Abduction\u201d, in Proc. ECAI 90, pp.385\u2013391, Stockholm, 1990."},{"key":"8_CR9","unstructured":"Kakas A.K. and Mancarella P., \u201cOn the Relation between Truth Maintenance and Abduction\u201d, in Proc. 1st Pacific Rim International Conference on AI, PRICAI90, Nagoya, Japan, 1990."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Marek W. and Truszczynski M., \u201cStable Semantics for Logic Programs and Default Theories\u201d, in Proc. NACLP 89, pp.243\u2013256, Cleveland, 1989.","DOI":"10.3233\/FI-1989-12209"},{"key":"8_CR11","unstructured":"Pimentel S.G. and Cuadrado J.L., \u201cA Truth Maintenance System Based on Stable Models\u201d, in Proc. NACLP 89, pp.274\u2013290, Cleveland, 1989."}],"container-title":["Lecture Notes in Computer Science","Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54712-6_220.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T14:13:09Z","timestamp":1713622389000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54712-6_220"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540547129","9783540464433"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-54712-6_220","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}