{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T12:06:23Z","timestamp":1749125183020,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540507017"},{"type":"electronic","value":"9783540460732"}],"license":[{"start":{"date-parts":[[1988,1,1]],"date-time":"1988-01-01T00:00:00Z","timestamp":567993600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50701-9_17","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T15:31:28Z","timestamp":1330183888000},"page":"19-26","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["New results on semantical nonmonotonic reasoning"],"prefix":"10.1007","author":[{"suffix":"Jr.","given":"Allen L.","family":"Brown","sequence":"first","affiliation":[]},{"given":"Yoav","family":"Shoham","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,26]]},"reference":[{"key":"2_CR1","volume-title":"The Design and Analysis of Computer Algorithms","author":"Alfred V. V. Aho","year":"1974","unstructured":"Alfred V. Aho, John E. Hopcroft, and Jeffrey D. Ullman. The Design and Analysis of Computer Algorithms. Addison-Wesley, Reading, Massachusetts, 1974."},{"unstructured":"Garrett Birkhoff. Lattice Theory. Volume 25 of American Mathematical Society Colloquium Publications, American Mathematical Society, Providence, Rhode Island, third edition, 1967.","key":"2_CR2"},{"unstructured":"Allen L. Brown, Jr. Logics of justified belief. In Yves Kodratoff, editor, Proceedings of the Eighth European Conference on Artificial Intelligence, pages 507\u2013512, European Coordinating Committe for Artificial Intelligence, Pitman Publishing, Munich, August 1988.","key":"2_CR3"},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"D. Jon","year":"1979","unstructured":"Jon Doyle. A truth maintenance system. Artificial Intelligence, 12:231\u2013272, 1979.","journal-title":"Artificial Intelligence"},{"volume-title":"Extensions of Classical Logic. Volume 2 of Handbook of Philosophical Logic","year":"1984","unstructured":"Dov M. Gabbay and Franz Guenthner, editors. Extensions of Classical Logic. Volume 2 of Handbook of Philosophical Logic, D. Reidel, Dordrecht, Netherlands, 1984.","key":"2_CR5"},{"unstructured":"Jack Minker. Foundations of deductive databases and logic programming. Morgan-Kauffmann, 1987.","key":"2_CR6"},{"key":"2_CR7","volume-title":"Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence","author":"Y. Shoham","year":"1987","unstructured":"Yoav Shoham. Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence. MIT Press, Cambridge, Massachusetts, 1987."}],"container-title":["Lecture Notes in Computer Science","Non-Monotonic Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50701-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,29]],"date-time":"2020-01-29T13:49:58Z","timestamp":1580305798000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50701-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540507017","9783540460732"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-50701-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]},"assertion":[{"value":"26 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}