{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:07:56Z","timestamp":1761620876330},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1994,1,1]],"date-time":"1994-01-01T00:00:00Z","timestamp":757382400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/bf00881886","type":"journal-article","created":{"date-parts":[[2004,12,27]],"date-time":"2004-12-27T07:38:17Z","timestamp":1104133097000},"page":"157-208","source":"Crossref","is-referenced-by-count":29,"title":["A model-based belief revision system"],"prefix":"10.1007","volume":"12","author":[{"given":"Timothy S. C.","family":"Chou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marianne","family":"Winslett","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","unstructured":"Abiteboul, S. and Grahne, G., ?Update semantics for incomplete databases,?Proc. of the Conference on Very Large Data Bases, Stockholm, 1985."},{"key":"CR2","unstructured":"Bell, J., ?Pragmatic logics,?Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, Mass., 1991, pp. 50?60."},{"key":"CR3","unstructured":"Boutilier, C., ?Conditional logics of normality as modal systems,?Proceedings of the National Conference on Artificial Intelligence, Boston, Mass., 1990, pp. 594?599."},{"key":"CR4","unstructured":"Collins, J. W. and DeCoste, D., ?CATMS: An ATMS which avoids label explosions,?Proceedings of the Ninth National Conference on Artificial Intelligence, Anaheim, Calif., 1991."},{"key":"CR5","unstructured":"Dalal, M., ?Investigations into a theory of knowledge base revision: Preliminary report,?Proceedings of the Seventh National Conference on Artificial Intelligence, Minneapolis, 1988, pp. 475?479."},{"key":"CR6","unstructured":"de Kleer, J., ?Exploiting locality in a TMS,?Proceedings of the Eighth National Conference on Artificial Intelligence, Boston, 1990, pp. 264?271."},{"key":"CR7","unstructured":"del Val, A., ?Computing knowledge base updates,?Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning, 1992."},{"key":"CR8","unstructured":"del Val, A. and Shoham, Y., ?Deriving properties of belief update from theories of action (II),?Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 1993."},{"key":"CR9","unstructured":"del Val, A., ?Syntactic characterizations of belief change operators,?Proceedings of the Thirteenth International Joint Conference on Artificial Intelligence, 1993."},{"key":"CR10","unstructured":"del Val, A., Belief Revision and Update,' Ph.D. dissertation, Stanford University, 1993."},{"key":"CR11","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 (1979) 231?272.","journal-title":"Artificial Intelligence"},{"key":"CR12","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0004-3702(84)90038-9","volume":"24","author":"K. D. Forbus","year":"1984","unstructured":"Forbus, K. D., ?Qualitative process theory,?Artificial Intelligence 24 (1984) 85?168.","journal-title":"Artificial Intelligence"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Forbus, K. D., ?Introducing actions into qualitative simulation,?Proceedings of the Eleventh International Joint Conference on Artificial Intelligence, Detroit, 1989, pp. 1273?1278.","DOI":"10.21236\/ADA466199"},{"issue":"3","key":"CR14","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/0004-3702(91)90043-J","volume":"52","author":"M. Freund","year":"1991","unstructured":"Freund, M., Lehmann, D. and Morris, P., ?Rationality, transitivity, and contraposition,?Artificial Intelligence 52 no. 3 (1991) 191?203.","journal-title":"Artificial Intelligence"},{"issue":"9","key":"CR15","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0898-1221(90)90112-W","volume":"20","author":"G. Friedrich","year":"1990","unstructured":"Friedrich, G., Gottlob, G. and Nejdl, W., ?Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques,?Computers and Mathematics with Applications 20, no. 9?10 (1990) 57?72.","journal-title":"Computers and Mathematics with Applications"},{"key":"CR16","unstructured":"G\u00e4rdenfors, P. and Makinson, D., ?Revisions of knowledge systems using epistemic entrenchment,?Proceedings of the Second Conference on Theoretical Aspects of Reasoning About Knowledge, Asilomar, 1988, pp. 83?95."},{"key":"CR17","unstructured":"G\u00e4rdenfors, P.,Knowledge in Flux: Modeling the Dynamics of Epistemic States, Bradford Books, MIT Press, 1988."},{"key":"CR18","first-page":"24","volume":"44","author":"P. G\u00e4rdenfors","year":"1990","unstructured":"G\u00e4rdenfors, P., ?The dynamics of belief systems: foundations vs. coherence theories,?Revue Internationale de Philosophie 44 (1990) 24?46.","journal-title":"Revue Internationale de Philosophie"},{"key":"CR19","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1016\/B978-0-934613-32-3.50020-4","volume-title":"The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop","author":"M. L. Ginsberg","year":"1987","unstructured":"Ginsberg, M. L. and Smith, D. E., ?Reasoning about action I: A possible worlds approach,? in Brown (ed.),The Frame Problem in Artificial Intelligence: Proceedings of the 1987 Workshop, Morgan Kaufmann Publishers, Los Altos, Calif., 1987, pp. 233?258."},{"key":"CR20","unstructured":"Grahne, G., ?Updates and counterfactuals,?Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, Mass., 1991, pp. 269?276."},{"key":"CR21","unstructured":"Grahne, G. and Mendelzon, A. O., ?Updates and subjunctive queries,? University of Toronto Technical Report KRR-TR-91-4, 1991;Information and Computation (to appear)."},{"key":"CR22","unstructured":"Grahne, G., Mendelzon, A. O. and Reiter, R., ?On the semantics of belief revision systems,?Proceedings of the Conference on Theoretical Aspects of Reasoning about Knowledge, 1992."},{"key":"CR23","doi-asserted-by":"crossref","unstructured":"Hegner, S., ?Specification and implementation of programs for updating incomplete information databases,?Proceedings of the Sixth Symposium on Principles of Database Systems, San Diego, 1987, pp. 146?158.","DOI":"10.1145\/28659.28675"},{"key":"CR24","unstructured":"Katsuno, H. and Mendelzon, A. O., ?A unified view of propositional knowledge base updates,?Proceedings of the International Joint Conference on Artificial Intelligence, Detroit, 1989."},{"key":"CR25","unstructured":"Katsuno, H. and Mendelzon, A. O., ?Propositional knowledge base revision and minimal change,? Technical Reports on KR & R, Computer Science Department, University of Toronto, KRR-TR-90-3, 1990."},{"key":"CR26","unstructured":"Katsuno, H. and Mendelzon, A. O., ?On the difference between updating a knowledge base and revising it,?Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, Mass., 1991, pp. 387?394."},{"key":"CR27","unstructured":"Katsuno, H. and Satoh, K., ?A unified view of consequence relation, belief revision and conditional logic,?Proceedings of the International Joint Conference on Artificial Intelligence, Sidney, Australia, 1991, pp. 406?412, Morgan Kaufmann."},{"issue":"7","key":"CR28","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1109\/TSE.1985.232506","volume":"SE-11","author":"A. M. Keller","year":"1985","unstructured":"Keller, A. M. and Winslett, M., ?On the use of an extended relational model to handle changing incomplete information,?IEEE Transactions on Software Engineering SE-11(7) (1985) 620?633.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"CR29","unstructured":"Lehmann, D., ?What does a conditional knowledge base entail??Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning, Toronto, 1989, pp. 212?222."},{"key":"CR30","unstructured":"Lin, F. and Shoham, Y., ?Provably correct theories of action (preliminary report),?Proceedings of the Tenth National Conference on Artificial Intelligence, Anaheim, Calif., 1991."},{"key":"CR31","doi-asserted-by":"crossref","unstructured":"Makinson, D., ?General theory of cumulative inference,?Non-Monotonic Reasoning, Springer-Verlag Lecture Notes on Artificial Intelligence, No. 346, 1989.","DOI":"10.1007\/3-540-50701-9_16"},{"key":"CR32","unstructured":"Myers, K. and Smith, D. E., ?On the persistence of derived information,?National Conference on Artificial Intelligence, Minneapolis, 1988."},{"key":"CR33","unstructured":"Nejdl, W., ?The P-systems: A systematic classification of logics of non-monotonicity,?Proceedings of the National Conference on Artificial Intelligence, Anaheim, Calif., 1991, pp. 366?372."},{"key":"CR34","unstructured":"Pfau, M. and Nejdl, W., ?Integrating model-based and heuristic features in a realtime expert system for power distribution networks,? 1991 (submitted)."},{"key":"CR35","unstructured":"Rao, A. S. and Foo, N. Y., ?Minimal change and maximal coherence: A basis for belief revision and reasoning about actions,?Proceedings of the International Joint Conference on Artificial Intelligence, Detroit, 1989."},{"key":"CR36","volume-title":"Principles of Knowledge Representation and Reasoning: Proceedings of the First International Conference","author":"A. S. Rao","year":"1989","unstructured":"Rao, A. S. and Foo, N. Y., ?Formal theories of belief revision,? in R. J. Brachman, H. J. Levesque and R. Reiter (eds.),Principles of Knowledge Representation and Reasoning: Proceedings of the First International Conference, San Mateo, Calif., Morgan Kaufmann, 1989."},{"key":"CR37","doi-asserted-by":"crossref","unstructured":"Reiter, R., ?A theory of diagnosis from first principles,?Artificial Intelligence, 1987.","DOI":"10.1016\/0004-3702(87)90062-2"},{"key":"CR38","unstructured":"Sandewall, E., ?Filter preferential entailment for the logic of action in almost continuous worlds,?Proceedings of the International Joint Conference on Artificial Intelligence, Detroit, 1989."},{"key":"CR39","unstructured":"Satoh, K., ?Nonmonotonic reasoning by minimal belief revision,?Proceedings of the International Conference on Fifth Generation Computer Systems 1988, ICOT, 1988, pp. 455?462."},{"key":"CR40","unstructured":"Weber, A., ?Updating propositional formulas,?Proceedings of the First International Expert Database Systems Conference, Charleston, S.C., 1986, pp. 487?500."},{"key":"CR41","doi-asserted-by":"crossref","unstructured":"Winslett, M., ?A framework for comparison of update semantics,?Proceedings of the 7th ACM Symposium on Principles of Database Systems, 1988.","DOI":"10.1145\/308386.308465"},{"key":"CR42","unstructured":"Winslett, M., ?Reasoning about action using a possible models approach,?Proceedings of the Seventh National Conference on Artificial Intelligence, Minneapolis, 1988, pp. 89?93."},{"key":"CR43","doi-asserted-by":"crossref","unstructured":"Winslett, M. and Chou, T., ?Updates with equality: Beyond the Herbrand universe assumption,?Proceedings of 6th Int'l Symposium on Methodologies for Intelligent Systems, Charlotte, N.C., 1991, pp. 276?285.","DOI":"10.1007\/3-540-54563-8_91"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881886.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00881886\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00881886","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,4]],"date-time":"2020-04-04T23:54:28Z","timestamp":1586044468000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00881886"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":43,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994]]}},"alternative-id":["BF00881886"],"URL":"https:\/\/doi.org\/10.1007\/bf00881886","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"value":"0168-7433","type":"print"},{"value":"1573-0670","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}