{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:47Z","timestamp":1725456227650},"publisher-location":"Berlin\/Heidelberg","reference-count":11,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354019343X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0012860","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T06:12:39Z","timestamp":1132726359000},"page":"592-601","source":"Crossref","is-referenced-by-count":5,"title":["Supposition-based logic for automated nonmonotonic reasoning"],"prefix":"10.1007","author":[{"given":"Philippe","family":"Besnard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Siegel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"41_CR1","unstructured":"Besnard, Quiniou & Quinton (1983) A theorem-prover for a decidable subset of default logic, Proc. AAAI-83, 27\u201330."},{"key":"41_CR2","unstructured":"Boolos (1979) The unprovability of consistency, Cambridge University Press."},{"key":"41_CR3","unstructured":"Bossu & Siegel (1982) Nonmonotonic reasoning and databases, in: Advances in database theory (ed. Gallaire, Minker & Nicolas), Plenum Press, 239\u2013284."},{"key":"41_CR4","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1016\/0004-3702(85)90040-2","volume":"25","author":"Bossu","year":"1985","unstructured":"Bossu & Siegel (1985) Saturation, nonmonotonic reasoning and closed-world assumption, A.I. 25, 13\u201363.","journal-title":"A.I."},{"key":"41_CR5","first-page":"11","volume":"1","author":"M. Etherington","year":"1985","unstructured":"Etherington, Mercer & Reiter (1985) On the adequacy of predicate circumscription for closed world reasoning, Comp. Int. 1, 11\u201315.","journal-title":"Comp. Int."},{"key":"41_CR6","unstructured":"Kowalski & Hayes (1969) Semantic trees in automatic theorem-proving, in: Machine Intelligence 4 (ed. Meltzer & Michie), American Elsevier, 87\u2013101."},{"key":"41_CR7","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1016\/0004-3702(71)90012-9","volume":"2","author":"Kowalski","year":"1971","unstructured":"Kowalski & Kuehner (1971) Linear resolution with selection function, A.I. 2, 227\u2013260.","journal-title":"A.I."},{"key":"41_CR8","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"McCarthy","year":"1980","unstructured":"McCarthy (1980) Circumscription \u2014 A form of nonmonotonic reasoning, A.I. 13, 27\u201339.","journal-title":"A.I."},{"key":"41_CR9","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"Moore","year":"1985","unstructured":"Moore (1985) Semantical considerations on nonmonotonic logic, A.I. 25, 75\u201394.","journal-title":"A.I."},{"key":"41_CR10","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"Reiter","year":"1980","unstructured":"Reiter (1980) A logic for default reasoning, A.I. 13, 81\u2013132.","journal-title":"A.I."},{"key":"41_CR11","unstructured":"Siegel (1987) Repr\u00e9sentation de connaissances en calcul propositionnel, th\u00e8se, Marseille."}],"container-title":["Lecture Notes in Computer Science","9th International Conference on Automated Deduction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0012860.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T15:06:43Z","timestamp":1607353603000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012860"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019343X"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/bfb0012860","relation":{},"subject":[]}}