{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:30:45Z","timestamp":1760707845995},"reference-count":57,"publisher":"Hindawi Limited","issue":"1","license":[{"start":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T00:00:00Z","timestamp":1441065600000},"content-version":"tdm","delay-in-days":7913,"URL":"http:\/\/doi.wiley.com\/10.1002\/tdm_license_1.1"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Intell. Syst."],"published-print":{"date-parts":[[1994]]},"DOI":"10.1002\/int.4550090103","type":"journal-article","created":{"date-parts":[[2007,7,8]],"date-time":"2007-07-08T20:05:01Z","timestamp":1183925101000},"page":"1-27","source":"Crossref","is-referenced-by-count":18,"title":["A glance at revision and updating in knowledge bases"],"prefix":"10.1155","volume":"9","author":[{"given":"L\u00e9a","family":"Somb\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"98","reference":[{"key":"10.1002\/int.4550090103-BIB1","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"Katsuno","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550090103-BIB2","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF00413568","volume":"91","author":"Hansson","year":"1992","journal-title":"Synthese"},{"key":"10.1002\/int.4550090103-BIB3","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"G\u00e4rdenfors","year":"1988","unstructured":"Knowledge in Flux: Modeling the Dynamics of Epistemic States, the MIT Press, Cambridge, MA, 1988."},{"key":"10.1002\/int.4550090103-BIB4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1017\/CBO9780511526664.001","volume-title":"Belief Revision","author":"G\u00e4rdenfors","year":"1992","unstructured":"\u201cBelief revision: an introduction,\u201d In (Ed.), Belief Revision, Cambridge University Press, Cambridge, UK, 1992, pp. 1\u201328."},{"key":"10.1002\/int.4550090103-BIB5.1","author":"Katsuno","unstructured":"and , \u201cOn the difference between updating a knowledge base and revising it,\u201d In J. Allen, R. Fikes and E. Sandewall (Eds.), Proc. of the 2nd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'91), Cambridge, Mass., April 22-25, 1991, pp. 387\u2013394."},{"key":"10.1002\/int.4550090103-BIB5.2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1017\/CBO9780511526664","volume-title":"Belief Revision","author":"G\u00e4rdenfors","year":"1992","unstructured":"Revised version in (Eds.), Belief Revision, Cambridge University Press, Cambridge, UK, 1992, pp. 183\u2013203."},{"key":"10.1002\/int.4550090103-BIB6","author":"Nebel","year":"1989","unstructured":"\u201cA knowledge level analysis of belief revision,\u201d In R. J. Brachman, H. J. Levesque and R. Reiter (Eds.), Proc. of the 1st Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'89), Toronto, Ontario, May 15-18, 1989, pp. 301\u2013311."},{"key":"10.1002\/int.4550090103-BIB7","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1017\/CBO9780511526664.003","volume-title":"Belief Revision","author":"Nebel","year":"1992","unstructured":"\u201cSyntax-based approaches to belief revision,\u201d In (Ed.), Belief Revision, Cambridge University Press, Cambridge, UK, 1992, pp. 52\u201388."},{"key":"10.1002\/int.4550090103-BIB8","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"Alchourr\u00f3n","year":"1985","journal-title":"The Journal of Symbolic Logic"},{"key":"10.1002\/int.4550090103-BIB9","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"Doyle","year":"1979","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550090103-BIB10","author":"Katsuno","year":"1989","unstructured":"and , \u201cA unified view of propositional knowledge base updates,\u201d In Proc. of the 11th Inter. Joint Conf. on Artificial Intelligence (IJCAI'89), Detroit, MI, Aug. 20-25, 1989, pp. 269\u2013276."},{"key":"10.1002\/int.4550090103-BIB11","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1017\/CBO9780511526664.008","volume-title":"Belief Revision","author":"Morreau","year":"1992","unstructured":"\u201cPlanning from first principles,\u201d In (Ed.), Belief Revision, Cambridge University Press, Cambridge, UK, 1992, pp. 204\u2013219."},{"key":"10.1002\/int.4550090103-BIB12","series-title":"Lecture Notes","first-page":"409","volume-title":"Proc. of the 3rd Inter. Conf. on Database Theory (ICDT'90), Paris, December 1990","volume":"470","author":"Willard","year":"1990","unstructured":"and , \u201cThe revised G\u00e4rdenfors postulates and update semantics,\u201d (Extended abstract) In and (Eds.), Proc. of the 3rd Inter. Conf. on Database Theory (ICDT'90), Paris, December 1990, Lecture Notes in Computer Sciences, Vol. 470, Springer-Verlag, 1990, pp. 409\u2013421."},{"key":"10.1002\/int.4550090103-BIB13","author":"Rao","year":"1989","unstructured":"and , \u201cFormal theories of belief revision,\u201d In R. J. Brachman, H. J. Levesque and R. Reiter (Eds.), Proc. of the 1st Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'89), Toronto, Ontario, May 15-18, 1989, pp. 369\u2013380."},{"key":"10.1002\/int.4550090103-BIB14","author":"Rao","year":"1989","unstructured":"and , \u201cMinimal change and maximal coherence: a basis for belief revision and reasoning about actions,\u201d In Proc. of the 11th Inter. Joint Conf. on Artificial Intelligence (IJCAI'89), Detroit, Michigan, Aug. 20-25, 1989, pp. 966\u2013971."},{"key":"10.1002\/int.4550090103-BIB15","volume":"9","author":"Besnard","journal-title":"Int. J. of Intelligent Systems"},{"key":"10.1002\/int.4550090103-BIB16","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1007\/BF00284973","volume":"20","author":"Rott","year":"1991","journal-title":"J. of Philosophical Logic"},{"key":"10.1002\/int.4550090103-BIB17","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0004-3702(91)90101-O","volume":"50","author":"Dubois","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550090103-BIB18","first-page":"403","volume":"5","author":"Dubois","year":"1986","journal-title":"Computers and Artificial Intelligence"},{"key":"10.1002\/int.4550090103-BIB19","author":"Dalal","year":"1988","unstructured":"\u201cInvestigations into a theory of knowledge base revision: preliminary report,\u201d In Proc. of the 7th National Conf. on Artificial Intelligence (AAAI'88), 1988, pp. 475\u2013479."},{"key":"10.1002\/int.4550090103-BIB20","doi-asserted-by":"crossref","first-page":"297","DOI":"10.2307\/2184045","volume":"85","author":"Lewis","year":"1976","journal-title":"The Philosophical Review"},{"key":"10.1002\/int.4550090103-BIB21.1","doi-asserted-by":"crossref","DOI":"10.1007\/BF00262950","volume":"2","author":"Lewis","year":"1973","journal-title":"J. Philosophical Logic"},{"key":"10.1002\/int.4550090103-BIB21.2","first-page":"57","volume-title":"Ifs - Conditionals, Belief, Decision, Chance, and Time","author":"Harper","year":"1981","unstructured":"Also in and (Eds.), Ifs - Conditionals, Belief, Decision, Chance, and Time, D. Reidel, Dordrecht, 1981, pp. 57\u201385."},{"key":"10.1002\/int.4550090103-BIB22","author":"Grahne","year":"1991","unstructured":"\u201cUpdates and counterfactuals,\u201d In J. Allen, R. Fikes and E. Sandewall (Eds.); Proc. of the 2nd Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'91), Cambridge, Mass., April 22-25, 1991, pp. 269\u2013276."},{"key":"10.1002\/int.4550090103-BIB23","first-page":"63","volume-title":"Non-Standard Logics for Automated Reasoning","author":"Fari\u00f1as del Cerro","year":"1988","unstructured":"and , \u201cAn automated modal logic of elementary changes,\u201d In , and (Eds.), Non-Standard Logics for Automated Reasoning, Academic Press, 1988, pp. 63\u201379."},{"key":"10.1002\/int.4550090103-BIB24","volume":"9","author":"Fari\u00f1as del Cerro","journal-title":"Int. J. of Intelligent Systems"},{"key":"10.1002\/int.4550090103-BIB25","author":"Winslett","year":"1988","unstructured":"\u201cReasoning about action using a possible models approach,\u201d In Proc. of the 7th National Conf. on Artificial Intelligence (AAAI'88), 1988, pp. 89\u201393."},{"key":"10.1002\/int.4550090103-BIB26","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511663109","volume-title":"Updating Logical Databases","author":"Winslett","year":"1990","unstructured":"Updating Logical Databases, Cambridge University Press, Cambridge, UK, 1990."},{"key":"10.1002\/int.4550090103-BIB27","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0165-0114(78)90029-5","volume":"1","author":"Zadeh","year":"1978","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1002\/int.4550090103-BIB28","volume-title":"Possibility Theory \u2014 an Approach to Computerized Processing of Uncertainty","author":"Dubois","year":"1988","unstructured":"and (with the collaboration of , and ), Possibility Theory \u2014 an Approach to Computerized Processing of Uncertainty, Plenum Press, New York, 1988."},{"key":"10.1002\/int.4550090103-BIB29","volume-title":"A Mathematical Theory of Evidence","author":"Shafer","unstructured":"A Mathematical Theory of Evidence, Princeton University Press, Princeton"},{"key":"10.1002\/int.4550090103-BIB30","volume":"9","author":"Dubois","journal-title":"Int. J. of Intelligent Systems"},{"key":"10.1002\/int.4550090103-BIB31","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1017\/CBO9780511526664.006","volume-title":"Belief Revision","author":"Dubois","year":"1992","unstructured":"and , \u201cBelief change and possibility theory,\u201d In (Ed.), Belief Revision, Cambridge University Press, Cambridge, UK, 1992, pp. 142\u2013182."},{"key":"10.1002\/int.4550090103-BIB32","author":"Dubois","year":"1993","unstructured":"and , \u201cBelief revision and updates in numerical formalisms \u2014 an overview, with new results for the possibilistic frameworks\u2014,\u201d In Proc. of the Inter. Joint Conf. on Artificial Intelligence (IJCAI'93), Chambery, Aug. 1993, pp. 620\u2013625."},{"key":"10.1002\/int.4550090103-BIB33","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/0888-613X(92)90027-W","volume":"6","author":"Dubois","year":"1992","journal-title":"Int. J. of Approximate Reasoning"},{"key":"10.1002\/int.4550090103-BIB34","volume-title":"Reasoning and Revision in Hybrid Representation Systems","volume":"422","author":"Nebel","year":"1990","unstructured":"Reasoning and Revision in Hybrid Representation Systems, Lecture Notes in Computer Science, Vol. 422, Springer Verlag, Berlin, 1990."},{"key":"10.1002\/int.4550090103-BIB35","volume":"9","author":"L\u00e9vy","journal-title":"Int. J. of Intelligent Systems"},{"key":"10.1002\/int.4550090103-BIB36","first-page":"185","volume-title":"The Logic of Theory Change (Proc. of the Workshop, Konstanz, Germany, Oct. 1989)","volume":"465","author":"Makinson","year":"1991","unstructured":"and , \u201cRelations between the logic of theory change and nonmonotonic logic,\u201d In and (Eds.), The Logic of Theory Change (Proc. of the Workshop, Konstanz, Germany, Oct. 1989), Lecture Notes in Artificial Intelligence, Vol. 465, Springer Verlag, Berlin, 1991, pp. 185\u2013205."},{"key":"10.1002\/int.4550090103-BIB37","author":"G\u00e4rdenfors","year":"1990","unstructured":"\u201cBelief revision and nonmonotonic logic: two sides of the same coin?,\u201d In L. C. Aiello (Ed.), Proc. of the 9th Europ. Conf. on Artificial Intelligence (ECAI'90), Stockholm, Sweden, Aug. 6-10, 1990, pp. 768\u2013773."},{"key":"10.1002\/int.4550090103-BIB38","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"Kraus","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550090103-BIB39","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","volume":"55","author":"Lehmann","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550090103-BIB40","volume-title":"Reasoning About Change \u2014 Time and Causation from the Standpoint of Artificial Intelligence","author":"Shoham","year":"1988","unstructured":"Reasoning About Change \u2014 Time and Causation from the Standpoint of Artificial Intelligence, the MIT Press, Cambridge, MA, 1988."},{"key":"10.1002\/int.4550090103-BIB41","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"Reiter","year":"1980","journal-title":"Artificial Intelligence"},{"key":"10.1002\/int.4550090103-BIB42","volume":"9","author":"Moinard","journal-title":"Int. J. of Intelligent Systems"},{"key":"10.1002\/int.4550090103-BIB43","volume":"9","author":"Cholvy","journal-title":"Int. J. of Intelligent Systems"},{"key":"10.1002\/int.4550090103-BIB44","volume-title":"Advances in Computing Research 3","author":"Fagin","year":"1986","unstructured":", and , \u201cUpdating logical databases,\u201d In and (Eds.), Advances in Computing Research 3, JAI Press, 1986."},{"key":"10.1002\/int.4550090103-BIB45","author":"Fagin","year":"1983","unstructured":"and , \u201cOn the semantics of updates in databases,\u201d In Proc. of the 2nd ACM Symp. on Principles of Data Base Systems, Atlanta, 1983, pp. 352\u2013365."},{"key":"10.1002\/int.4550090103-BIB46","author":"Kuper","year":"1984","unstructured":", and , \u201cOn the equivalence of logical databases,\u201d In Proc. of the 4th ACM Symp. on Principles of Data Base Systems, 1984."},{"key":"10.1002\/int.4550090103-BIB47","author":"Abiteboul","year":"1985","unstructured":"and , \u201cUpdate semantics for incomplete databases,\u201d In Proc. of the 11th Inter. Conf. on Very Large Data Bases, Stockholm, 1985, pp. 1\u201312."},{"key":"10.1002\/int.4550090103-BIB48","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1016\/S0743-1066(85)80003-0","volume":"2","author":"Gabbay","year":"1985","journal-title":"The J. of Logic Programming"},{"key":"10.1002\/int.4550090103-BIB49","first-page":"24","volume":"44","author":"G\u00e4rdenfors","year":"1990","journal-title":"Revue Int. de Philosophie"},{"key":"10.1002\/int.4550090103-BIB50","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1017\/CBO9780511526664.002","volume-title":"Belief Revision","author":"Doyle","year":"1992","unstructured":"\u201cReason maintenance and belief revision: foundations vs. coherence theories,\u201d In (Ed.), Belief Revision, Cambridge University Press, Cambridge, UK, 1992, pp. 29\u201351."},{"key":"10.1002\/int.4550090103-BIB51","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/B978-0-444-88650-7.50008-1","volume-title":"Uncertainty in Artificial Intelligence 4","author":"Dean","year":"1990","unstructured":"and , \u201cProbabilistic causal reasoning,\u201d In , and (Eds.), Uncertainty in Artificial Intelligence 4, North-Holland, Amsterdam, 1990, pp. 27\u201342."},{"key":"10.1002\/int.4550090103-BIB52.1","author":"Cordier","year":"1992","unstructured":"and , \u201cA temporal revision model for reasoning about world change,\u201d in Proc. of the 3rd. Inter. Conf. on Principles of Knowledge Representation and Reasoning (KR'92), Cambridge, MA, Oct. 27-29, 1992, pp. See also in"},{"key":"10.1002\/int.4550090103-BIB52.2","volume":"9","journal-title":"Int. J. of Intelligent Systems"},{"key":"10.1002\/int.4550090103-BIB53","volume":"9","author":"Schwind","journal-title":"Int. J. of Intelligent Systems"},{"key":"10.1002\/int.4550090103-BIB54","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0004-3702(92)90018-S","volume":"57","author":"Eiter","year":"1992","journal-title":"Artificial Intelligence"}],"container-title":["International Journal of Intelligent Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.wiley.com\/onlinelibrary\/tdm\/v1\/articles\/10.1002%2Fint.4550090103","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/full\/10.1002\/int.4550090103","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,9]],"date-time":"2023-02-09T15:33:58Z","timestamp":1675956838000},"score":1,"resource":{"primary":{"URL":"https:\/\/onlinelibrary.wiley.com\/doi\/10.1002\/int.4550090103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":57,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994]]}},"URL":"https:\/\/doi.org\/10.1002\/int.4550090103","relation":{},"ISSN":["0884-8173","1098-111X"],"issn-type":[{"value":"0884-8173","type":"print"},{"value":"1098-111X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}