{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:58Z","timestamp":1725664738884},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540609834"},{"type":"electronic","value":"9783540497516"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-60983-0_11","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:09:41Z","timestamp":1330272581000},"page":"161-175","source":"Crossref","is-referenced-by-count":0,"title":["Proof-theory for extensions of Logic Programming"],"prefix":"10.1007","author":[{"given":"Catholijn M.","family":"Jonker","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"K.R. Apt and R.N. Bol. Logic programming and negation: a survey. Technical Report Report CS-R9402, January 1994.","DOI":"10.1016\/0743-1066(94)90024-8"},{"key":"11_CR2","first-page":"8","volume-title":"Modern uses of Multiple-valued Logic","author":"N.D. Belnap","year":"1977","unstructured":"N.D. Belnap. A useful four-valued logic. In J.M. Dunn and G. Epstein, editors, Modern uses of Multiple-valued Logic, pages 8\u201337. D. Reidel Publishing Company, 1977. Dordrecht."},{"key":"11_CR3","unstructured":"M. Gelfond and V. Lifschitz. Logic programs with classical negation. In D.H.D. Warren and P. Szeredi, editors, 7th International Conference on Logic Programming, pages 579\u2013597. MIT Press, 1990."},{"key":"11_CR4","unstructured":"G. J\u00e4ger. A deductive approach to logic programming. In H. Schwichtenberg, editor, Proof and Computation, pages 133\u2013172. 1994. Series F: Computer and Systems Sciences, NATO Advanced Study Institute."},{"key":"11_CR5","unstructured":"G. J\u00e4ger and R. St\u00e4rk. A proof-theoretic framework for logic programming. In S. Buss, editor, Handbook of Proof Theory. To appear."},{"key":"11_CR6","unstructured":"C.M. Jonker. Constraints and Negations in Logic Programming. PhD thesis, Dept. of Philosophy, Utrecht University, 1994. Quaestiones Infinit\u00e6 vol. 10, Dissertation."},{"key":"11_CR7","unstructured":"C.M. Jonker. Rule-based calculi for extensions of logic programming. Technical Report IAM 95-006, Institut f\u00fcr Informatik und angewandte Mathematik, Universit\u00e4t Bern, 1995."},{"key":"11_CR8","unstructured":"R.A. Kowalski and F. Sadri. Logic programs with exceptions. In D.H.D. Warren and P. Szeredi, editors, Logic Programming, Proceedings 7th International Conference, pages 598\u2013613. MIT Press, 1990."},{"key":"11_CR9","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, 7:231\u2013245, 1989.","journal-title":"Journal of Logic Programming"},{"key":"11_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-02906-0","volume-title":"Nonmonotonic logic","author":"V. Marek","year":"1993","unstructured":"V. Marek and M. Truszczy\u0144ski. Nonmonotonic logic. Springer Verlag Heidelberg, 1993."},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"145","DOI":"10.3233\/FI-1994-201236","volume":"20","author":"J. Minker","year":"1994","unstructured":"J. Minker and C. Ruiz. Semantics for disjunctive logic programs with explicit and default negation. Fundamenta Informaticae, 20:145\u2013192, 1994.","journal-title":"Fundamenta Informaticae"},{"key":"11_CR12","unstructured":"L.M. Pereira and J.J. Alferes. Well founded semantics for logic programs with explicit negation. In B. Neumann, editor, Proceedings 10th European Conference on Artificial Intelligence, ECAI'92, pages 102\u2013106, 1992."},{"key":"11_CR13","unstructured":"T.C. Przymusinski. Static semantics for normal and disjunctive logic programs. Annals of Mathematics and Artificial Intelligence, 1994."},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"K. Sch\u00fctte. Proof Theory. Springer, 1977.","DOI":"10.1007\/978-3-642-66473-1"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"G. Wagner. A database needs two kinds of negation. In B. Thalheim, J. Demetrovics, and H.D. Gerhardt, editors, MFDBS 91, volume 495 of Lecture Notes in Computer Science, pages 357\u2013371. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54009-1_25"}],"container-title":["Lecture Notes in Computer Science","Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60983-0_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:28:39Z","timestamp":1619558919000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60983-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540609834","9783540497516"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-60983-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}