{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:52Z","timestamp":1725663172962},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540514862"},{"type":"electronic","value":"9783540481768"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51486-4_69","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:58:10Z","timestamp":1330203490000},"page":"218-224","source":"Crossref","is-referenced-by-count":5,"title":["Logical characterizations of nonmonotonic TMSs"],"prefix":"10.1007","author":[{"given":"Charles","family":"Elkan","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Allen L. Brown and Yoav Shoham. New results on semantical nonmonotonic reasoning. Available from the authors, January 1988.","DOI":"10.1007\/3-540-50701-9_17"},{"key":"17_CR2","unstructured":"Allen L. Brown. Modal propositional semantics for reason maintenance systems. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, pages 178\u2013184, 1985."},{"key":"17_CR3","unstructured":"Eugene Charniak, Christopher K. Riesbeck, and Drew V. McDermott. Artificial Intelligence Programming, chapter 16. Lawrence Erlbaum Associates, Hillsdale, New Jersey, 1980. Second edition, 1987."},{"key":"17_CR4","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Jon Doyle. A truth-maintenance system. Artificial Intelligence, 12:231\u2013272, 1979.","journal-title":"Artificial Intelligence"},{"key":"17_CR5","unstructured":"Jon Doyle. The ins and outs of reason maintenance. In Proceedings of the Eighth International Joint Conference on Artificial Intelligence, 1983."},{"key":"17_CR6","unstructured":"Michael Gelfond and Vladimir Lifschitz. The stable model semantics for logic programming. In Fifth International Conference Symposium on Logic Programming, pages 1070\u20131080, 1988."},{"key":"17_CR7","unstructured":"James W. Goodwin. A process theory of non-monotonic inference. In Proceedings of the Ninth International Joint Conference on Artificial Intelligence, pages 185\u2013187, 1985."},{"key":"17_CR8","unstructured":"David A. McAllester. Personal communication, 1987."},{"issue":"1","key":"17_CR9","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"R. Moore","year":"1985","unstructured":"Robert Moore. Semantical considerations on nonmonotonic logic. Artificial Intelligence, 25(1):75\u201394, 1985.","journal-title":"Artificial Intelligence"},{"key":"17_CR10","unstructured":"Paul H. Morris. Stable closures, defeasible logic, and contradiction tolerant reasoning. In Proceedings of the National Conference on Artificial Intelligence, pages 506\u2013511, 1988."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1989"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51486-4_69.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:21:23Z","timestamp":1605648083000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51486-4_69"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540514862","9783540481768"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-51486-4_69","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}