{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,7,20]],"date-time":"2022-07-20T20:40:35Z","timestamp":1658349635177},"reference-count":6,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2021,2,11]],"date-time":"2021-02-11T00:00:00Z","timestamp":1613001600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,2,11]],"date-time":"2021-02-11T00:00:00Z","timestamp":1613001600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2021,6]]},"DOI":"10.1007\/s11704-020-7104-x","type":"journal-article","created":{"date-parts":[[2021,2,11]],"date-time":"2021-02-11T14:36:22Z","timestamp":1613054182000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Nonmonotonic propositional logic"],"prefix":"10.1007","volume":"15","author":[{"given":"Wei","family":"Li","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuefei","family":"Sui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuhui","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,2,11]]},"reference":[{"key":"7104_CR1","unstructured":"Takeuti G. Proof Theory. Courier Corporation, 2013"},{"key":"7104_CR2","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter R. A logic for default reasoning. Artificial Intelligence, 1980, 13: 81\u2013132","journal-title":"Artificial Intelligence"},{"issue":"4","key":"7104_CR3","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/344588.344602","volume":"31","author":"G Antoniou","year":"1999","unstructured":"Antoniou G. A tutorial on default logics. ACM Computing Surveys, 1999, 31(4): 337\u2013359","journal-title":"ACM Computing Surveys"},{"key":"7104_CR4","doi-asserted-by":"publisher","first-page":"378","DOI":"10.1093\/comjnl\/bxl069","volume":"50","author":"W Li","year":"2007","unstructured":"Li W. R-calculus: an inference system for belief revision. The Computer Journal, 2007, 50: 378\u2013390","journal-title":"The Computer Journal"},{"key":"7104_CR5","volume-title":"Readings in Nonmonotonic Reasoning","author":"M L Ginsberg","year":"1987","unstructured":"Ginsberg M L. Readings in Nonmonotonic Reasoning. San Francisco: Morgan Kaufmann, 1987"},{"key":"7104_CR6","doi-asserted-by":"publisher","first-page":"111","DOI":"10.5430\/air.v5n2p111","volume":"5","author":"C Cao","year":"2016","unstructured":"Cao C, Sui Y, Wang Y. The nonmonotonic propositional logics. Artificial Intelligence Research, 2016, 5: 111\u2013120","journal-title":"Artificial Intelligence Research"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-020-7104-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11704-020-7104-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-020-7104-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,20]],"date-time":"2022-07-20T20:24:43Z","timestamp":1658348683000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11704-020-7104-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,2,11]]},"references-count":6,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,6]]}},"alternative-id":["7104"],"URL":"https:\/\/doi.org\/10.1007\/s11704-020-7104-x","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,2,11]]},"assertion":[{"value":"10 January 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 May 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 February 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"153402"}}