{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T01:40:09Z","timestamp":1746150009143,"version":"3.40.4"},"reference-count":38,"publisher":"Oxford University Press (OUP)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Logic Computation"],"published-print":{"date-parts":[[2016,10]]},"DOI":"10.1093\/logcom\/exu014","type":"journal-article","created":{"date-parts":[[2014,3,11]],"date-time":"2014-03-11T03:13:14Z","timestamp":1394507594000},"page":"1361-1393","source":"Crossref","is-referenced-by-count":1,"title":["Ideal extensions as logical programming models"],"prefix":"10.1093","volume":"26","author":[{"given":"Juan Carlos","family":"Nieves","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mauricio","family":"Osorio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"286","published-online":{"date-parts":[[2014,3,10]]},"reference":[{"key":"2016092623524271000_26.5.1361.1","doi-asserted-by":"crossref","unstructured":"Baral C. Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press; 2003.","DOI":"10.1017\/CBO9780511543357"},{"key":"2016092623524271000_26.5.1361.2","doi-asserted-by":"publisher","DOI":"10.1017\/S0269888911000166"},{"key":"2016092623524271000_26.5.1361.3","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.04.004"},{"key":"2016092623524271000_26.5.1361.4","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2005.05.006"},{"key":"2016092623524271000_26.5.1361.5","unstructured":"Besnard P. Doutre S. Tenth International Workshop on Non-Monotonic Reasoning (NMR 2004). 2004. Checking the acceptability of a set of arguments; p. 59-64. June."},{"key":"2016092623524271000_26.5.1361.6","first-page":"497","article-title":"Transformation-based bottom-up computation of the well-founded model","volume":"1","author":"Brass","year":"2001","journal-title":"TPLP"},{"key":"2016092623524271000_26.5.1361.7","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/BFb0023807","article-title":"Transformation-based bottom-up computation of the well-founded model","volume-title":"Non-Monotonic Extensions of Logic Programming, NMELP \u203296","volume":"1216","author":"Brass","year":"2007"},{"key":"2016092623524271000_26.5.1361.8","first-page":"121","article-title":"Semi-stable semantics","volume-title":"Proceedings of COMMA","volume":"144","author":"Caminada","year":"2006"},{"key":"2016092623524271000_26.5.1361.9","doi-asserted-by":"publisher","DOI":"10.1080\/19462166.2010.515036"},{"key":"2016092623524271000_26.5.1361.10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39091-3_9"},{"key":"2016092623524271000_26.5.1361.11","first-page":"38","article-title":"Inferring preferred extensions by Pstable Semantics","volume":"13","author":"Carballido","year":"2009","journal-title":"Iberoamerican Journal of Artificial Intelligence (Inteligencia Artificial)"},{"key":"2016092623524271000_26.5.1361.12","doi-asserted-by":"publisher","DOI":"10.1016\/j.jal.2009.12.001"},{"key":"2016092623524271000_26.5.1361.13","doi-asserted-by":"crossref","unstructured":"Dershowitz N. Plaisted D. A. Handbook of Automated Reasoning. Elsevier Science Publishers; 2001. chapter Rewriting.","DOI":"10.1016\/B978-044450813-3\/50011-4"},{"key":"2016092623524271000_26.5.1361.14","doi-asserted-by":"crossref","first-page":"227","DOI":"10.3233\/FI-1995-2233","article-title":"A classification theory of semantics of normal logic programs: I. strong properties","volume":"22","author":"Dix","year":"1995","journal-title":"Fundamenta Informaticae"},{"key":"2016092623524271000_26.5.1361.15","doi-asserted-by":"crossref","first-page":"257","DOI":"10.3233\/FI-1995-2234","article-title":"A classification theory of semantics of normal logic programs: II. weak properties","volume":"22","author":"Dix","year":"1995","journal-title":"Fundamenta Informaticae"},{"key":"2016092623524271000_26.5.1361.16","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(00)00044-0"},{"key":"2016092623524271000_26.5.1361.17","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"2016092623524271000_26.5.1361.18","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.05.003"},{"key":"2016092623524271000_26.5.1361.19","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.03.006"},{"key":"2016092623524271000_26.5.1361.20","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2009.09.001"},{"key":"2016092623524271000_26.5.1361.21","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2013.06.004"},{"key":"2016092623524271000_26.5.1361.22","doi-asserted-by":"publisher","DOI":"10.1080\/19462166.2010.486479"},{"key":"2016092623524271000_26.5.1361.23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20832-4_4"},{"key":"2016092623524271000_26.5.1361.24","doi-asserted-by":"publisher","DOI":"10.1080\/19462166.2012.704398"},{"key":"2016092623524271000_26.5.1361.25","first-page":"141","article-title":"The equational approach to CF2 semantics","volume-title":"Frontiers in Artificial Intelligence and Applications","volume":"245","author":"Gabbay","year":"2012"},{"key":"2016092623524271000_26.5.1361.26","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-009-9216-z"},{"key":"2016092623524271000_26.5.1361.27","first-page":"620","article-title":"The well-founded semantics for general logic programs","volume":"38","author":"Gelder","year":"1991","journal-title":"Journal of the ACM"},{"key":"2016092623524271000_26.5.1361.28","doi-asserted-by":"crossref","unstructured":"Nieves J. C. Osorio M. 10th Mexican International Conference on Artificial Intelligence. IEEE Press; 2011. Studying ideal semantics via logic programming semantics; p. 3-8.","DOI":"10.1109\/MICAI.2011.31"},{"key":"2016092623524271000_26.5.1361.29","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068408003359"},{"key":"2016092623524271000_26.5.1361.30","doi-asserted-by":"crossref","first-page":"295","DOI":"10.3233\/FI-2011-388","article-title":"A schema for generating relevant logic programming semantics and its applications in argumentation theory","volume":"106","author":"Nieves","year":"2011","journal-title":"Fundamenta Informaticae"},{"key":"2016092623524271000_26.5.1361.31","doi-asserted-by":"crossref","unstructured":"Nieves J. C. Osorio M. Zepeda C. Cort\u00e9s U. Sixth Mexican International Conference on Computer Science (ENC 2005). IEEE Computer Science Press; 2005. Inferring acceptable arguments with answer set programming; p. 198-205.","DOI":"10.1109\/ENC.2005.26"},{"key":"2016092623524271000_26.5.1361.32","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exl013"},{"key":"2016092623524271000_26.5.1361.33","first-page":"57","article-title":"The stable abducible argumentation semantics","volume-title":"Latin American Workshop on Non-Monotonic Reasoning 2011","volume":"804","author":"Osorio","year":"2011"},{"key":"2016092623524271000_26.5.1361.34","first-page":"391","article-title":"CF2-extensions as answer-set models","volume-title":"Computational Models of Argument - COMMA","volume":"216","author":"Osorio","year":"2010"},{"key":"2016092623524271000_26.5.1361.35","doi-asserted-by":"crossref","unstructured":"Osorio M. Nieves J. C. Santoyo A. Mexican International Conference on Computer Science (ENC 2013). IEEE Computer Science Press; 2013. Complete extensions as Clark's completion semantics; p. 82-88.","DOI":"10.1109\/ENC.2013.18"},{"key":"2016092623524271000_26.5.1361.36","doi-asserted-by":"publisher","DOI":"10.1007\/BF01543479"},{"key":"2016092623524271000_26.5.1361.37","first-page":"254","article-title":"Computing argumentatoin semantics in answer set progamming","volume-title":"JSAI'2008","volume":"5447","author":"Wakaki","year":"2009"},{"key":"2016092623524271000_26.5.1361.38","doi-asserted-by":"publisher","DOI":"10.1007\/s11225-009-9210-5"}],"container-title":["Journal of Logic and Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/academic.oup.com\/logcom\/article-pdf\/26\/5\/1361\/6831164\/exu014.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T01:04:44Z","timestamp":1746147884000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/logcom\/article-lookup\/doi\/10.1093\/logcom\/exu014"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,3,10]]},"references-count":38,"journal-issue":{"issue":"5","published-online":{"date-parts":[[2016,9,26]]},"published-print":{"date-parts":[[2016,10]]}},"alternative-id":["10.1093\/logcom\/exu014"],"URL":"https:\/\/doi.org\/10.1093\/logcom\/exu014","relation":{},"ISSN":["0955-792X","1465-363X"],"issn-type":[{"type":"print","value":"0955-792X"},{"type":"electronic","value":"1465-363X"}],"subject":[],"published":{"date-parts":[[2014,3,10]]}}}