{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:24:08Z","timestamp":1725575048574},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540233183"},{"type":"electronic","value":"9783540301325"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30132-5_146","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T02:15:59Z","timestamp":1294971359000},"page":"1079-1084","source":"Crossref","is-referenced-by-count":2,"title":["A Method of Belief Base Revision for Extended Logic Programs Based on State Transition Diagrams"],"prefix":"10.1007","author":[{"given":"Yasuo","family":"Kudo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tetsuya","family":"Murai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"146_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C., G\u00e4rdenfors, G., Makinson, D.: On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. Journal of Symbolic Logic\u00a050, 510\u2013530 (1985)","journal-title":"Journal of Symbolic Logic"},{"key":"146_CR2","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"J.J. Alferes","year":"2000","unstructured":"Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic Updates of Non-Monotonic Knowledge Bases. The Journal of Logic Programming\u00a045, 43\u201370 (2000)","journal-title":"The Journal of Logic Programming"},{"key":"146_CR3","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. MIT Press, Cambridge (1988)"},{"key":"146_CR4","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1093\/oso\/9780198537915.003.0002","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"G. G\u00e4rdenfors","year":"1995","unstructured":"G\u00e4rdenfors, G., Rott, H.: Belief Revision. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol.\u00a04, pp. 35\u2013132. Clarendon Press, Oxford (1995)"},{"key":"146_CR5","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing\u00a09, 365\u2013385 (1991)","journal-title":"New Generation Computing"},{"key":"146_CR6","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1111\/j.1755-2567.1989.tb00725.x","volume":"55","author":"S.O. Hansson","year":"1989","unstructured":"Hansson, S.O.: New Operators for Theory Change. Theoria\u00a055, 114\u2013132 (1989)","journal-title":"Theoria"},{"key":"146_CR7","doi-asserted-by":"publisher","first-page":"637","DOI":"10.1007\/BF01054039","volume":"22","author":"S.O. Hansson","year":"1993","unstructured":"Hansson, S.O.: Reversing the Levi Identity. Journal of Philosophical Logic\u00a022, 637\u2013669 (1993)","journal-title":"Journal of Philosophical Logic"},{"key":"146_CR8","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., Mendelzon, A.O.: Propositional Knowledge Base Revision and Minimal Change. Artificial Intelligence\u00a052, 263\u2013294 (1991)","journal-title":"Artificial Intelligence"},{"key":"146_CR9","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1017\/CBO9780511526664.007","volume-title":"Belief Revision","author":"H. Katsuno","year":"1992","unstructured":"Katsuno, H., Mendelzon, A.O.: On the Difference between Updating a Knowledge Base and Revising it. In: G\u00e4rdenfors, P. (ed.) Belief Revision, pp. 183\u2013203. Cambridge University Press, Cambridge (1992)"},{"key":"146_CR10","unstructured":"Kudo, Y., Murai, T.: Belief Base Revision of Horn Logic Programs Based on State Transition Diagrams. In: Proceedings of SCI 2004 (to appear, 2004)"},{"key":"146_CR11","unstructured":"Kudo, Y., Murai, T.: A Distinction Method of Revision and Update in Belief Change by State Transition Diagrams. In: Proceedings of the 18th Annual Conference of JSAI (in Japanese) (to appear)"},{"key":"146_CR12","first-page":"52","volume-title":"Cambridge Tracts in Theoretical Computer Science","author":"B. Nebel","year":"1992","unstructured":"Nebel, B.: Syntax-Based Approach to Belief Revision, Belief Revision. In: G\u00e4rdenfors, P. (ed.) Cambridge Tracts in Theoretical Computer Science, pp. 52\u201388. Cambridge University Press, Cambridge (1992)"},{"issue":"6","key":"146_CR13","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1017\/S1471068403001716","volume":"3","author":"C. Sakama","year":"2003","unstructured":"Sakama, C., Inoue, K.: An Abductive Framework for Computing Knowledge Base Updates. Theory and Practice of Logic Programming\u00a03(6), 671\u2013713 (2003)","journal-title":"Theory and Practice of Logic Programming"},{"key":"146_CR14","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1093\/oso\/9780198537915.003.0003","volume-title":"Handbook of Logic in Artificial Intelligence and Logic Programming","author":"M. Winslett","year":"1995","unstructured":"Winslett, M.: Epistemic Aspects of Databases. In: Gabbay, D.M., Hogger, C.J., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, 4th edn., pp. 133\u2013174. Clarendon Press, Oxford (1995)","edition":"4"},{"key":"146_CR15","unstructured":"Zhang, Y., Foo, N.Y.: Updating Logic Programs. In: Proceedings of the 13th European Conference on Artificial Intelligence. pp. 403\u2013407 (1998)"}],"container-title":["Lecture Notes in Computer Science","Knowledge-Based Intelligent Information and Engineering Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-30132-5_146.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,3]],"date-time":"2024-04-03T03:00:49Z","timestamp":1712113249000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30132-5_146"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540233183","9783540301325"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30132-5_146","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}