{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:31:29Z","timestamp":1725489089466},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540412762"},{"type":"electronic","value":"9783540443995"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44399-1_24","type":"book-chapter","created":{"date-parts":[[2007,8,12]],"date-time":"2007-08-12T01:07:57Z","timestamp":1186880877000},"page":"227-235","source":"Crossref","is-referenced-by-count":0,"title":["Representing Belief Revision through Default Theories"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o C. P.","family":"da Silva","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sheila R. M.","family":"Veloso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Antoniou, G.: On the Dynamics of Default Reasoning. Proc. of ESCQARU 1999: pp. 1\u201310.","DOI":"10.1007\/3-540-48747-6_1"},{"key":"24_CR2","volume-title":"Nonmonotonic Reasoning: Logical Foundations of Commonsense","author":"G. Brewka","year":"1991","unstructured":"Brewka, G., Nonmonotonic Reasoning: Logical Foundations of Commonsense, Cambridge Univ. Press, Cambridge, 1991."},{"issue":"1","key":"24_CR3","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1016\/0004-3702(94)90095-7","volume":"68","author":"C. Boutilier","year":"1994","unstructured":"Boutilier, C.: Unifying Default Reasoning and Belief Revision in a Modal Framework.Artificial Intelligence 68(1): pp. 33\u201385 (1994).","journal-title":"Artificial Intelligence"},{"key":"24_CR4","unstructured":"Dalal, M., Investigations into a Theory of Knowledge Base Revision: Preliminary report, in Proc. of the 7th Nat. Conf. of the AAAI, Saint Paul, pp. 475\u2013479, 1988."},{"key":"24_CR5","unstructured":"del Val, A.: On the Relation between the Coherence and Foundations Theories of Belief Revision. Proc. of AAAI, Vol. 2 1994: pp. 909\u2013914."},{"key":"24_CR6","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1080\/11663081.1997.10510906","volume":"7","author":"A. Val del","year":"1997","unstructured":"del Val, A., Belief Revision and Non-Monotonic Reasoning: Syntactic, Semantic, Foundational and Coherence Approaches, J. of Ap. Non-Classical Logics, 7(1997):213\u2013240.","journal-title":"J. of Ap. Non-Classical Logics"},{"key":"24_CR7","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P., Knowledge in Flux: Modeling the Dynamics of Epistemic States, Cambridge, MA, The MIT Press, Bradford Books, 1988."},{"key":"24_CR8","unstructured":"Ghose, A.K. and. Goebel, R.G., Belief States as Default Theories: Studies in Nonprioritized Belief Change, Proc. of the 1998 European Conf. on A. I., Brighton, U.K., August, 1998, pp.8\u201312."},{"key":"24_CR9","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A. Grove","year":"1988","unstructured":"Grove, A., Two Modellings for Theory Change, J. of Phil. Logic 17 (1988) pp.157\u2013170.","journal-title":"J. of Phil. Logic"},{"key":"24_CR10","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H. and Mendelzon, A.O., Propostional Knowledge Base Revision and Minimal Change, Artif. Intell. 52 (1991), pp. 263\u2013294.","journal-title":"Artif. Intell."},{"key":"24_CR11","unstructured":"Lukaszewicz, W., Two Results on Default Logic, Proc. IJCAI-85, L. A., pp.459\u2013461."},{"key":"24_CR12","first-page":"185","volume":"465","author":"D. Makinson","year":"1991","unstructured":"Makinson, D. and G\u00e4rdenfors, P., Relations between the Logic of Theory Change and Nonmonotonic Logic, The Logic of Theory Change, LNAI 465 (1991) pp.185\u2013205.","journal-title":"The Logic of Theory Change"},{"key":"24_CR13","doi-asserted-by":"crossref","unstructured":"Nebel, B., Syntax based Approaches to Belief Revision, Belief Revision, Ed. P. G\u00e4rdenfors, Cambridge Tracts in Theor. Comp. Sc. 29, pp.52\u201388, 1992.","DOI":"10.1017\/CBO9780511526664.003"},{"key":"24_CR14","unstructured":"Poole, D., Mackworth, A. and Goebe, R., Computational Intelligence: A Logica Approach-Oxford University Press-1998."},{"key":"24_CR15","first-page":"81","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R., A Logic for Default Reasoning, Artif. Intell. 13 (1980) pp. 81\u2013132.","journal-title":"A Logic for Default Reasoning, Artif. Intell"},{"key":"24_CR16","unstructured":"Schaub, T.H., Considerations on Default Logic, Ph.D. Thesis, 1992."},{"key":"24_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/3-540-59487-6_13","volume-title":"A Sphere World Semantics for Default Reasoning","author":"J.C.P. Silva da","year":"1995","unstructured":"da Silva, J.C.P. and Veloso, S.R., A Sphere World Semantics for Default Reasoning, in the Proc. of the 3rd Int\u2019l Conf. on LPNMR-LNCS928-Springer Verlag 1995 pp. 175\u2013188."},{"key":"24_CR18","unstructured":"da Silva, J.C.P. and Veloso, S.R., A Sphere World Semantics framework for Default Reasoning, Tech. Rep.-COPPE \/ UFRJ-ES-322\/94-November-1994."},{"key":"24_CR19","unstructured":"Williams, M., Antoniou, G.: A Strategy for Revising Default Theory Extensions. Proc. of KR 1998: pp. 24\u201335."},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Zowghi, D., Ghose, A., Peppas, P.: A Framework for Reasoning about Requirements Evolution. Proc. of PRICAI 1996: pp. 157\u2013168.","DOI":"10.1007\/3-540-61532-6_14"}],"container-title":["Lecture Notes in Computer Science","Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44399-1_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:43:22Z","timestamp":1556739802000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44399-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540412762","9783540443995"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-44399-1_24","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}