{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:36:41Z","timestamp":1743133001988,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642022609"},{"type":"electronic","value":"9783642022616"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-02261-6_25","type":"book-chapter","created":{"date-parts":[[2009,6,6]],"date-time":"2009-06-06T00:28:49Z","timestamp":1244248129000},"page":"305-319","source":"Crossref","is-referenced-by-count":3,"title":["Expressing Extension-Based Semantics Based on Stratified Minimal Models"],"prefix":"10.1007","author":[{"given":"Juan Carlos","family":"Nieves","sequence":"first","affiliation":[]},{"given":"Mauricio","family":"Osorio","sequence":"additional","affiliation":[]},{"given":"Claudia","family":"Zepeda","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","volume-title":"Digraphs: Theory, Algorithms and Applications","author":"J. Bang-Jensen","year":"2008","unstructured":"Bang-Jensen, J., Gutin, G.: Digraphs: Theory, Algorithms and Applications, 2nd edn. Springer, Heidelberg (2008)","edition":"2"},{"key":"25_CR2","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.artint.2005.05.006","volume":"168","author":"P. Baroni","year":"2005","unstructured":"Baroni, P., Giacomin, M., Guida, G.: SCC-recursiveness: a general schema for argumentation semantics. Artificial Intelligence\u00a0168, 162\u2013210 (2005)","journal-title":"Artificial Intelligence"},{"issue":"10-15","key":"25_CR3","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1016\/j.artint.2007.05.001","volume":"171","author":"T.J.M. Bench-Capon","year":"2007","unstructured":"Bench-Capon, T.J.M., Dunne, P.E.: Argumentation in artificial intelligence. Artificial Intelligence\u00a0171(10-15), 619\u2013641 (2007)","journal-title":"Artificial Intelligence"},{"issue":"41","key":"25_CR4","first-page":"38","volume":"13","author":"J.L. Carballido","year":"2009","unstructured":"Carballido, J.L., Nieves, J.C., Osorio, M.: Inferring Preferred Extensions by Pstable Semantics. Iberoamerican Journal of Artificial Intelligence (Inteligencia Artificial)\u00a013(41), 38\u201353 (2009)","journal-title":"Iberoamerican Journal of Artificial Intelligence (Inteligencia Artificial)"},{"key":"25_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/3-540-58495-1_51","volume-title":"Methodologies for Intelligent Systems","author":"J. Dix","year":"1994","unstructured":"Dix, J., M\u00fcller, M.: Partial evaluation and relevance for approximations of stable semantics. In: Ra\u015b, Z.W., Zemankova, M. (eds.) ISMIS 1994. LNCS, vol.\u00a0869, pp. 511\u2013520. Springer, Heidelberg (1994)"},{"issue":"2","key":"25_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. Artificial Intelligence\u00a077(2), 321\u2013358 (1995)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"25_CR7","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0004-3702(02)00261-8","volume":"141","author":"P.E. Dunne","year":"2002","unstructured":"Dunne, P.E., Bench-Capon, T.J.: Coherence in finite argument systems. Artificial Intelligence\u00a0141(1), 187\u2013203 (2002)","journal-title":"Artificial Intelligence"},{"issue":"3","key":"25_CR8","first-page":"620","volume":"38","author":"A.V. Gelder","year":"1991","unstructured":"Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"25_CR9","first-page":"1070","volume-title":"5th Conference on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The Stable Model Semantics for Logic Programming. In: Kowalski, R., Bowen, K. (eds.) 5th Conference on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"25_CR10","first-page":"235","volume-title":"Handbook in Artificial Intelligence and Logic Programming","author":"A.C. Kakas","year":"1998","unstructured":"Kakas, A.C., Kowalski, R.A., Toni, F.: The role of abduction in logic programming. In: Gabbay, D., Hogger, C.J., Robinson, J.A. (eds.) Handbook in Artificial Intelligence and Logic Programming, vol.\u00a05, pp. 235\u2013324. Oxford University Press, Oxford (1998)"},{"key":"25_CR11","unstructured":"Kakas, A.C., Mancarella, P.: Generalized stable models: A semantics for abduction. In: ECAI, pp. 385\u2013391 (1990)"},{"key":"25_CR12","unstructured":"Nieves, J.C.: Modeling arguments and uncertain information \u2014 A non-monotonic reasoning approach. PhD thesis, Software Department (LSI), Technical University of Catalonia (2008)"},{"key":"25_CR13","unstructured":"Nieves, J.C., Osorio, M.: A General Schema For Generating Argumentation Semantics From Logic Programming Semantics. Research Report LSI-08-32-R, Technical University of Catalonia, Software Department, LSI (2008), \n                    \n                      http:\/\/www.lsi.upc.edu\/dept\/techreps\/buscar.php"},{"issue":"4","key":"25_CR14","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1017\/S1471068408003359","volume":"8","author":"J.C. Nieves","year":"2008","unstructured":"Nieves, J.C., Osorio, M., Cort\u00e9s, U.: Preferred Extensions as Stable Models. Theory and Practice of Logic Programming\u00a08(4), 527\u2013543 (2008)","journal-title":"Theory and Practice of Logic Programming"},{"key":"25_CR15","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1109\/ENC.2006.10","volume-title":"Seventh Mexican International Conference on Computer Science (ENC 2006)","author":"J.C. Nieves","year":"2006","unstructured":"Nieves, J.C., Osorio, M., Cort\u00e9s, U., Olmos, I., Gonzalez, J.A.: Defining new argumentation-based semantics by minimal models. In: Seventh Mexican International Conference on Computer Science (ENC 2006), pp. 210\u2013220. IEEE Computer Society Press, Los Alamitos (2006)"},{"issue":"6","key":"25_CR16","doi-asserted-by":"publisher","first-page":"867","DOI":"10.1093\/logcom\/exl013","volume":"16","author":"M. Osorio","year":"2006","unstructured":"Osorio, M., Navarro, J.A., Arrazola, J.R., Borja, V.: Logics with Common Weak Completions. Journal of Logic and Computation\u00a016(6), 867\u2013890 (2006)","journal-title":"Journal of Logic and Computation"},{"key":"25_CR17","first-page":"219","volume-title":"Handbook of Philosophical Logic","author":"H. Prakken","year":"2002","unstructured":"Prakken, H., Vreeswijk, G.A.W.: Logics for defeasible argumentation. In: Gabbay, D., G\u00fcnthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol.\u00a04, pp. 219\u2013318. Kluwer Academic Publishers, Dordrecht (2002)","edition":"2"}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-02261-6_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:22:40Z","timestamp":1558268560000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-02261-6_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642022609","9783642022616"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-02261-6_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}