{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:42Z","timestamp":1725663822560},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573227"},{"type":"electronic","value":"9783540480631"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57322-4_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T07:48:49Z","timestamp":1330242529000},"page":"237-261","source":"Crossref","is-referenced-by-count":0,"title":["Gentzen-style characterizations of Negation as Failure"],"prefix":"10.1007","author":[{"given":"Jan A.","family":"Plaza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"unstructured":"K. R. Apt, Introduction to Logic Programming, in J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, North Holland, 1989.","key":"17_CR1"},{"doi-asserted-by":"crossref","unstructured":"K. R. Apt, H. A. Blair and A. Walker, Towards a Theory of Declarative knowledge, in [28], pp. 89\u201348.","key":"17_CR2","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"issue":"3","key":"17_CR3","doi-asserted-by":"crossref","first-page":"841","DOI":"10.1145\/322326.322339","volume":"29","author":"K. R. Apt","year":"1982","unstructured":"K. R. Apt and M. H. Van Emden, Contributions to the Theory of Logic Programming, J. ACM 29, 3, July 1982, pp. 841\u2013862.","journal-title":"J. ACM"},{"issue":"No3","key":"17_CR4","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1016\/0743-1066(89)90020-4","volume":"7","author":"L. Cavedon","year":"1989","unstructured":"L. Cavedon and J. W. Lloyd, A Completeness Theorem for SLDNF Resolution, Journal of logic programming, 1989, vol. 7, No 3, pp. 177\u2013192.","journal-title":"Journal of logic programming"},{"unstructured":"D. Chan, Constructive Negation Based on Completed Database, in [20], pp. 111\u2013125.","key":"17_CR5"},{"key":"17_CR6","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, H. Gallaire and J. Minker (eds.), Plenum Press, New York, 1978, 193\u2013322."},{"unstructured":"K. L. Clark, Predicate Logic as a Computational Formalism, Research Report DOC 79\/59, Dept. of Computing, Imperial College, 1979.","key":"17_CR7"},{"unstructured":"P. M. Dung and K. Kanchanasut, On the Generalized Predicate Completion of Non-Horn Programs, in [27], pp. 587\u2013603.","key":"17_CR8"},{"unstructured":"P. M. Dung and K. Kanchanasut, A Fixpoint Approach to Declarative Semantics of Logic Programs, in [27], pp. 604\u2013625.","key":"17_CR9"},{"unstructured":"M. Falaschi, G. Levi, M. Martelli, C. Palamidessi, A New Declarative Semantics for Logic Languages, in [20], pp. 993\u20131005.","key":"17_CR10"},{"key":"17_CR11","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/S0743-1066(85)80005-4","volume":"No 4","author":"M. Fitting","year":"1985","unstructured":"M. Fitting, A Kripke-Kleene Semantics for Logic Programs, Journal of Logic Programming, 1985, No 4, pp 295\u2013312.","journal-title":"Journal of Logic Programming"},{"key":"17_CR12","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/0304-3975(86)90096-4","volume":"48","author":"M. Fitting","year":"1986","unstructured":"M. Fitting, Partial Models and Logic Programming, Journal of Theoretical Computer Science 48 (1986), pp. 229\u2013255.","journal-title":"Journal of Theoretical Computer Science"},{"unstructured":"M. Fitting and M. Ben Jacob, Stratified and Three-valued Logic Programming Semantics, in [20], pp. 1054\u20131069.","key":"17_CR13"},{"unstructured":"D. Gabbay, Modal Provability Foundations for Negation as Failure I, 4th draft, Feb 1989, unpublished.","key":"17_CR14"},{"unstructured":"M. Gelfond and V. Lifschitz, The Stable Model Semantics for Logic Programming, in [20], pp. 1070\u20131080.","key":"17_CR15"},{"unstructured":"J. Harland, A Kripke-like Model for Negation as Failure, in [27], pp 626\u2013644. J. Jaffar, J.-L. Lassez and J. W. Lloyd, Completeness of the negation as failure rule, IJCAI-83, Karlsruhe, 1983, pp. 500\u2013506.","key":"17_CR16"},{"key":"17_CR17","first-page":"569","volume-title":"Information Processing '74","author":"R. A. Kowalski","year":"1974","unstructured":"R. A. Kowalski, Predicate Logic as a Programming Language, Information Processing '74, Stockholm, North Holland, 1974, pp. 569\u2013574."},{"issue":"7","key":"17_CR18","doi-asserted-by":"crossref","first-page":"424","DOI":"10.1145\/359131.359136","volume":"22","author":"R. A. Kowalski","year":"1979","unstructured":"R. A. Kowalski, Algorithm = Logic + Control, Communications of the ACM 22, 7, July 1979, pp. 424\u2013436.","journal-title":"Communications of the ACM"},{"key":"17_CR19","first-page":"11","volume-title":"Mathematical Logic and Programming Languages","author":"R. A. Kowalski","year":"1985","unstructured":"R. A. Kowalski, The Relation Between Logic Progamming and Logic Specification, in C. A. R. Hoare and J. C. Shepherdson (eds.) Mathematical Logic and Programming Languages, Prentice Hall, Englewood Cliffs, N.J. 1985, pp. 11\u201327."},{"unstructured":"R. A. Kowalski and K. A. Bowen (eds.), Logic Programming, Proceedings of the Fifth International Conference and Symposium, MIT Press, 1988.","key":"17_CR20"},{"unstructured":"K. Kunen, Some Remarks on the Completed Database, in [20], pp. 978\u2013992.","key":"17_CR21"},{"key":"17_CR22","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/0743-1066(87)90007-0","volume":"No 4","author":"K. Kunen","year":"1987","unstructured":"K. Kunen, Negation in Logic Programming, Journal of logic programming 1987, No 4, pp 289\u2013308.","journal-title":"Journal of logic programming"},{"issue":"No3","key":"17_CR23","doi-asserted-by":"crossref","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"},{"unstructured":"G. Levi and M. Martelli (eds.), Logic Programming, Proceedings of the Sixth International Conference, MIT Press, 1989.","key":"17_CR24"},{"doi-asserted-by":"crossref","unstructured":"V. Lifschitz, On the Declarative Semantics of Logic Programs with Negation, in [28], pp. 177\u2013192.","key":"17_CR25","DOI":"10.1016\/B978-0-934613-40-8.50008-7"},{"doi-asserted-by":"crossref","unstructured":"J. W. Lloyd, Foundations of Logic Programming, Second extended edition, Springer Verlag, 1987.","key":"17_CR26","DOI":"10.1007\/978-3-642-83189-8"},{"unstructured":"E. L. Lusk and R. A. Overbeek (eds.), Logic Programming, Proceedings of the North American Conference 1989, MIT Press, 1989.","key":"17_CR27"},{"unstructured":"J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, 1988.","key":"17_CR28"},{"unstructured":"D. Pearce and G. Wagner, Reasoning with Negative Information I: Strong negation in Logic Programs, draft 1989.","key":"17_CR29"},{"unstructured":"J. A. Plaza, Fully Declarative Programming with Logic\u2014Mathematical Foundations, Ph.D. Dissertation, City University of New York, July 1990.","key":"17_CR30"},{"doi-asserted-by":"crossref","unstructured":"J. A. Plaza, Completeness for Propositional Logic Programs with Negation, in: Z.W. Ras and M. Zemankowa (eds.), Methodologies for Intelligent Systems \u2014 Proceedings of the 6th International Symposium 1991, Lecture Notes in Artificial Intelligence 542, Springer Verlag, 1991.","key":"17_CR31","DOI":"10.1007\/3-540-54563-8_123"},{"unstructured":"H. Przymusi\u0144ska and T. Przymusi\u0144ski, Weakly Perfect Model Semantics for Logic Programs, in [20], pp. 1106\u20131123.","key":"17_CR32"},{"doi-asserted-by":"crossref","unstructured":"T. C. Przymusi\u0144ski, On the Declarative Semantics of Deductive Databases and Logic Programs, in [28], pp. 193\u2013216.","key":"17_CR33","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"unstructured":"T. C. Przymusi\u0144ski, On Constructive Negation in Logic Programming, in [27], addendum.","key":"17_CR34"},{"unstructured":"T. C. Przymusi\u0144ski, On the Declarative and Procedural Semantics of Logic Programs, to appear in Journal of Logic Programming.","key":"17_CR35"},{"doi-asserted-by":"crossref","unstructured":"J. C. Shepherdson, Negation in Logic Programming, in [28], pp. 19\u201388.","key":"17_CR36","DOI":"10.1016\/B978-0-934613-40-8.50005-1"},{"unstructured":"J. R. Shoenfield, Mathematical Logic, Addison-Wesley, 1967.","key":"17_CR37"},{"unstructured":"L. Sterling and E. Shapiro, The Art of PROLOG, MIT Press, 1986.","key":"17_CR38"},{"issue":"No3","key":"17_CR39","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/0743-1066(89)90017-4","volume":"6","author":"M. Wallace","year":"1989","unstructured":"M. Wallace, A Computable Semantics for General Logic Programs, Journal of Logic Programming 1989, vol. 6, No 3, pp. 269\u2013297.","journal-title":"Journal of Logic Programming"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence and Symbolic Mathematical Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57322-4_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:11:28Z","timestamp":1605629488000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57322-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573227","9783540480631"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/3-540-57322-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}