{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:23:45Z","timestamp":1725456225081},"publisher-location":"Berlin\/Heidelberg","reference-count":5,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354019343X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0012865","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T01:12:39Z","timestamp":1132708359000},"page":"675-684","source":"Crossref","is-referenced-by-count":17,"title":["Decision procedure for autoepistemic logic"],"prefix":"10.1007","author":[{"given":"Ilkka","family":"Niemel\u00e4","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"46_CR1","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D. McDermott","year":"1980","unstructured":"McDermott, D., and Doyle, J. Non-monotonic logic I. Artificial Intelligence 13 (1980), 41\u201372.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"46_CR2","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1145\/322290.322293","volume":"29","author":"D. McDermott","year":"1982","unstructured":"McDermott, D. Non-monotonic logic II. Journal of the Association for Computing Machinery 29 (1982) 1, 33\u201357","journal-title":"Journal of the Association for Computing Machinery"},{"key":"46_CR3","doi-asserted-by":"publisher","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 nonmonotonic logic. Artificial Intelligence 25 (1985), 75\u201394.","journal-title":"Artificial Intelligence"},{"key":"46_CR4","unstructured":"Niemel\u00e4 I., and Tuominen, H. A system for logical expertise. In STEP-86 Symposium Papers: Methodology, Volume 2, M. Karjalainen, J. Sepp\u00e4nen, and M. Tamminen, Eds. (Espoo, Finland, Aug 19\u201322). Finnish Society of Information Processing Science, Helsinki, 1986, pp. 44\u201353."},{"key":"46_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-86718-7","volume-title":"First-Order Logic","author":"R.M. Smullyan","year":"1968","unstructured":"Smullyan, R.M. First-Order Logic. Springer-Verlag, Berlin, 1968."}],"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\/BFb0012865.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,7]],"date-time":"2020-12-07T10:06:44Z","timestamp":1607335604000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0012865"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354019343X"],"references-count":5,"URL":"https:\/\/doi.org\/10.1007\/bfb0012865","relation":{},"subject":[]}}