{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:05:23Z","timestamp":1725663923879},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540546597"},{"type":"electronic","value":"9783540464266"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54659-6_92","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:07:40Z","timestamp":1330211260000},"page":"219-226","source":"Crossref","is-referenced-by-count":13,"title":["Computing extensions of default theories"],"prefix":"10.1007","author":[{"given":"F.","family":"L\u00e9vy","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"35_CR1","unstructured":"E Bonte, F. Levy: \u201cUne proc\u00e9dure compl\u00e8te de calcul des extensions pour les th\u00e9ories de d\u00e9fauts en r\u00e9seau\u201d 7\u00e8me congr\u00e8s AFCET-RFIA, Paris, D\u00e9cembre 1989"},{"key":"35_CR2","unstructured":"Michel Cayrol, Pierre Tayrac: \u201cARC: un ATMS \u00e9tendu\u201d. L.S.I. Repport n\u2134 323 Nov 1989"},{"key":"35_CR3","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer De","year":"1986","unstructured":"Johan De Kleer: \u201cAn assumption-based TMS\u201d. Artificial Intelligence vol 28 1986 127\u2013162","journal-title":"Artificial Intelligence"},{"key":"35_CR4","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/0004-3702(86)90081-0","volume":"28","author":"J. Kleer De","year":"1986","unstructured":"Johan De Kleer: \u201cExtending the A.T.M.S.\u201d. Artificial Intelligence vol 28 1986 163\u2013196","journal-title":"Artificial Intelligence"},{"key":"35_CR5","unstructured":"O. Dressler: \u201cExtending the Basic A.T.M.S.\u201d Proceedings Ecai 88, M\u00fcnchen, Aug. 1988"},{"key":"35_CR6","doi-asserted-by":"crossref","unstructured":"David W. Etherington: \u201cFormalizing Nonmonotonic Reasoning Systems\u201d. Artificial Intelligence vol 31 1987","DOI":"10.1016\/0004-3702(87)90081-6"},{"key":"35_CR7","unstructured":"Ulrich Junker: \u201cA Correct Non-Monotonic A.T.M.S.\u201d Proceedings IJCAI 89, Detroit, Aug 1989 1049\u20131053"},{"key":"35_CR8","unstructured":"Fran\u00e7ois Levy \u201cContribution \u00e0 la r\u00e9alisation d'un raisonneur \u00e0 profondeur variable\u201d Th\u00e9se d'universit\u00e9, Universit\u00e9 de Paris Nord, Feb. 1989"},{"key":"35_CR9","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Raymond Reiter: \u201cA logic for default reasoning\u201d Artificial Intelligence vol 13 april 1980 81\u2013132","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Symbolic and Quantitative Approaches to Uncertainty"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54659-6_92.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:56:13Z","timestamp":1605646573000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54659-6_92"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540546597","9783540464266"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-54659-6_92","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}