{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:39Z","timestamp":1725664719802},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540630456"},{"type":"electronic","value":"9783540690658"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63045-7_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:00:46Z","timestamp":1330297246000},"page":"67-77","source":"Crossref","is-referenced-by-count":0,"title":["Recognition of deductive data base stability"],"prefix":"10.1007","author":[{"given":"Michael I.","family":"Dekhtyar","sequence":"first","affiliation":[]},{"given":"Alexander","family":"Dikovsky","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,25]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of deductive databases and logic programming","author":"K.R. Apt","year":"1988","unstructured":"Apt, K.R., Blair, H. and Walker A., Towards a theory of declarative knowledge. in: J. Minker (ed.) Foundations of deductive databases and logic programming. Morgan Kaufman Pub., Los Altos, 89\u2013148, 1988."},{"issue":"n.1","key":"8_CR2","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/322234.322243","volume":"28","author":"A.K. Chandra","year":"1981","unstructured":"Chandra, A.K., Kozen, D.C., Stockmeyer, L.J., Alternation. J. Ass. Comput. Mach., v.28, n.1, 114\u2013133, 1981.","journal-title":"J. Ass. Comput. Mach."},{"key":"8_CR3","unstructured":"Dayal, U., Hanson,E., and Widom, J., Active database systems. In W. Kim (ed.) Modern Database Systems. 436\u2013456, Addison Wesley, 1995."},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Dekhtyar, M.I., Dikovsky, A.Ja., Dynamic Deductive Data Bases with Steady Behavior. In L. Sterling (ed.) Proc. of the 12th International Conf. on Logic Programming, The MIT Press, 183\u2013197, 1995.","DOI":"10.7551\/mitpress\/4298.003.0026"},{"key":"8_CR5","unstructured":"Dekhtyar, M.I., Dikovsky, A.Ja., On Homeostatic Behavior of Dynamic Deductive Data Bases. In: D. Bjorner, M.Broy, I.Pottosin (eds.) Proc. 2nd Int. A.P.Ershov Memorial Conference \u201cPerspectives of System Informatics\u201d. Lecture Notes in Computer Science. 1996, Vol. 1181, 420\u2013432."},{"key":"8_CR6","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0004-3702(92)90018-S","volume":"57","author":"T. Eiter","year":"1992","unstructured":"Eiter, T., Gottlob, G., On the complexity of propositional knowledge base revision, updates, and counterfactuals. Artificial Intelligence, vol. 57, 227\u2013270, 1992.","journal-title":"Artificial Intelligence"},{"key":"8_CR7","first-page":"1070","volume-title":"The stable semantics for logic programs","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V., The stable semantics for logic programs. In: R.Kovalsky and K.Bowen (eds.) Proc. of the 5th Intern. Symp. on Logic Programming. 1070\u20131080, Cambridge, MA, 1988, MIT Press."},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Gottlob, G., Moercotte, G., Subrahmanian, V.S., The PARK semantics for Active Databases. In Proc. of EDBT'96. Avignon, France, 1996.","DOI":"10.1007\/BFb0014142"},{"key":"8_CR9","unstructured":"Halfeld Ferrari Alves, M., Laurent, D., Spyratos, N. Update rules in Datalog programs. Rapport de Recherche n. 1024, 01 \/ 1996, Universit\u00e9 de Paris-Sud, Centre d'Orsay, LRI."},{"key":"8_CR10","doi-asserted-by":"crossref","first-page":"253","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, vol. 52, 253\u2013294, 1991.","journal-title":"Artificial Intelligence"},{"key":"8_CR11","first-page":"368","volume":"n. 893","author":"V.W. Marek","year":"1995","unstructured":"Marek, V.W., Truszci\u0144sky, M. Revision programming, database updates and integrity constraints. In: International Conference on Data Base theory, ICDT, LNCS n. 893, 368\u2013382, 1995.","journal-title":"ICDT, LNCS"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Przymusinski, T.C., Turner, H., Update by Means of Inference Rules. In: V.W.Marek, A.Nerode, M.Truszczy\u0144ski (eds.) Logic Programming and Nonmonotonic Reasoning, Proc. of the Third Int. Conf. LPNMR'95, Lexington, KY, USA, 166\u2013174, 1995.","DOI":"10.1007\/3-540-59487-6_12"}],"container-title":["Lecture Notes in Computer Science","Logical Foundations of Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63045-7_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T18:01:37Z","timestamp":1713636097000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63045-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540630456","9783540690658"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-63045-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}