{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T09:54:02Z","timestamp":1648979642513},"reference-count":15,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1993,10,1]],"date-time":"1993-10-01T00:00:00Z","timestamp":749433600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Robot Syst"],"published-print":{"date-parts":[[1993,10]]},"DOI":"10.1007\/bf01257992","type":"journal-article","created":{"date-parts":[[2005,3,23]],"date-time":"2005-03-23T23:09:36Z","timestamp":1111619376000},"page":"127-153","source":"Crossref","is-referenced-by-count":0,"title":["Belief revision ? an axiomatic approach"],"prefix":"10.1007","volume":"8","author":[{"given":"V.","family":"Sridhar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. Narasimha","family":"Murty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/0004-3702(86)90032-9","volume":"28","author":"J. McCarthy","year":"1986","unstructured":"McCarthy, J., Applications of circumscription to formalizing commonsense knowledge,Artificial Intelligence 28, 89?116 (1986).","journal-title":"Artificial Intelligence"},{"key":"CR2","doi-asserted-by":"crossref","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 13, 81?132 (1980).","journal-title":"Artificial Intelligence"},{"key":"CR3","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Doyle, J., A truth maintenance system,Artificial Intelligence 12, 231?272 (1979).","journal-title":"Artificial Intelligence"},{"key":"CR4","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. Kleer De","year":"1986","unstructured":"De Kleer, J., An assumption-based TMS,Artificial Intelligence 28, 127?162 (1986).","journal-title":"Artificial Intelligence"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0004-3702(88)90031-8","volume":"35","author":"J.P. Martins","year":"1988","unstructured":"Martins, J.P., and Shapiro, S.C., A model for belief revision,Artificial Intelligence 35, 25?79 (1988).","journal-title":"Artificial Intelligence"},{"key":"CR6","volume-title":"Reasoning About Change","author":"Y. Shoham","year":"1987","unstructured":"Shoham, Y.,Reasoning About Change, MIT Press Cambridge Mass: (1987)."},{"key":"CR7","unstructured":"Sridhar, V., Murty, M. Narasimha, and Krishna, G., On reasoning with most recent beliefs, inProc. Fourth ISMIS, Charlotte, NC (1989)."},{"key":"CR8","unstructured":"Mendelson, E.,Introduction to Mathematical Logic, 3rd edn., Van Nostrand Reinhold (1989)."},{"key":"CR9","doi-asserted-by":"crossref","unstructured":"Sandewall, E., Nonmonotonic inference rules for multiple inheritance with exceptions, inProc. IEEE 74(10) (1986).","DOI":"10.1109\/PROC.1986.13636"},{"key":"CR10","volume-title":"The Mathematics of Inheritance Systems","author":"D.S. Touretzky","year":"1986","unstructured":"Touretzky, D.S.,The Mathematics of Inheritance Systems, Morgan Kaufmann, California: (1986)."},{"key":"CR11","volume-title":"Nonstandard Logics for Automated Reasoning","author":"R.C. Moore","year":"1988","unstructured":"Moore, R.C., Autoepistemic logic, in P. Smets, A. Mamdani, D. Dubois, and H. Prade (eds),Nonstandard Logics for Automated Reasoning, Academic Press, New York (1988)."},{"key":"CR12","volume-title":"Exploring AI","author":"R. Reiter","year":"1988","unstructured":"Reiter, R., Nonmonotonic Reasoning in H.E. Shorbe and AAAI (eds)Exploring AI, Morgan Kaufmann, California (1988)."},{"key":"CR13","volume-title":"Harrison's Principles of Internal Medicine","year":"1987","unstructured":"Harrison's Principles of Internal Medicine (E. Braunwald, K.J. Isselbacher, R.G. Petersdorf, J.D. Wilson, J.B. Martin, and A.S. Fauci (eds), 11th edn, McGraw-Hill, New York (1987).","edition":"11th edn"},{"key":"CR14","unstructured":"G\u00e4rdenfors, P.,Knowledge in Flux: Modeling the Dynamics of Epistemic States, MIT Press (1988)."},{"key":"CR15","doi-asserted-by":"crossref","unstructured":"Winslett, M., Is belief revision harder than you thought? inProc. AAAI 86, PA, pp. 421?427 (1986).","DOI":"10.1007\/3-540-17187-8_51"}],"container-title":["Journal of Intelligent & Robotic Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01257992.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01257992\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01257992","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,6]],"date-time":"2020-04-06T12:39:51Z","timestamp":1586176791000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01257992"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993,10]]},"references-count":15,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1993,10]]}},"alternative-id":["BF01257992"],"URL":"https:\/\/doi.org\/10.1007\/bf01257992","relation":{},"ISSN":["0921-0296","1573-0409"],"issn-type":[{"value":"0921-0296","type":"print"},{"value":"1573-0409","type":"electronic"}],"subject":[],"published":{"date-parts":[[1993,10]]}}}