{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:00Z","timestamp":1725455940984},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540536864"},{"type":"electronic","value":"9783540469827"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/bfb0018442","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T05:30:30Z","timestamp":1132637430000},"page":"196-211","source":"Crossref","is-referenced-by-count":7,"title":["NM3 \u2014 A three-valued cumulative non-monotonic formalism"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Doherty","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-7622-2","volume-title":"The Logic of Conditionals","author":"E. W. Adams","year":"1975","unstructured":"Ernest W. Adams. The Logic of Conditionals. D. Reidel, Dordrecht, 1975."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"Nuel D. Belnap. A useful four-valued logic. In J.M. Dunn and G. Epstein, editors, Modern Uses of Multiple-valued Logic, pages 8\u201337. D. Reidel Publishing Company, 1977.","DOI":"10.1007\/978-94-010-1161-7_2"},{"key":"13_CR3","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1305\/ndjfl\/1093883341","volume":"22","author":"J. P. Burgess","year":"1981","unstructured":"J. P. Burgess. Quick completeness proofs for some logics of conditionals. Notre Dame J. Formal Logic, 22:76\u201384, 1981.","journal-title":"Notre Dame J. Formal Logic"},{"key":"13_CR4","unstructured":"P. Doherty. A correspondence between inheritance hierarchies and a logic of preferential entailment. In Methodologies for Intelligent Systems,4, 1989. IS-MIS89."},{"key":"13_CR5","unstructured":"P. Doherty. A three-valued approach to non-monotonic reasoning. Master's thesis, Link\u00f6ping University, 1990."},{"key":"13_CR6","unstructured":"D. Etherington. Reasoning with Incomplete Information. Morgan Kaufman Publishers, 1988."},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"D. M. Gabbay. Theoretical foundations for non-monontonic reasoning in expert systems. In K. R. Apt, editor, Proc. of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems, pages 439\u2013457. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-82453-1_15"},{"key":"13_CR8","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1111\/j.1467-8640.1988.tb00280.x","volume":"4","author":"M. Ginsburg","year":"1988","unstructured":"M. Ginsburg. Multivalued logics: A uniform approach to reasoning in artificial intelligence. Comput. Intell., 4:265\u2013316, 1988.","journal-title":"Comput. Intell."},{"key":"13_CR9","series-title":"Technical Report","volume-title":"Preferential models and cumulative logic","author":"S. Kraus","year":"1988","unstructured":"S. Kraus, D. Lehmann, and M. Magidor. Preferential models and cumulative logic. Technical Report TR-88-15, Department of Computer Science, Hebrew University, Jerusalem, 1988."},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"D. Makinson. General theory of cumulative inference. In M. Ginsburg, M. Reinfrank, and E. Sandewall, editors, Non-Monotonic Reasoning, 2nd International Workshop. Springer, 1988.","DOI":"10.1007\/3-540-50701-9_16"},{"key":"13_CR11","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"J. Pearl","year":"1988","unstructured":"J. Pearl. Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufman, Los Altos, CA, 1988."},{"key":"13_CR12","unstructured":"T. Przymusinski. Three-valued formalizations of non-monotonic reasoning and logic programming. In 1st Int. Conf. on Principles of Knowledge Representation and Reasoning, pages 341\u2013348, 1989."},{"key":"13_CR13","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"13_CR14","unstructured":"M. Reinfrank. Defaults as preferences among partial worlds. In European Workshop on Logical Methods in Artificial Intelligence, 1988. JELIA88."},{"key":"13_CR15","unstructured":"E. Sandewall. An approach to the frame problem and its implementation. In B. Meltzer and D. Mitchie, editors, Machine Intelligence 7. Edinburgh University Press, 1972."},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"E. Sandewall. A functional approach to non-monotonic logic. In Int. Joint Conf. on Artificial Intelligence, 1985. IJCAI85.","DOI":"10.1111\/j.1467-8640.1985.tb00061.x"},{"key":"13_CR17","unstructured":"E. Sandewall. Non-monotonic entailment for reasoning about time and action: Part iii: Decision procedure. Technical Report LITH-IDA-R-88-29, Department of Computer and Information Science, Link\u00f6ping University, 1988."},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"E. Sandewall. The semantics of non-monotonic entailment defined using partial interpretations. In M. Ginsburg, M. Reinfrank, and E. Sandewall, editors, Non-Monotonic Reasoning, 2nd International Workshop. Springer, 1988.","DOI":"10.1007\/3-540-50701-9_18"},{"key":"13_CR19","unstructured":"Yoav Shoham. Reasoning about Change. MIT Press, 1988."},{"key":"13_CR20","unstructured":"F. Veltman. Logics for Conditionals. PhD thesis, Filosofisch Instituut, Universiteit van Amsterdam, 1986."}],"container-title":["Lecture Notes in Computer Science","Logics in AI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018442","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T02:36:39Z","timestamp":1586572599000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018442"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540536864","9783540469827"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0018442","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}