{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:59Z","timestamp":1725664919292},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540606086"},{"type":"electronic","value":"9783540484608"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60608-4_51","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:46:00Z","timestamp":1330289160000},"page":"378-394","source":"Crossref","is-referenced-by-count":1,"title":["A mixed approach to negation in general Datalog programs"],"prefix":"10.1007","author":[{"given":"V. Phan","family":"Luong","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"unstructured":"K.R. Apt, H. Blair, A. Walker, \u201dTowards a theory of declarative knowledge\u201d, Proc. Workshop on the Foundations of Deductive Databases and Logic Programming, 1986; also in [16].","key":"21_CR1"},{"doi-asserted-by":"crossref","unstructured":"P. Atzeni, R. Torlone, \u201dUpdating Intensional Predicates in Datalog\u201d, Data & Knowledge Engineering, 8, 1992.","key":"21_CR2","DOI":"10.1016\/0169-023X(92)90002-S"},{"doi-asserted-by":"crossref","unstructured":"N. Bidoit, \u201dNegation in Rule-Based Database Languages: a Survey\u201d, Theoretical Computer Sciences, 78, 1991.","key":"21_CR3","DOI":"10.1016\/0304-3975(51)90003-5"},{"doi-asserted-by":"crossref","unstructured":"N. Bidoit, C. Froidveaux, \u201dNegation by Default and Unstratifiable Logic Programs'\u201d, Theoretical Computer Sciences, 78, 1991.","key":"21_CR4","DOI":"10.1016\/0304-3975(51)90004-7"},{"unstructured":"F. Bry, \u201dIntensional Updates: Abduction via Deduction\u201d, Int. Symposium of Logic Programming, 1990.","key":"21_CR5"},{"doi-asserted-by":"crossref","unstructured":"A. Chandra, D. Harel, \u201dHorn clause queries and generalizations\u201d, Logic Programming 2 (1), 1985.","key":"21_CR6","DOI":"10.1016\/0743-1066(85)90002-0"},{"key":"21_CR7","first-page":"293","volume-title":"Logic and Databases","author":"K. L. Clark","year":"1978","unstructured":"K. L. Clark, \u201dNegation as Failure\u201d, in Logic and Databases (H. Gallaire and J. Minker Editors) Plenum Press, New-York, 1978, pp. 293\u2013322."},{"key":"21_CR8","first-page":"201","volume":"7","author":"M. Davis","year":"1960","unstructured":"M. Davis, H. Putnam, \u201dA computing procedure for quantification theory\u201d, ACM 7, 1960, pp. 201\u2013215.","journal-title":"ACM"},{"unstructured":"M. Gelfond, V. Lifschitz, \u201dThe stable model semantics for logic programming\u201d, in Kowalski and Bowen editors, Logic Programming: Proc. of the Fifth Int. Conf. and Symp., pp. 1070\u20131080, 1988.","key":"21_CR9"},{"unstructured":"M. Gelfond, V. Lifschitz, \u201dLogic Programs with Classical Negation\u201d, in Warren and Szeredi, editors, 7th Int. Conf. on Logic Programming, pp. 579\u2013597. MIT Press, 1990.","key":"21_CR10"},{"doi-asserted-by":"crossref","unstructured":"K. Inoue, \u201dHypothetical Reasoning in Logic Programs\u201d, J. Logic Programming, No. 18, 1994.","key":"21_CR11","DOI":"10.1016\/0743-1066(94)90043-4"},{"key":"21_CR12","first-page":"598","volume-title":"Logic Programs with Exceptions","author":"R. A. Kowalski","year":"1990","unstructured":"R. A. Kowalski, F. Sadri, \u201dLogic Programs with Exceptions\u201d, Proceedings of the 7th Int. Conf. on Logic Programming, Jerusalem, Israel, in D. H. D. Warren and P. Szeredi (eds), pp. 598\u2013613. MIT Press, Cambridge, MA, 1990."},{"key":"21_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd, \u201dFoundations of Logic Programming\u201d, Springer Verlag, Berlin, second extended edition, 1987.","edition":"second extended"},{"unstructured":"D. Laurent, V. Phan Luong, N. Spyratos, \u201dUpdating Intensional Predicates in Deductive Database\u201d, The 9th IEEE ICDE'93 (Int. Conf. on Data Engineering), Vienna (Austria), 1993.","key":"21_CR14"},{"key":"21_CR15","volume-title":"LNCS","author":"D. Laurent","year":"1993","unstructured":"D. Laurent, V. Phan Luong, N. Spyratos, \u201dDatabase Updating Revisited\u201d, The 3rd Int. Conf. DOOD'93 Phoenix, Arizona USA, 1993. LNCS, Springer-Verlag, No 760, 1993."},{"unstructured":"J. Minker, ed., \u201dFoundations of Deductive Databases and Logic Programming\u201d, Morgan Kaufmann, 1988.","key":"21_CR16"},{"unstructured":"S. A. Naqvi, \u201dA logic for negation in database systems\u201d, Proc. Workshop on the Foundations of Deductive Databases and Logic Programming, 1986.","key":"21_CR17"},{"doi-asserted-by":"crossref","unstructured":"V. Phan Luong, \u201dA mixed Approach to Negation in General Datalog Programs\u201d, Technical Report, L.I.M. (Laboratoire d'Informatique de Marseille), 1995.","key":"21_CR18","DOI":"10.1007\/3-540-60608-4_51"},{"key":"21_CR19","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"D. Poole, \u201dA Logic Framework for Default Reasonning\u201d, Artificial Intelligence, 36, 1988, pp. 27\u201347.","journal-title":"Artificial Intelligence"},{"unstructured":"T. Przymusinska, \u201dOn the semantics of stratified deductive databases\u201d, Proc. Workshop on the Foundations of Deductive Databases and Logic Programming, 1986; also in [16].","key":"21_CR20"},{"doi-asserted-by":"crossref","unstructured":"R. Reiter, \u201dA logic for Default Reasoning\u201d, Artificial Intelligence, 13, 1980.","key":"21_CR21","DOI":"10.1016\/0004-3702(80)90014-4"},{"key":"21_CR22","volume-title":"J. Comput. Syst. Sci. 1992","author":"A. Gelder Van","year":"1989","unstructured":"A. Van Gelder, \u201dThe Alternating Fixpoint of Logic Programs with Negation\u201d, J. Comput. Syst. Sci. 1992, (Preliminary abstract appeared in Proceedings of the 8th Annual ACM Symposium on Principles of Database Systems. ACM, New York, 1989)."},{"doi-asserted-by":"crossref","unstructured":"A. Van Gelder, K. A. Ross, J.S. Schlipf, \u201dThe Well Founded Semantics for General Logic Programs\u201d, Journal of the ACM, 38 (3), 1991.","key":"21_CR23","DOI":"10.1145\/116825.116838"},{"unstructured":"J. D. Ullman, \u201dPrinciples of Databases and Knowledge Base Systems\u201d, Vol. I, Computer Science Press, 1989.","key":"21_CR24"}],"container-title":["Lecture Notes in Computer Science","Deductive and Object-Oriented Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60608-4_51.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:00:31Z","timestamp":1605646831000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60608-4_51"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606086","9783540484608"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-60608-4_51","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}