{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:44Z","timestamp":1725664964942},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540617327"},{"type":"electronic","value":"9783540707400"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61732-9_68","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:17:35Z","timestamp":1330294655000},"page":"354-364","source":"Crossref","is-referenced-by-count":0,"title":["Soundness and completeness versus lifting property"],"prefix":"10.1007","author":[{"given":"Jan A.","family":"Plaza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"22_CR1","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19\/20","author":"K. R. Apt","year":"1994","unstructured":"K. R. Apt and R. N. Bol, Logic Programming And Negation: A Survey, Journal of Logic Programming Vol.19\/20, pp. 9\u201371, 1994.","journal-title":"Journal of Logic Programming"},{"key":"22_CR2","unstructured":"D. Chan, Constructive Negation Based on Completed Database, in [LPconf88], pp. 111\u2013125."},{"key":"22_CR3","unstructured":"D. Chan, An extension of constructive negation and its application in corouting, in [LPconfNA89], pp. 477\u2013493."},{"key":"22_CR4","first-page":"193","volume-title":"Logic and Databases","author":"K. L. Clark","year":"1978","unstructured":"K. L. Clark, Negation as Failure, in Logic and Databases, edited by H. Gallaire and J. Minker, Plenum Press, New York, 1978, pp. 193\u2013322."},{"key":"22_CR5","unstructured":"K. L. Clark, Predicate Logic as a Computational Formalism, Research Report DOC 79\/59, Dept. of Computing, Imperial College, 1979."},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"K. Doets, From Logic to Logic Programming MIT Press, 1994.","DOI":"10.7551\/mitpress\/3133.001.0001"},{"key":"22_CR7","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/BF03037151","volume":"9","author":"W. Drabent","year":"1991","unstructured":"W. Drabent and M.Martelli, Strict Completion of Logic Programs, New Generation Computing 9, pp. 69\u201379, 1991.","journal-title":"New Generation Computing"},{"key":"22_CR8","unstructured":"What is Failure? An Approach to Constructive Negation, Acta Informatica, to appear."},{"key":"22_CR9","unstructured":"K. Kunen, Answer Sets and Negation as Failure, in [LPconf87]."},{"issue":"no.3","key":"22_CR10","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0743-1066(89)90022-8","volume":"7","author":"K. Kunen","year":"1989","unstructured":"K. Kunen, Signed Data Dependencies in Logic Programs, Journal of Logic Programming, 1989, vol. 7, no. 3, pp.231\u2013247.","journal-title":"Journal of Logic Programming"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd, Foundations of Logic Programming, Second extended edition, Springer Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"22_CR12","unstructured":"J-L. Lassez (ed.), Logic Programming, Proceedings of the Fourth International Conference, MIT Press, 1987."},{"key":"22_CR13","unstructured":"R. A. Kowalski and K. A. Bowen (eds.), Logic Programming, Proceedings of the Fifth International Conference and Symposium, MIT Press, 1988."},{"key":"22_CR14","unstructured":"E. L. Lusk and R. A. Overbeek (eds.), Logic Programming, Proceedings of the North American Conference 1989, MIT Press, 1989."},{"key":"22_CR15","unstructured":"R. A. O'Keefe, The Craft of Prolog, MIT Press, 1990."},{"key":"22_CR16","unstructured":"J. A. Plaza, Fully Declarative Programming with Logic \u2014 Mathematical Foundations Ph.D. Dissertation, City University of New York, July 1990."},{"key":"22_CR17","doi-asserted-by":"crossref","unstructured":"J. A. Plaza, Completeness for propositional logic programs with negation, in: Methodologies for Intelligent Systems, 6th International Symposium, edited by Z. W. Ras and M. Zemankova, Springer Verlag, LNAI 542, 1991, pp. 600\u2013609.","DOI":"10.1007\/3-540-54563-8_123"},{"key":"22_CR18","doi-asserted-by":"crossref","unstructured":"J. A. Plaza, Fully Declarative Logic Programming, in Programming Language Implementation and Logic Programming, 4th International Symposium, edited by M. Bruynooghe and M. Wirsing, Springer Verlag, LNCS 631, 1992, pp. 415\u2013427.","DOI":"10.1007\/3-540-55844-6_151"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"J. A. Plaza, Operators on Lattices of omega-Herbrand Interpretations, in: A. Nerode and M. Taitslin (eds.) Logical Foundations of Computer Science \u2014 Tver '92, Second International Symposium, Tver, Russia, July 1992, Proceedings, Springer Verlag, LNCS 620, 1992 pp. 358\u2013369.","DOI":"10.1007\/BFb0023889"},{"key":"22_CR20","unstructured":"T. C. Przymusi\u0144ski, On Constructive Negation in Logic Programming, in [LPconfNA89], addendum."},{"key":"22_CR21","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/321250.321253","volume":"12","author":"J. A. Robinson","year":"1965","unstructured":"J. A. Robinson, A machine-oriented logic based on the resolution principle, J. ACM 12, 1965, pp. 23\u201341.","journal-title":"J. ACM"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61732-9_68.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:09:53Z","timestamp":1605647393000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61732-9_68"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540617327","9783540707400"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-61732-9_68","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}