{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,6]],"date-time":"2025-07-06T04:01:00Z","timestamp":1751774460615,"version":"3.41.0"},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2018,6,13]],"date-time":"2018-06-13T00:00:00Z","timestamp":1528848000000},"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":["Knowl Inf Syst"],"published-print":{"date-parts":[[2019,10]]},"DOI":"10.1007\/s10115-018-1227-5","type":"journal-article","created":{"date-parts":[[2018,6,13]],"date-time":"2018-06-13T08:21:28Z","timestamp":1528878088000},"page":"543-588","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A formal characterization of the outcomes of rule-based argumentation systems"],"prefix":"10.1007","volume":"61","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1838-4271","authenticated-orcid":false,"given":"Leila","family":"Amgoud","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philippe","family":"Besnard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,13]]},"reference":[{"issue":"2","key":"1227_CR1","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P Dung","year":"1995","unstructured":"Dung P (1995) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and $$n$$ n -person games. Artif Intell J 77(2):321\u2013357","journal-title":"Artif Intell J"},{"issue":"2","key":"1227_CR2","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1023\/A:1021603608656","volume":"29","author":"L Amgoud","year":"2002","unstructured":"Amgoud L, Cayrol C (2002) Inferring from inconsistency in preference-based argumentation frameworks. Int J Autom Reason 29(2):125\u2013169","journal-title":"Int J Autom Reason"},{"issue":"9\u201310","key":"1227_CR3","doi-asserted-by":"publisher","first-page":"1479","DOI":"10.1016\/j.artint.2010.12.003","volume":"175","author":"N Gorogiannis","year":"2011","unstructured":"Gorogiannis N, Hunter A (2011) Instantiating abstract argumentation with classical logic arguments: postulates and properties. Artif Intell J 175(9\u201310):1479\u20131497","journal-title":"Artif Intell J"},{"issue":"3","key":"1227_CR4","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1080\/11663081.2013.830381","volume":"23","author":"L Amgoud","year":"2013","unstructured":"Amgoud L, Besnard P (2013) Logical limits of abstract argumentation frameworks. J Appl Nonclass Log 23(3):229\u2013267","journal-title":"J Appl Nonclass Log"},{"issue":"1\u20132","key":"1227_CR5","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R Reiter","year":"1980","unstructured":"Reiter R (1980) A logic for default reasoning. Artif Intell J 13(1\u20132):81\u2013132","journal-title":"Artif Intell J"},{"key":"1227_CR6","unstructured":"Benferhat S, Dupin de Saint-Cyr F (1996) Contextual handling of conditional knowledge. In: Proceedings of the 6th international conference on information processing and management of uncertainty in knowledge-based systems (IPMU\u201996), Granada, pp 1369\u20131374"},{"issue":"1\u20132","key":"1227_CR7","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","volume":"44","author":"S Kraus","year":"1990","unstructured":"Kraus S, Lehmann D, Magidor M (1990) Nonmonotonic reasoning, preferential models and cumulative logics. Artif Intell J 44(1\u20132):167\u2013207","journal-title":"Artif Intell J"},{"key":"1227_CR8","unstructured":"Amgoud L, Caminada M, Cayrol C, Lagasquie M-C, Prakken H, Towards a consensual formal model: inference part. Deliverable of ASPIC project"},{"issue":"2","key":"1227_CR9","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1080\/19462160903564592","volume":"1","author":"H Prakken","year":"2010","unstructured":"Prakken H (2010) An abstract framework for argumentation with structured arguments. J Argum Comput 1(2):93\u2013124","journal-title":"J Argum Comput"},{"issue":"1\u20132","key":"1227_CR10","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1017\/S1471068403001674","volume":"4","author":"A Garc\u00eda","year":"2004","unstructured":"Garc\u00eda A, Simari G (2004) Defeasible logic programming: an argumentative approach. Theory Pract Log Program 4(1\u20132):95\u2013138","journal-title":"Theory Pract Log Program"},{"key":"1227_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.ijar.2017.02.009","volume":"85","author":"L Amgoud","year":"2017","unstructured":"Amgoud L, Nouioua F (2017) An argumentation system for defeasible reasoning. Int J Approx Reason 85:1\u201320","journal-title":"Int J Approx Reason"},{"issue":"5","key":"1227_CR12","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1093\/logcom\/14.5.675","volume":"14","author":"G Governatori","year":"2004","unstructured":"Governatori G, Maher M, Antoniou G, Billington D (2004) Argumentation semantics for defeasible logic. J Log Comput 14(5):675\u2013702","journal-title":"J Log Comput"},{"key":"1227_CR13","unstructured":"Lam H-P, Governatori G (2011) What are the necessity rules in defeasible reasoning? In: Delgrande J, Faber W (eds) Proceedings of the 11th international conference on logic programming and nonmonotonic reasoning (LPNMR\u201911), vol 6645 of lecture notes in computer science. Springer, Vancouver, pp 187\u2013192"},{"key":"1227_CR14","doi-asserted-by":"crossref","unstructured":"Strass H (2013) Instantiating knowledge bases in abstract dialectical frameworks. In: Leite J, Son T, Torroni P, van der Torre L, Woltran S (eds) Proceedings of the 14th international workshop on computational logic in multi-agent systems (CLIMA XIV), vol 8143 of Lecture notes in computer science. Springer, Corunna, pp 86\u2013101","DOI":"10.1007\/978-3-642-40624-9_6"},{"key":"1227_CR15","doi-asserted-by":"crossref","unstructured":"Wyner A, Bench-Capon T, Dunne P (2013) On the instantiation of knowledge bases in abstract argumentation frameworks. In: Leite J, Son T, Torroni P, van der Torre L, Woltran S (eds) Proceedings of the 14th international workshop on computational logic in multi-agent systems (CLIMA XIV), vol 8143 of Lecture notes in computer science. Springer, Corunna, pp 34\u201350","DOI":"10.1007\/978-3-642-40624-9_3"},{"issue":"1","key":"1227_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90103-5","volume":"57","author":"J Pollock","year":"1992","unstructured":"Pollock J (1992) How to reason defeasibly. Artif Intell J 57(1):1\u201342","journal-title":"Artif Intell J"},{"issue":"5\u20136","key":"1227_CR17","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1016\/j.artint.2007.02.003","volume":"171","author":"M Caminada","year":"2007","unstructured":"Caminada M, Amgoud L (2007) On the evaluation of argumentation formalisms. Artif Intell J 171(5\u20136):286\u2013310","journal-title":"Artif Intell J"},{"key":"1227_CR18","unstructured":"Caminada M (2006) Semi-stable semantics. In: Dunne P, Bench-Capon T (eds) Proceedings of the 1st international conference on computational models of argument (COMMA\u201906), vol 144 of Frontiers in artificial intelligence and applications. IOS Press, Liverpool, pp 121\u2013130"},{"issue":"10\u201315","key":"1227_CR19","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1016\/j.artint.2007.05.003","volume":"171","author":"P Dung","year":"2007","unstructured":"Dung P, Mancarella P, Toni F (2007) Computing ideal skeptical argumentation. Artif Intell J 171(10\u201315):642\u2013674","journal-title":"Artif Intell J"},{"issue":"1\u20132","key":"1227_CR20","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 (2005) SCC-recursiveness: a general schema for argumentation semantics. Artif Intell J 168(1\u20132):162\u2013210","journal-title":"Artif Intell J"},{"key":"1227_CR21","unstructured":"Verheij B (1996) Two approaches to dialectical argumentation: Admissible sets and argumentation stages. In: Meyer J, van der Gaag L (eds) Proceedings of the 8th Dutch conference on artificial intelligence (NAIC\u201996), Utrecht, pp 357\u2013368"},{"key":"1227_CR22","unstructured":"Tarski A (1956) Logic, semantics, metamathematics. In: Woodger EH (ed) Ch. On some fundamental concepts of metamathematics. Oxford University Press"},{"issue":"3","key":"1227_CR23","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1142\/S1793351X11001250","volume":"5","author":"P Besnard","year":"2011","unstructured":"Besnard P (2011) A logical analysis of rule inconsistency. Int J Semant Comput 5(3):271\u2013280","journal-title":"Int J Semant Comput"},{"key":"1227_CR24","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/BF01531080","volume":"1","author":"V Marek","year":"1990","unstructured":"Marek V, Nerode A, Remmel J (1990) A theory of nonmonotonic rule systems I. Ann Math Artif Intell 1:241\u2013273","journal-title":"Ann Math Artif Intell"},{"key":"1227_CR25","doi-asserted-by":"crossref","unstructured":"Hunter A (2010) Base logics in argumentation. In: Baroni P, Cerutti F, Giacomin M, Simari G (eds) Proceedings of the 4th international conference on computational models of argument (COMMA\u201912), vol 216 of Frontiers in artificial intelligence and applications. IOS Press, Desenzano del Garda, pp 275\u2013286","DOI":"10.3233\/978-1-60750-619-5-275"},{"key":"1227_CR26","doi-asserted-by":"crossref","unstructured":"Amgoud L, Besnard P, Vesic S (2011) Identifying the core of logic-based argumentation systems. In: Proceedings of the IEEE 23rd international conference on tools with artificial intelligence (ICTAI\u201911). IEEE Computer Society, Boca Raton, pp 633\u2013636","DOI":"10.1109\/ICTAI.2011.100"},{"key":"1227_CR27","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, Kowalski R, Toni F (1997) An abstract argumentation-theoretic approach to default reasoning. Artif Intell J 93:63\u2013101","journal-title":"Artif Intell J"},{"key":"1227_CR28","doi-asserted-by":"crossref","unstructured":"Elvang-G\u00f8ransson M, Fox J, Krause P (1993) Acceptability of arguments as \u2018logical uncertainty\u2019. In: Proceedings of the 2nd European conference on symbolic and quantitative approaches to reasoning and uncertainty (ECSQARU\u201993), vol. 747 of Lecture notes in computer science. Springer, Granada, pp 85\u201390","DOI":"10.1007\/BFb0028186"},{"issue":"1","key":"1227_CR29","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1080\/11663081.1997.10510900","volume":"7","author":"H Prakken","year":"1997","unstructured":"Prakken H, Sartor G (1997) Argument-based extended logic programming with defeasible priorities. J Appl Nonclass Log 7(1):25\u201375","journal-title":"J Appl Nonclass Log"},{"issue":"9","key":"1227_CR30","doi-asserted-by":"publisher","first-page":"2028","DOI":"10.1016\/j.ijar.2013.10.004","volume":"55","author":"L Amgoud","year":"2014","unstructured":"Amgoud L (2014) Postulates for logic-based argumentation systems. Int J Approx Reason 55(9):2028\u20132048. https:\/\/doi.org\/10.1016\/j.ijar.2013.10.004","journal-title":"Int J Approx Reason"},{"key":"1227_CR31","doi-asserted-by":"crossref","unstructured":"Amgoud L, Vesic S (2011) On the equivalence of logic-based argumentation systems. In: Proceedings of the 5th international conference on scalable uncertainty management (SUM\u201911), vol 6929 of Lecture notes in computer science. Springer, Dayton, pp 123\u2013136","DOI":"10.1007\/978-3-642-23963-2_11"},{"issue":"14\u201315","key":"1227_CR32","doi-asserted-by":"publisher","first-page":"1985","DOI":"10.1016\/j.artint.2011.06.003","volume":"175","author":"E Oikarinen","year":"2011","unstructured":"Oikarinen E, Woltran S (2011) Characterizing strong equivalence for argumentation frameworks. Artif Intell J 175(14\u201315):1985\u20132009","journal-title":"Artif Intell J"},{"key":"1227_CR33","doi-asserted-by":"crossref","unstructured":"Amgoud L, Besnard P, (2010) A formal analysis of logic-based argumentation systems. In: 4th International conference on scalable uncertainty management (SUM\u201910), vol 6379 of Lecture notes in computer science. Springer, pp 42\u201355","DOI":"10.1007\/978-3-642-15951-0_10"}],"container-title":["Knowledge and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-018-1227-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10115-018-1227-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10115-018-1227-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,5]],"date-time":"2025-07-05T03:10:59Z","timestamp":1751685059000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10115-018-1227-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,13]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,10]]}},"alternative-id":["1227"],"URL":"https:\/\/doi.org\/10.1007\/s10115-018-1227-5","relation":{},"ISSN":["0219-1377","0219-3116"],"issn-type":[{"type":"print","value":"0219-1377"},{"type":"electronic","value":"0219-3116"}],"subject":[],"published":{"date-parts":[[2018,6,13]]},"assertion":[{"value":"28 June 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 April 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 June 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}