{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:34Z","timestamp":1725663154511},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540167808"},{"type":"electronic","value":"9783540398615"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16780-3_92","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:58:26Z","timestamp":1330196306000},"page":"209-228","source":"Crossref","is-referenced-by-count":10,"title":["A commonsense theory of nonmonotonic reasoning"],"prefix":"10.1007","author":[{"given":"Frank M.","family":"Brown","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"18_CR1","unstructured":"Brown, F.M. (1976) \"A Theory of Meaning,\" Department of Artificial Intelligence Working Paper 16, University of Edinburgh."},{"key":"18_CR2","unstructured":"Brown, F.M. (1978a) \"An Automatic Proof of the Completeness of Quantificational Logic\", Department of Artificial Intelligence Research Report 52."},{"key":"18_CR3","unstructured":"Brown, F.M. (1979) \"A Theorem Prover for Metatheory,\" 4th CONFERENCE ON AUTOMATIC THEOREM PROVING, Austin Texas."},{"key":"18_CR4","unstructured":"Brown, F.M. (1978b), \"A Sequent Calculus for Modal Quantificational Logic,\" 3rd AISB\/GI CONFERENCE PROCEEDINGS, Hamburg."},{"key":"18_CR5","unstructured":"Carnap, Rudolf (1956) MEANING AND NECESSITY: A STUDY IN THE SEMANTICS OF MODAL LOGIC, The University of Chicago Press."},{"key":"18_CR6","unstructured":"Frege, G. (1879) \"Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought\", in FROM FREGE TO GODEL, 1967."},{"key":"18_CR7","unstructured":"Hayes, P.J. (1973) \"The Frame Problem and Related Problems in Artificial Intelligence\" ARTIFICIAL AND HUMAN THINKING, eds. Eilithorn and Jones."},{"key":"18_CR8","unstructured":"Hughes, G.E. and Creswell, M.J. (1968) AN INTRODUCTION TO MODAL LOGIC, METHUEN and Co, Ltd., London."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"McDermott, D., (1982) \"Nonmonotonic Logic II: Nonmonotonic Modal Theories\" JACM, Vol. 29, No. 1.","DOI":"10.1145\/322290.322293"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"McDermott, D., Doyle, J. (1980) \"Nonmonotonic Logic I\" ARTIFICIAL INTELLIGENCE 13.","DOI":"10.1016\/0004-3702(80)90012-0"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Moore, R.C. (1985) \"Semantical Considerations on Nonmonotonic Logic\" ARTIFICIAL INTELLIGENCE 25.","DOI":"10.1016\/0004-3702(85)90042-6"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Reiter, R. (1980) \"A Logic for Default Reasoning\" ARTIFICIAL INTELLIGENCE 13.","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"18_CR13","unstructured":"Schwind, C.B. (1978) \"The theory of Actions\" report TUM-INFO 7807, Technische Universitat Munchen."},{"key":"18_CR14","unstructured":"Schwind, C.B. (1980) \"A Completeness Proof for a Logic Action\" Laboratoire D'Informatique pour les sciences de l'homme."}],"container-title":["Lecture Notes in Computer Science","8th International Conference on Automated Deduction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16780-3_92.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:11:45Z","timestamp":1605643905000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16780-3_92"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540167808","9783540398615"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-16780-3_92","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}