{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:39Z","timestamp":1725663879198},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540545637"},{"type":"electronic","value":"9783540384663"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54563-8_123","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T23:03:46Z","timestamp":1330211026000},"page":"600-609","source":"Crossref","is-referenced-by-count":3,"title":["Completeness for propositional logic programs with negation"],"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,28]]},"reference":[{"key":"60_CR1","unstructured":"K. R. Apt, Introduction to Logic Programming, in J. Van Leeuven, editor, Handbook of Theoretical Computer Science, North Holland, 1989."},{"key":"60_CR2","doi-asserted-by":"crossref","unstructured":"K. R. Apt, H. A. Blair and A. Walker, Towards a Theory of Declarative knowledge, in [17], pp. 89\u2013148.","DOI":"10.1016\/B978-0-934613-40-8.50006-3"},{"issue":"3","key":"60_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":"60_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"},{"key":"60_CR5","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."},{"key":"60_CR6","unstructured":"K. L. Clark, Predicate Logic as a Computational Formalism, Research Report DOC 79\/59, Dept. of Computing, Imperial College, 1979."},{"key":"60_CR7","unstructured":"M. Fitting and M. Ben Jacob, Stratified and Three-valued Logic Programming Semantics, in [13], pp. 1054\u20131069."},{"key":"60_CR8","unstructured":"D. Gabbay, Modal Provability Foundations for Negation as Failure I, 4th draft, Feb 1989, unpublished."},{"key":"60_CR9","unstructured":"J. Jaffar, J.-L. Lassez and J. W. Lloyd, Completeness of the negation as failure rule, IJCAI-83, Karlsruhe, 1983, pp. 500\u2013506."},{"key":"60_CR10","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":"60_CR11","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":"60_CR12","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."},{"key":"60_CR13","unstructured":"R. A. Kowalski and K. A. Bowen (eds.), Logic Programming, Proceedings of the Fifth International Conference and Symposium, MIT Press, 1988."},{"issue":"No3","key":"60_CR14","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"},{"key":"60_CR15","doi-asserted-by":"crossref","unstructured":"V. Lifschitz, On the Declarative Semantics of Logic Programs with Negation, in [17], pp. 177\u2013192.","DOI":"10.1016\/B978-0-934613-40-8.50008-7"},{"key":"60_CR16","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":"60_CR17","unstructured":"J. Minker (ed.), Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, 1988."},{"key":"60_CR18","unstructured":"J. A. Plaza, Fully Declarative Programming with Logic \u2014 Mathematical Foundations Ph.D. Dissertation, City University of New York, July 1991."},{"key":"60_CR19","unstructured":"H. Przymusi\u0144ska and T. Przymusi\u0144ski, Weakly Perfect Model Semantics for Logic Programs, in [13], pp. 1106\u20131123."},{"key":"60_CR20","doi-asserted-by":"crossref","unstructured":"T. C. Przymusi\u0144ski, On the Declarative Semantics of Deductive Databases and Logic Programs, in [17], pp. 193\u2013216.","DOI":"10.1016\/B978-0-934613-40-8.50009-9"},{"key":"60_CR21","doi-asserted-by":"crossref","unstructured":"J. C. Shepherdson, Negation in Logic Programming, in [17], pp. 19\u201388.","DOI":"10.1016\/B978-0-934613-40-8.50005-1"}],"container-title":["Lecture Notes in Computer Science","Methodologies for Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54563-8_123.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:55:42Z","timestamp":1605646542000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54563-8_123"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540545637","9783540384663"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-54563-8_123","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}