{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T10:26:25Z","timestamp":1648895185358},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,7,16]],"date-time":"2010-07-16T00:00:00Z","timestamp":1279238400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Log. Univers."],"published-print":{"date-parts":[[2010,11]]},"DOI":"10.1007\/s11787-010-0017-y","type":"journal-article","created":{"date-parts":[[2010,7,15]],"date-time":"2010-07-15T12:34:33Z","timestamp":1279197273000},"page":"225-239","source":"Crossref","is-referenced-by-count":4,"title":["The Place of Logic in Reasoning"],"prefix":"10.1007","volume":"4","author":[{"given":"Daniel","family":"Kayser","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,7,16]]},"reference":[{"key":"17_CR1","volume-title":"the ABC Research Group: Simple Heuristics that Make us Smart","author":"G. Gigerenzer","year":"1999","unstructured":"Gigerenzer G., Todd P.: the ABC Research Group: Simple Heuristics that Make us Smart. Oxford University Press, New York (1999)"},{"issue":"1435","key":"17_CR2","doi-asserted-by":"crossref","first-page":"1261","DOI":"10.1098\/rstb.2003.1312","volume":"358","author":"D. Kayser","year":"2003","unstructured":"Kayser D.: Abstraction and natural language semantics. Philos. Trans. 358(1435), 1261\u20131268 (2003)","journal-title":"Philos. Trans."},{"key":"17_CR3","unstructured":"Horn, L.R.: A Natural History of Negation. University of Chicago Press (1989)"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Fahlman, S.E.: NETL\u2014A System for Representing and Using Real-World Knowledge. The MIT Press (1979)","DOI":"10.7551\/mitpress\/4917.001.0001"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":"Cook, S.A.: The complexity of theorem proving procedures. In: Proceedings of STOC, pp. 151\u2013158 (1971)","DOI":"10.1145\/800157.805047"},{"key":"17_CR6","unstructured":"Israel, D.J.: What\u2019s wrong with non-monotonic logic? In: Proceedings of the 1st AAAI Conference, pp. 99\u2013101. Stanford University, August 1980"},{"issue":"1\u20132","key":"17_CR7","doi-asserted-by":"crossref","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. Artif. Intell. J. 13(1\u20132), 81\u2013132 (1980)","journal-title":"Artif. Intell. J."},{"issue":"1","key":"17_CR8","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R.C. Moore","year":"1985","unstructured":"Moore R.C.: Semantical considerations on non-monotonic logic. Artif. Intell. J. 25(1), 75\u201394 (1985)","journal-title":"Artif. Intell. J."},{"issue":"1","key":"17_CR9","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/S0004-3702(02)00293-X","volume":"143","author":"M. Denecker","year":"2003","unstructured":"Denecker M., Marek V.W., Truszczynski M.: Uniform semantic treatment of default and autoepistemic logics. Artif. Intell. J. 143(1), 79\u2013122 (2003)","journal-title":"Artif. Intell. J."},{"key":"17_CR10","volume-title":"Nonmonotonic Logic Context Dependent Reasoning","author":"W. Marek","year":"1993","unstructured":"Marek W., Truszczynski M.: Nonmonotonic Logic Context Dependent Reasoning. Springer-Verlag, Berlin (1993)"},{"issue":"2","key":"17_CR11","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0004-3702(91)90099-6","volume":"50","author":"G. Brewka","year":"1991","unstructured":"Brewka G.: Cumulative Default Logic: in defense of nonmonotonic inference rules. Artif. Intell. J. 50(2), 183\u2013205 (1991)","journal-title":"Artif. Intell. J."},{"issue":"1\u20132","key":"17_CR12","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1980","unstructured":"McCarthy J.: Circumscription: a form of non-monotonic reasoning. Artif. Intell. J. 13(1\u20132), 27\u201339 (1980)","journal-title":"Artif. Intell. J."},{"issue":"1","key":"17_CR13","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"McCarthy J.: Applications of circumscription to formalizing commonsense knowledge. Artif. Intell. J. 28(1), 89\u2013116 (1986)","journal-title":"Artif. Intell. J."},{"key":"17_CR14","unstructured":"Lifshitz, V.: Circumscription. In: Handbook of Logic in AI and Logic Programming, vol. 3. Oxford University Press, Oxford (1994). http:\/\/www.cs.utexas.edu\/~vl\/mypapers\/circumscription.ps"},{"key":"17_CR15","unstructured":"Engel, P.: La norme du vrai; Philosophie de la Logique. Gallimard (Paris) (1989)"},{"key":"17_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-5287-7","volume-title":"Possibility Theory: An Approach to Computerized Processing of Uncertainty","author":"D. Dubois","year":"1988","unstructured":"Dubois D., Prade H.: Possibility Theory: An Approach to Computerized Processing of Uncertainty. Plenum Press, New York (1988)"},{"key":"17_CR17","unstructured":"Pitrat, J.: M\u00e9taconnaissance, futur de l\u2019Intelligence Artificielle. Herm\u00e8s (Paris) (1990)"}],"container-title":["Logica Universalis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-010-0017-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11787-010-0017-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11787-010-0017-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,6,7]],"date-time":"2020-06-07T00:59:12Z","timestamp":1591491552000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11787-010-0017-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,16]]},"references-count":17,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,11]]}},"alternative-id":["17"],"URL":"https:\/\/doi.org\/10.1007\/s11787-010-0017-y","relation":{},"ISSN":["1661-8297","1661-8300"],"issn-type":[{"value":"1661-8297","type":"print"},{"value":"1661-8300","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,7,16]]}}}