{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:06:13Z","timestamp":1725663973632},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540540298"},{"type":"electronic","value":"9783540473596"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54029-6_217","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:25:58Z","timestamp":1330208758000},"page":"675-686","source":"Crossref","is-referenced-by-count":1,"title":["Kernel knowledge versus belt knowledge in default reasoning: A logical approach"],"prefix":"10.1007","author":[{"given":"M. A.","family":"Nati Abdallah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"69_CR1","volume-title":"Reasoning from incomplete information, Research notes in AI","author":"D. Etherington","year":"1987","unstructured":"Etherington D. Reasoning from incomplete information, Research notes in AI, Pitman, London (1987)"},{"key":"69_CR2","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"S. Hanks","year":"1987","unstructured":"Hanks S., and McDermott D. Nonmonotonic logic and temporal projection, Artificial Intelligence 33, (1987), pp. 379\u2013412","journal-title":"Artificial Intelligence"},{"key":"69_CR3","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1016\/0004-3702(88)90021-5","volume":"35","author":"K. Konolige","year":"1988","unstructured":"Konolige K. On the relation between default and autoepistemic logic, Artificial Intelligence 35, (1988), pp. 343\u2013382","journal-title":"Artificial Intelligence"},{"key":"69_CR4","first-page":"91","volume-title":"Problems in the Philosophy of Science","author":"I. Lakatos","year":"1970","unstructured":"Lakatos I. Falsification and the methodology of scientific research programmes, in Problems in the Philosophy of Science, Lakatos and Musgrave (eds.), North Holland, Amsterdam (1970), pp. 91\u2013196"},{"key":"69_CR5","doi-asserted-by":"crossref","unstructured":"Nait Abdallah M. A. The local approach to programming language theory, in Continuous Lattices and Their Applications, Hoffmann and Hofmann (eds.), Marcel Dekker, (1985), pp 219\u2013236","DOI":"10.1201\/9781003072621-13"},{"key":"69_CR6","first-page":"339","volume":"380","author":"M. A. Nait Abdallah","year":"1989","unstructured":"Nait Abdallah M. A. An extended framework for default reasoning, Springer LNCS 380 (1989), pp. 339\u2013348","journal-title":"LNCS"},{"key":"69_CR7","unstructured":"Nait Abdallah M. A. Default ionic logic: A continuous framework for reasoning with partial information (1990), (University of Western Ontario)"},{"key":"69_CR8","unstructured":"Poole D. A logical framework for default reasoning, U. of Waterloo report CS-87-59 (1987)"},{"key":"69_CR9","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter R. A logic for default reasoning, Artificial Intelligence 13, (1980), pp. 81\u2013132","journal-title":"Artificial Intelligence"},{"key":"69_CR10","unstructured":"Somb\u00e9 L. Inf\u00e9rences non-classiques en intelligence artificielle in Actes des Journees Nationales Intelligence Artificielle, D. Pastre ed., Teknea (1988) pp. 137\u2013230"}],"container-title":["Lecture Notes in Computer Science","Advances in Computing and Information \u2014 ICCI '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54029-6_217.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:36:30Z","timestamp":1640921790000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54029-6_217"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540540298","9783540473596"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-54029-6_217","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}