{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:55Z","timestamp":1725664675337},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540594871"},{"type":"electronic","value":"9783540492825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59487-6_6","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:19:45Z","timestamp":1330258785000},"page":"71-84","source":"Crossref","is-referenced-by-count":7,"title":["Update rules in datalog programs"],"prefix":"10.1007","author":[{"given":"M. Halfeld","family":"Ferrari Alves","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Laurent","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Spyratos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"6_CR1","unstructured":"J. J. Alferes and L. M. Pereira. On logic of program semantics with two kinds of negation. In Proceedings of the Joint International Conference and Symposium of Logic Programming, 1992."},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"N. Bidoit. Negation in rule-based database languages: a survey. Theoretical Computer Science, 78(1), 1991.","DOI":"10.1016\/0304-3975(51)90003-5"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"N. Bidoit and Ch. Froidevaux. Negation by default and unstratifiable logic programs. Theoretical Computer Science, 78(1), 1991.","DOI":"10.1016\/0304-3975(51)90004-7"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"S. Ceri, G.Gottlob, and L.Tanca. Logic Programming and Databases. Springer-Verlag, 1990.","DOI":"10.1007\/978-3-642-83952-8"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"A. Van Gelder, K.A. Ross, and J.S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3), 1991.","DOI":"10.1145\/116825.116838"},{"key":"6_CR6","unstructured":"M. Gelfond and V. Lifschitz. Logic programming with classical negation. In Proceedings of the Seventh International Conference of Logic Programming, 1990."},{"key":"6_CR7","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In Proceedings of the Fifth International Conference and Symposium of Logic Programming, 1990."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"M. Gelfond, H. Przymusinka, and T. Przymusinki. On the relationship between circumscription and negation as failure. Artificial Inteligence, 38(1), 1989.","DOI":"10.1016\/0004-3702(89)90068-4"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"M. Halfeld Ferrari Alves, D. Laurent, and N. Spyratos. Passive and active rules in deductive databases. Technical Report LRI, Universit\u00e9 de Paris-Sud, 1994.","DOI":"10.1007\/3-540-58338-6_85"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"M. Halfeld Ferrari Alves, D. Laurent, and N. Spyratos. Passive and active rules in deductive databases. In Proceedings of the International Symposium on Mathematical Foundations of Computer Science, number 841 in LNCS \u2014 Lecture Notes in Computer Science. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58338-6_85"},{"key":"6_CR11","unstructured":"M. Halfeld Ferrari Alves, D. Laurent, and N. Spyratos. Update driven rules in Datalogneg databases. Technical Report 94-06, LIFO, Universit\u00e9 d'Orl\u00e9ans, 1994."},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"M. Halfeld Ferrari Alves, D. Laurent, and N. Spyratos. Update rules in Datalog programs. Technical Report LRI, Universit\u00e9 de Paris-Sud, 1995.","DOI":"10.1007\/3-540-59487-6_6"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"K. Konolige. On the relation between default and autoepistemisc logic. Artificial Inteligence, 35, 1989.","DOI":"10.1016\/0004-3702(88)90021-5"},{"key":"6_CR14","unstructured":"R. A. Kowalski and F. Sadri. Logic programs with exceptions. In Proceedings of the Seventh International Conference of Logic Programming, 1990."},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second extended edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"6_CR16","unstructured":"T. C. Przymusinki. On the relationship between logic programming and nonmontonic reasoning. In The seventh National Conference of Artificial Intelligence, Saint Paul, Minnesota, 1988."},{"key":"6_CR17","volume-title":"Logic and data bases","author":"R. Reiter","year":"1978","unstructured":"R. Reiter. On closed word databases. In H. Gallaire and J. Minker, editors, Logic and data bases. Plenum Press, New York, 1978."},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"J. C. Shepherdson. Negation in logic programming. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming. Morgan Kaufmann Publishers, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50005-1"},{"key":"6_CR19","unstructured":"J.D. Ullman. Principles of Databases and Knowledge Base Systems, volume I and II. Computer Science Press, 1989."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59487-6_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:27:27Z","timestamp":1605630447000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59487-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594871","9783540492825"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-59487-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}