{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:07:58Z","timestamp":1761620878494},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1994,4,1]],"date-time":"1994-04-01T00:00:00Z","timestamp":765158400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Lang Inf"],"published-print":{"date-parts":[[1994,4]]},"DOI":"10.1007\/bf01110611","type":"journal-article","created":{"date-parts":[[2005,2,5]],"date-time":"2005-02-05T17:22:48Z","timestamp":1107624168000},"page":"81-119","source":"Crossref","is-referenced-by-count":7,"title":["Deriving properties of belief update from theories of action"],"prefix":"10.1007","volume":"3","author":[{"given":"Alvaro","family":"Del Val","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yoav","family":"Shoham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P. and Makinson, D., 1985, ?On the logic of theory change: Partial meet functions for contraction and revision?,Journal of Symbolic Logic 50, 510?530.","journal-title":"Journal of Symbolic Logic"},{"key":"CR2","first-page":"584","volume-title":"Proceedings of the Tenth Conference of the AAAI","author":"A Val del","year":"1992","unstructured":"del Val, A, and Shoham, Y., 1992, ?Deriving properties of belief update from theories of action?, inProceedings of the Tenth Conference of the AAAI, AAAI Press, Menlo Park, CA, 584?589."},{"key":"CR3","unstructured":"del Val, A. ?Belief Revision and Update?, Ph.D. thesis. Stanford University, march 1993."},{"key":"CR4","doi-asserted-by":"crossref","unstructured":"del Val, A. and Shoham, Y., 1994. ?A unified view of belief revision and updata?.Journal of logic and computation (in press).","DOI":"10.1093\/logcom\/4.5.797"},{"key":"CR5","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1111\/j.1467-8640.1985.tb00055.x","volume":"1","author":"D.W. Etherington","year":"1985","unstructured":"Etherington, D.W., Mercer, R.E. and Reiter, R., 1985, ?On the adequacy of predicate circumscription for closed world reasoning?,Computational Intelligence 1, 11?15.","journal-title":"Computational Intelligence"},{"key":"CR6","volume-title":"Knowledge in Flux: Modeling the Dynamics of Epistemic States","author":"P. G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors, P., 1988,Knowledge in Flux: Modeling the Dynamics of Epistemic States, Cambridge, MA: The MIT Press, Bradford Books."},{"key":"CR7","first-page":"661","volume-title":"Proceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92)","author":"M. Goldszmidt","year":"1992","unstructured":"Goldszmidt, M. and Pearl, J., 1992, ?Rank-based systems: A simple approach to belief revision, belief update and reasoning about evidence and actions?, inProceedings of the Third International Conference on Principles of Knowledge Representation and Reasoning (KR'92), Nebel, B., Rich, C, and Swartout, W. (eds.) Morgan Kaufmann, San Mateo, CA, 661?672."},{"key":"CR8","first-page":"406","volume-title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence","author":"H. Katsuno","year":"1989","unstructured":"Katsuno, H. and Mendelzon, A.O., 1989, ?A unified view of propositional knowledge base updates?, inProceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI Inc. Menlo Park, CA, 406?412."},{"key":"CR9","first-page":"387","volume-title":"Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91)","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H. and Mendelzon, A.O., 1991, ?On the difference between updating a knowledge database and revising it?, inProceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91), Allen, J., Fikes, R., Sandewall, E. (eds.), Morgan Kaufmann, San Mateo, CA, 387?394."},{"key":"CR10","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/0004-3702(86)90028-7","volume":"28","author":"V. Lifschitz","year":"1986","unstructured":"Lifschitz, V., 1986, ?On the satisfiability of circumscription?,Artificial Intelligence 28, 17?27.","journal-title":"Artificial Intelligence"},{"key":"CR11","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/0004-3702(90)90021-Q","volume":"46","author":"V. Lifschitz","year":"1990","unstructured":"Lifschitz, V., 1990, ?Frames in the space of situations?,Artificial Intelligence 46, 365?376.","journal-title":"Artificial Intelligence"},{"key":"CR12","first-page":"349","volume-title":"Proceedings of the Ninth Conference of the AAAI","author":"F. Lin","year":"1991","unstructured":"Lin, F. and Shoham, Y., 1991, ?Provably correct theories of action (preliminary report)?, inProceedings of the Ninth Conference of the AAAI, AAAI Press, Menlo Park, CA, 349?354."},{"key":"CR13","first-page":"590","volume-title":"Proceedings of the Tenth Conference of the AAAI","author":"F. Lin","year":"1992","unstructured":"Lin, F. and Shoham, Y, 1992, ?Current actions in situation calculus?, inProceedings of the Tenth Conference of the AAAI, AAAI Press, Menlo Park, CA, 590?595."},{"key":"CR14","first-page":"496","volume-title":"Proceedings of the Seventh Conference of the AAAI","author":"K.L. Myers","year":"1988","unstructured":"Myers, K.L. and Smith, D.E., 1988, ?The persistence of derived information?, inProceedings of the Seventh Conference of the AAAI, AAAI Press, Menlo Park, CA, 496?500."},{"key":"CR15","unstructured":"Reiter, R.R., 1992a, ?On specifying database updates?,Technical Report KRR-TR-92-5, Computer Science Department, University of Toronto."},{"key":"CR16","unstructured":"Reiter, R.R., 1992b, ?On formalizing database updates: Preliminary report?, inProceedings of the Third International Conference on Extending Database Technology."},{"key":"CR17","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1007\/978-94-009-0553-5_2","volume-title":"Knowledge Representation and Defeasible Reasoning","author":"L.K. Schubert","year":"1990","unstructured":"Schubert, L.K., 1990, ?Monotonic solution of the frame problem in situation calculus: An efficient method for worlds with fully specified actions?, inKnowledge Representation and Defeasible Reasoning, Kyberg, H.E., Loui, R.P. and Carlson, G.N., (eds.), Dordrecht, Kluwer Academic Publishers, 23?67."},{"key":"CR18","first-page":"89","volume-title":"Proceedings of the Seventh Conference of the AAAI","author":"M. Winslett","year":"1988","unstructured":"Winslett, M., 1988, ?Reasoning about action using a possible models approach?, inProceedings of the Seventh Conference of the AAAI, AAAI Press, Menlo Park, CA, 89?93."},{"key":"CR19","first-page":"859","volume-title":"Proceedings of the Eleventh International Joint Conference on Artificial Intelligence","author":"M. Winslett","year":"1989","unstructured":"Winslett, M., 1989, ?Sometimes updates are circumscription?, inProceedings of the Eleventh International Joint Conference on Artificial Intelligence, IJCAI Inc. Menlo Park, CA, 859?863."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01110611.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01110611\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01110611","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T16:23:28Z","timestamp":1586103808000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01110611"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,4]]},"references-count":19,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,4]]}},"alternative-id":["BF01110611"],"URL":"https:\/\/doi.org\/10.1007\/bf01110611","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,4]]}}}