{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:25:26Z","timestamp":1762100726824},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540755586"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75560-9_33","type":"book-chapter","created":{"date-parts":[[2007,10,6]],"date-time":"2007-10-06T05:36:46Z","timestamp":1191649006000},"page":"454-468","source":"Crossref","is-referenced-by-count":4,"title":["Approved Models for Normal Logic Programs"],"prefix":"10.1007","author":[{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"first","affiliation":[]},{"given":"Alexandre Miguel","family":"Pinto","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"33_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1007\/3-540-45757-7_5","volume-title":"Logics in Artificial Intelligence","author":"J.J. Alferes","year":"2002","unstructured":"Alferes, J.J., Brogi, A., Leite, J.A., Pereira, L.M.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol.\u00a02424, pp. 50\u201361. Springer, Heidelberg (2002)"},{"key":"33_CR2","first-page":"3","volume-title":"NMELP","author":"J.J. Alferes","year":"1994","unstructured":"Alferes, J.J., Pereira, L.M.: An argumentation theoretic semantics based on non-refutable falsity. In: Dix, J., et al. (eds.) NMELP, pp. 3\u201322. Springer, Heidelberg (1994)"},{"issue":"3","key":"33_CR3","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/BF00881799","volume":"10","author":"C. Baral","year":"1993","unstructured":"Baral, C., Subrahmanian, V.S.: Dualities between alternative semantics for logic programming and nonmonotonic reasoning. J. Autom. Reasoning\u00a010(3), 399\u2013420 (1993)","journal-title":"J. Autom. Reasoning"},{"key":"33_CR4","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/S0004-3702(97)00015-5","volume":"93","author":"A. Bondarenko","year":"1997","unstructured":"Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artif. Intell.\u00a093, 63\u2013101 (1997)","journal-title":"Artif. Intell."},{"issue":"3","key":"33_CR5","doi-asserted-by":"crossref","first-page":"227","DOI":"10.3233\/FI-1995-2233","volume":"288","author":"J. Dix","year":"1995","unstructured":"Dix, J.: A Classification-Theory of Semantics of Normal Logic Programs: I, II. Fundamenta Informaticae\u00a0XXII(3), 227\u2013255, 257\u2013288 (1995)","journal-title":"Fundamenta Informaticae"},{"issue":"2","key":"33_CR6","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P.M. Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell.\u00a077(2), 321\u2013358 (1995)","journal-title":"Artif. Intell."},{"issue":"2","key":"33_CR7","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1016\/j.artint.2005.07.002","volume":"170","author":"P.M. Dung","year":"2006","unstructured":"Dung, P.M., Kowalski, R.A., Toni, F.: Dialectic proof procedures for assumption-based, admissible argumentation. Artif. Intell.\u00a0170(2), 114\u2013159 (2006)","journal-title":"Artif. Intell."},{"key":"33_CR8","first-page":"51","volume":"1","author":"F. Fages","year":"1994","unstructured":"Fages, F.: Consistency of Clark\u2019s completion and existence of stable models. Methods of Logic in Computer Science\u00a01, 51\u201360 (1994)","journal-title":"Methods of Logic in Computer Science"},{"key":"33_CR9","first-page":"1070","volume-title":"ICLP\/SLP","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP\/SLP, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"33_CR10","first-page":"275","volume-title":"LPNMR","author":"A.C. Kakas","year":"1991","unstructured":"Kakas, A.C., Mancarella, P.: Negation as stable hypotheses. In: LPNMR, pp. 275\u2013288. MIT Press, Cambridge (1991)"},{"key":"33_CR11","unstructured":"Mal\u00fd, M.: Complexity of revised stable models. Master\u2019s thesis, Comenius University Bratislava (2006)"},{"key":"33_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1007\/11595014_4","volume-title":"Progress in Artificial Intelligence","author":"L.M. Pereira","year":"2005","unstructured":"Pereira, L.M., Pinto, A.M.: Revised stable models - a semantics for logic programs. In: Bento, C., Cardoso, A., Dias, G. (eds.) EPIA 2005. LNCS (LNAI), vol.\u00a03808, pp. 29\u201342. Springer, Heidelberg (2005)"},{"key":"33_CR13","unstructured":"Pereira, L.M., Pinto, A.M.: Reductio ad absurdum argumentation in normal logic programs. In: Argumentation and Non-monotonic Reasoning (ArgNMR 2007) workshop at LPNMR 2007, pp. 96\u2013113 (2007)"},{"key":"33_CR14","unstructured":"Pinto, A.M.: Explorations in revised stable models \u2014 a new semantics for logic programs. Master\u2019s thesis, Universidade Nova de Lisboa (February 2005)"},{"key":"33_CR15","unstructured":"Soares, L.: Revising undefinedness in the well-founded semantics of logic programs. Master\u2019s thesis, Universidade Nova de Lisboa (2006)"}],"container-title":["Lecture Notes in Computer Science","Logic for Programming, Artificial Intelligence, and Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75560-9_33.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:26:45Z","timestamp":1605763605000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75560-9_33"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540755586"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75560-9_33","relation":{},"subject":[]}}