{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:37:54Z","timestamp":1725471474081},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540659228"},{"type":"electronic","value":"9783540488552"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10703163_6","type":"book-chapter","created":{"date-parts":[[2006,10,9]],"date-time":"2006-10-09T14:15:50Z","timestamp":1160403350000},"page":"73-89","source":"Crossref","is-referenced-by-count":4,"title":["Revision Programming = Logic Programming + Integrity Constraints"],"prefix":"10.1007","author":[{"given":"Victor","family":"Marek","sequence":"first","affiliation":[]},{"given":"Inna","family":"Pivkina","sequence":"additional","affiliation":[]},{"given":"Miros\u0142aw","family":"Truszczy\u0144ski","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","series-title":"Lecture Notes in Computer Science","first-page":"342","volume-title":"Logic programming and nonmonotonic reasoning","author":"C. Aravindan","year":"1997","unstructured":"Aravindan, C., Dix, J., Niemel\u00e4, I.: DisLoP: Towards a disjunctive logic programming system. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 342\u2013353. Springer, Heidelberg (1997)"},{"key":"6_CR2","unstructured":"Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic logic programming. In: Accepted at KR 1998: Sixth International Conference on Principles of Knowledge Representation and Reasoning, Trento, Italy (June 1998)"},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/BFb0023804","volume-title":"Non-Monotonic Extensions of Logic Programming (Bad Honnef 1996)","author":"J.J. Alferes","year":"1997","unstructured":"Alferes, J.J., Pereira, L.M.: Update-programs can update programs. In: Dix, J., Przymusinski, T.C., Moniz Pereira, L. (eds.) NMELP 1996. LNCS, vol.\u00a01216, pp. 110\u2013131. Springer, Heidelberg (1997)"},{"issue":"1","key":"6_CR4","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0743-1066(96)00080-5","volume":"30","author":"C. Baral","year":"1997","unstructured":"Baral, C.: Embedding revision programs in logic programming situation calculus. Journal of Logic Programming\u00a030(1), 83\u201397 (1997)","journal-title":"Journal of Logic Programming"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/BFb0023806","volume-title":"Non-monotonic extensions of logic programming (Bad Honnef 1996)","author":"N. Bidoit","year":"1997","unstructured":"Bidoit, N., Maabout, S.: Update programs versus revision programs. In: Dix, J., Przymusinski, T.C., Moniz Pereira, L. (eds.) NMELP 1996. LNCS, vol.\u00a01216, pp. 151\u2013170. Springer, Heidelberg (1997)"},{"key":"6_CR6","series-title":"MIT Press Series in Logic Programming","first-page":"267","volume-title":"Logic programming (Kanagawa 1995)","author":"P. Cholewi\u0144ski","year":"1995","unstructured":"Cholewi\u0144ski, P., Marek, W., Mikitiuk, A., Truszczy\u0144ski, M.: Experimenting with nonmonotonic reasoning. In: Logic programming (Kanagawa 1995). MIT Press Series in Logic Programming, pp. 267\u2013281. MIT Press, Cambridge (1995)"},{"issue":"3-4","key":"6_CR7","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1007\/BF01536399","volume":"15","author":"T. Eiter","year":"1995","unstructured":"Eiter, T., Gottlob, G.: On the computational cost of disjunctive logic programming: propositional case. Annals of Mathematics and Artificial Intelligence\u00a015(3-4), 289\u2013323 (1995)","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","first-page":"364","volume-title":"Logic programming and nonmonotonic reasoning","author":"T. Eiter","year":"1997","unstructured":"Eiter, T., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: A deductive system for non-monotonic reasoning. In: Fuhrbach, U., Dix, J., Nerode, A. (eds.) LPNMR 1997. LNCS, vol.\u00a01265, pp. 364\u2013375. Springer, Heidelberg (1997)"},{"key":"6_CR9","first-page":"69","volume-title":"Principles of Knowledge Representation","author":"V. Lifschitz","year":"1996","unstructured":"Lifschitz, V.: Foundations of logic programming. In: Principles of Knowledge Representation, pp. 69\u2013127. CSLI Publications, Stanford (1996)"},{"key":"6_CR10","unstructured":"Lifschitz, V., Tang, L.R., Turner, H.: Nested expressions in logic programs (1997) (unpublished draft)"},{"key":"6_CR11","unstructured":"Lifschitz, V., Woo, T.Y.C.: Answer sets in general nonmonotonic reasoning. In: Proceedings of the 3rd international conference on principles of knowledge representation and reasoning, KR 1992, San Mateo, CA, pp. 603\u2013614. Morgan Kaufmann, San Francisco (1992)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0021968","volume-title":"Logics in artificial intelligence","author":"W. Marek","year":"1994","unstructured":"Marek, W., Truszczy\u0144ski, M.: Revision specifications by means of programs. In: MacNish, C., Moniz Pereira, L., Pearce, D.J. (eds.) JELIA 1994. LNCS, vol.\u00a0838, pp. 122\u2013136. Springer, Heidelberg (1994)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"368","DOI":"10.1007\/3-540-58907-4_28","volume-title":"Proceedings of the 5th International Conference on Database Theory | ICDT 95","author":"W. Marek","year":"1995","unstructured":"Marek, W., Truszczy\u0144ski, M.: Revision programming, database updates and integrity constraints. In: Y. Vardi, M., Gottlob, G. (eds.) ICDT 1995. LNCS, vol.\u00a0893, pp. 368\u2013382. Springer, Heidelberg (1995)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","first-page":"1978","volume-title":"IJCAI-1995","author":"N. McCain","year":"1997","unstructured":"McCain, N., Turner, H.: A causal theory of ramifications and qualifications. In: Martin, T., L. Ralescu, A. (eds.) IJCAI-WS 1995. LNCS, vol.\u00a01188, pp. 1978\u20131984. Springer, Heidelberg (1997)"},{"issue":"2","key":"6_CR15","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1016\/S0304-3975(97)00092-3","volume":"190","author":"W. Marek","year":"1998","unstructured":"Marek, W., Truszczy\u0144ski, M.: Revision programming. Theoretical Computer Science\u00a0190(2), 241\u2013277 (1998)","journal-title":"Theoretical Computer Science"},{"key":"6_CR16","volume-title":"Proceedings of JICSLP-1996","author":"I. Niemel\u00e4","year":"1996","unstructured":"Niemel\u00e4, I., Simons, P.: Efficient implementation of the well-founded and stable model semantics. In: Proceedings of JICSLP-1996. MIT Press, Cambridge (1996)"},{"issue":"2","key":"6_CR17","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0743-1066(96)00091-X","volume":"30","author":"T.C. Przymusinski","year":"1997","unstructured":"Przymusinski, T.C., Turner, H.: Update by means of inference rules. Journal of Logic Programming\u00a030(2), 125\u2013143 (1997)","journal-title":"Journal of Logic Programming"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"344","DOI":"10.1007\/3-540-59487-6_25","volume-title":"Logic programming and nonmonotonic reasoning (Lexington, KY, 1995)","author":"C. Sakama","year":"1995","unstructured":"Sakama, C., Inoue, K.: Embedding circumscriptive theories in general disjunctive programs. In: Marek, V.W., Truszczy\u0144ski, M., Nerode, A. (eds.) LPNMR 1995. LNCS, vol.\u00a0928, pp. 344\u2013357. Springer, Heidelberg (1995)"},{"issue":"1-3","key":"6_CR19","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0743-1066(96)00125-2","volume":"31","author":"H. Turner","year":"1997","unstructured":"Turner, H.: Representing actions in logic programs and default theories: a situation calculus approach. Journal of Logic Programming\u00a031(1-3), 245\u2013298 (1997)","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Computer Science Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10703163_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T15:29:12Z","timestamp":1558279752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10703163_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540659228","9783540488552"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/10703163_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}