{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:31:43Z","timestamp":1725456703900},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540594673"},{"type":"electronic","value":"9783540492726"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0030657","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T00:24:12Z","timestamp":1133396652000},"page":"3-22","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["An argumentation theoretic semantics based on non-refutable falsity"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"2_CR1","unstructured":"Jos\u00e9 J\u00falio Alferes. Semantics of Logic Programs with Explicit Negation. PhD thesis, Universidade Nova de Lisboa, October 1993."},{"key":"2_CR2","unstructured":"J. J. Alferes and L. M. Pereira. On logic program semantics with two kinds of negation. In K. Apt, editor, Int. Joint Conf. and Symp. on LP, pages 574\u2013588. MIT Press, 1992."},{"key":"2_CR3","unstructured":"A. Bondarenko, F. Toni, and R. Kowalski. An assumption-based framework for nonmonotonic reasoning. In L. M. Pereira and A. Nerode, editors, 2nd Int. Ws. on LP & NMR, pages 171\u2013189. MIT Press, 1993."},{"key":"2_CR4","unstructured":"J. Dix. Classifying semantics of logic programs. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, LP & NMR, pages 166\u2013180. MIT Press, 1991."},{"key":"2_CR5","unstructured":"J. Dix. A framework for representing and characterizing semantics of logic programs. In B. Nebel, C. Rich, and W. Swartout, editors, 3rd Int. Conf. on Principles of Knowledge Representation and Reasoning. Morgan Kaufmann, 1992."},{"issue":"3","key":"2_CR6","doi-asserted-by":"crossref","first-page":"227","DOI":"10.3233\/FI-1995-2233","volume":"XXII","author":"J. Dix","year":"1995","unstructured":"J\u00fcrgen Dix. A Classification-Theory of Semantics of Normal Logic Programs: I. Strong Properties. Fundamental Informaticae, XXII(3):227\u2013255, 1995.","journal-title":"Fundamental Informaticae"},{"key":"2_CR7","unstructured":"P. M. Dung and P. Ruamviboonsuk. Well founded reasoning with classical negation. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, LP & NMR, pages 120\u2013132. MIT Press, 1991."},{"key":"2_CR8","unstructured":"P. M. Dung. Negation as hypotheses: An abductive framework for logic programming. In K. Furukawa, editor, 8th ICLP, pages 3\u201317. MIT Press, 1991."},{"key":"2_CR9","unstructured":"P. M. Dung. An argumentation semantics for logic programming with explicit negation. In D. S. Warren, editor, 10th ICLP, pages 616\u2013630. MIT Press, 1993."},{"key":"2_CR10","unstructured":"M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Warren and Szeredi, editors, 7th ICLP, pages 579\u2013597. MIT Press, 1990."},{"issue":"3","key":"2_CR11","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"A. Van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620\u2013650, 1991.","journal-title":"Journal of the ACM"},{"key":"2_CR12","unstructured":"A. C. Kakas and P. Mancarella. Stable theories for logic programs. In Ueda and Saraswat, editors, Int. LP Symp., pages 85\u2013100. MIT Press, 1991."},{"key":"2_CR13","unstructured":"R. Kowalski and F. Sadri. Logic programs with exceptions. In Warren and Szeredi, editors, 7th ICLP. MIT Press, 1990."},{"key":"2_CR14","unstructured":"L. M. Pereira and J. J. Alferes. Well founded semantics for logic programs with explicit negation. In B. Neumann, editor, European Conf. on AI, pages 102\u2013106. John Wiley & Sons, 1992."},{"key":"2_CR15","unstructured":"L. M. Pereira, J. N. Apar\u00edcio, and J. J. Alferes. Nonmonotonic reasoning with well founded semantics. In Koichi Furukawa, editor, 8th ICLP, pages 475\u2013489. MIT Press, 1991."},{"key":"2_CR16","unstructured":"L. M. Pereira, J. J. Alferes, and J. N. Apar\u00edcio. Adding closed world assumptions to well founded semantics. In Fifth Generation Computer Systems, pages 562\u2013569. ICOT, 1992."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"L. M. Pereira, J. J. Alferes, and J. N. Apar\u00edcio. Default theory for well founded semantics with explicit negation. In D. Pearce and G. Wagner, editors, Logics in AI. Proceedings of the European Ws. JELIA '92, pages 339\u2013356. LNAI 633, Springer-Verlag, 1992.","DOI":"10.1007\/BFb0023437"},{"key":"2_CR18","unstructured":"L. M. Pereira, J. J. Alferes, and J. N. Apar\u00edcio. Adding closed world assumptions to well founded semantics (extended improved version). Theoretical Computer Science. Special issue on selected papers from FGCS'92, 1993."},{"key":"2_CR19","unstructured":"T. Przymusinski. Extended stable semantics for normal and disjunctive programs. In Warren and Szeredi, editors, 7th ICLP, pages 459\u2013477. MIT Press, 1990."},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"T. Przymusinski. A semantics for disjunctive logic programs. In Loveland, Lobo, and Rajasekar, editors, ILPS'91 Ws. in Disjunctive Logic Programs, 1991.","DOI":"10.1007\/3-540-55015-1_5"},{"key":"2_CR21","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1007\/BF01543479","volume":"5","author":"J. S. Schlipf","year":"1992","unstructured":"John S. Schlipf. Formalizing a Logic for Logic Programming. Annals of Mathematics and Artificial Intelligence, 5:279\u2013302, 1992.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"G. Wagner. A database needs two kinds of negation. In B. Thalheim, J. Demetrovics, and H-D. Gerhardt, editors, Mathematical Foundations of Database Systems, pages 357\u2013371. LNCS 495, Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54009-1_25"}],"container-title":["Lecture Notes in Computer Science","Non-Monotonic Extensions of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0030657","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:14:51Z","timestamp":1586578491000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030657"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594673","9783540492726"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/bfb0030657","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"20 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}