{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,15]],"date-time":"2026-01-15T04:42:12Z","timestamp":1768452132023,"version":"3.49.0"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319147253","type":"print"},{"value":"9783319147260","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-14726-0_19","type":"book-chapter","created":{"date-parts":[[2015,1,6]],"date-time":"2015-01-06T22:37:32Z","timestamp":1420583852000},"page":"281-295","source":"Crossref","is-referenced-by-count":14,"title":["Infinite Argumentation Frameworks"],"prefix":"10.1007","author":[{"given":"Ringo","family":"Baumann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christof","family":"Spanring","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","unstructured":"B\u00e1r\u00e1ny, V., Gr\u00e4del, E., Rubin, S.: Automata-based presentations of infinite structures. In: Finite and Algorithmic Model Theory, pp. 1\u201376. Cambridge University Press (2011)","DOI":"10.1017\/CBO9780511974960.002"},{"issue":"4","key":"19_CR2","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1017\/S0269888911000166","volume":"26","author":"P. Baroni","year":"2011","unstructured":"Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowledge Engineering Review\u00a026(4), 365\u2013410 (2011)","journal-title":"Knowledge Engineering Review"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1016\/j.artint.2013.05.002","volume":"203","author":"P. Baroni","year":"2013","unstructured":"Baroni, P., Cerutti, F., Dunne, P.E., Giacomin, M.: Automata for infinite argumentation structures. Artificial Intelligence\u00a0203, 104\u2013150 (2013)","journal-title":"Artificial Intelligence"},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Baroni, P., Giacomin, M.: Semantics of abstract argument systems. In: Rahwan, I., Simari, G.R. (eds.) Argumentation in Artificial Intelligence, pp. 25\u201344. Springer (2009)","DOI":"10.1007\/978-0-387-98197-0_2"},{"issue":"1-2","key":"19_CR5","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(1-2), 162\u2013210 (2005)","journal-title":"Artificial Intelligence"},{"key":"19_CR6","unstructured":"Baumann, R.: Context-free and context-sensitive kernels: Update and deletion equivalence in abstract argumentation. In: ECAI, pp. 63\u201368 (2014)"},{"key":"19_CR7","unstructured":"Baumann, R.: Metalogical Contributions to the Nonmonotonic Theory of Abstract Argumentation. College Publications (2014)"},{"key":"19_CR8","unstructured":"Baumann, R., Brewka, G.: Expanding argumentation frameworks: Enforcing and monotonicity results. In: COMMA. FAIA, vol.\u00a0216, pp. 75\u201386. IOS Press (2010)"},{"issue":"1","key":"19_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10506-006-9007-z","volume":"13","author":"J.M. Trevor","year":"2005","unstructured":"Trevor, J.M.: Bench-Capon and Paul\u00a0E. Dunne. Argumentation in AI and law: Editors\u2019 introduction. Artificial Intelligence and Law\u00a013(1), 1\u20138 (2005)","journal-title":"Artificial Intelligence and Law"},{"issue":"10-15","key":"19_CR10","doi-asserted-by":"publisher","first-page":"619","DOI":"10.1016\/j.artint.2007.05.001","volume":"171","author":"J.M. Trevor","year":"2007","unstructured":"Trevor, J.M.: Bench-Capon and Paul\u00a0E. Dunne. Argumentation in artificial intelligence. Artificial Intelligence\u00a0171(10-15), 619\u2013641 (2007)","journal-title":"Artificial Intelligence"},{"issue":"6","key":"19_CR11","doi-asserted-by":"publisher","first-page":"641","DOI":"10.1007\/s00224-004-1133-y","volume":"37","author":"A. Blumensath","year":"2004","unstructured":"Blumensath, A., Gr\u00e4del, E.: Finite presentations of infinite structures: Automata and interpretations. Theory of Computing Systems\u00a037(6), 641\u2013674 (2004)","journal-title":"Theory of Computing Systems"},{"key":"19_CR12","unstructured":"Caminada, M.W.A.: Comparing two unique extension semantics for formal argumentation: Ideal and eager. In: BNAIC, pp. 81\u201387 (2007)"},{"key":"19_CR13","unstructured":"Martin, W.A.: Caminada and Bart Verheij. On the existence of semi-stable extensions. In: BNAIC (2010)"},{"issue":"2","key":"19_CR14","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\u2013357 (1995)","journal-title":"Artificial Intelligence"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Dvo\u0159\u00e1k, W., Gaggl, S.A.: Stage semantics and the SCC-recursive schema for argumentation semantics. Journal of Logic and Computation (2014)","DOI":"10.1093\/logcom\/exu006"},{"key":"19_CR16","unstructured":"Grossi, D.: On the logic of argumentation theory. In: AAMAS, pp. 409\u2013416. International Foundation for Autonomous Agents and Multiagent Systems (2010)"},{"key":"19_CR17","unstructured":"Halmos, P.R.: Naive Set Theory. In: Undergraduate Texts in Mathematics. Springer (1960)"},{"issue":"3","key":"19_CR18","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1093\/logcom\/13.3.319","volume":"13","author":"B. Verheij","year":"2003","unstructured":"Verheij, B.: Deflog: on the logical interpretation of prima facie justified assumptions. Journal of Logic and Computation\u00a013(3), 319\u2013346 (2003)","journal-title":"Journal of Logic and Computation"},{"key":"19_CR19","unstructured":"Weydert, E.: Semi-stable extensions for infinite frameworks. In: BNAIC, pp. 336\u2013343 (2011)"},{"key":"19_CR20","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1090\/S0002-9904-1935-06166-X","volume":"41","author":"M. Zorn","year":"1935","unstructured":"Zorn, M.: A remark on method in transfinite algebra. Bulletin of the American Mathematical Society\u00a041, 667\u2013670 (1935)","journal-title":"Bulletin of the American Mathematical Society"}],"container-title":["Lecture Notes in Computer Science","Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-14726-0_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T23:17:06Z","timestamp":1559085426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-14726-0_19"}},"subtitle":["On the Existence and Uniqueness of Extensions"],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319147253","9783319147260"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-14726-0_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}