{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,2]],"date-time":"2025-11-02T16:39:58Z","timestamp":1762101598219},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115078"},{"type":"electronic","value":"9783319115085"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11508-5_12","type":"book-chapter","created":{"date-parts":[[2014,9,8]],"date-time":"2014-09-08T08:26:24Z","timestamp":1410164784000},"page":"134-147","source":"Crossref","is-referenced-by-count":17,"title":["Probabilistic Argumentation Frameworks \u2013 A Logical Approach"],"prefix":"10.1007","author":[{"given":"Dragan","family":"Doder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Woltran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"12_CR1","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/j.jal.2013.03.009","volume":"11","author":"O. Arieli","year":"2013","unstructured":"Arieli, O., Caminada, M.W.A.: A QBF-based formalization of abstract argumentation semantics. J. Applied Logic\u00a011(2), 229\u2013252 (2013)","journal-title":"J. Applied Logic"},{"issue":"10-15","key":"12_CR2","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. Artif. Intell.\u00a0171(10-15), 619\u2013641 (2007)","journal-title":"Artif. Intell."},{"key":"12_CR3","unstructured":"Besnard, P., Doutre, S.: Checking the acceptability of a set of arguments. In: Proc. NMR 2004, pp. 59\u201364 (2004)"},{"key":"12_CR4","unstructured":"Cerutti, F., Dunne, P.E., Giacomin, M., Vallati, M.: A SAT-based Approach for Computing Extensions on Abstract Argumentation. In: Proc. TAFA (2013)"},{"issue":"104","key":"12_CR5","doi-asserted-by":"publisher","first-page":"13","DOI":"10.2298\/PIM1104013D","volume":"90","author":"D. Doder","year":"2011","unstructured":"Doder, D.: A logic with big-stepped probabilities that can model nonmonotonic reasoning of system P. Publications de l\u2019Institut Math\u00e9matique\u00a090(104), 13\u201322 (2011)","journal-title":"Publications de l\u2019Institut Math\u00e9matique"},{"issue":"2","key":"12_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."},{"key":"12_CR7","unstructured":"Dung, P.M., Thang, P.M.: Towards (probabilistic) argumentation for jury-based dispute resolution. In: Proc. COMMA. FAIA, vol.\u00a0216, pp. 171\u2013182. IOS Press (2010)"},{"issue":"10-15","key":"12_CR8","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1016\/j.artint.2007.03.006","volume":"171","author":"P.E. Dunne","year":"2007","unstructured":"Dunne, P.E.: Computational properties of argument systems satisfying graph-theoretic constraints. Artif. Intell.\u00a0171(10-15), 701\u2013729 (2007)","journal-title":"Artif. Intell."},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/j.artint.2013.10.001","volume":"206","author":"W. Dvo\u0159\u00e1k","year":"2014","unstructured":"Dvo\u0159\u00e1k, W., J\u00e4rvisalo, M., Wallner, J.P., Woltran, S.: Complexity-sensitive decision procedures for abstract argumentation. Artif. Intell.\u00a0206, 53\u201378 (2014)","journal-title":"Artif. Intell."},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/978-3-642-33362-0_7","volume-title":"Scalable Uncertainty Management","author":"W. Dvo\u0159\u00e1k","year":"2012","unstructured":"Dvo\u0159\u00e1k, W., Szeider, S., Woltran, S.: Abstract argumentation via monadic second order logic. In: H\u00fcllermeier, E., Link, S., Fober, T., Seeger, B. (eds.) SUM 2012. LNCS, vol.\u00a07520, pp. 85\u201398. Springer, Heidelberg (2012)"},{"key":"12_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1007\/978-3-642-39992-3_11","volume-title":"Logic, Language, Information, and Computation","author":"S.K. Dyrkolbotn","year":"2013","unstructured":"Dyrkolbotn, S.K.: The same, similar, or just completely different? equivalence for argumentation in light of logic. In: Libkin, L., Kohlenbach, U., de Queiroz, R. (eds.) WoLLIC 2013. LNCS, vol.\u00a08071, pp. 96\u2013110. Springer, Heidelberg (2013)"},{"key":"12_CR12","unstructured":"Egly, U., Woltran, S.: Reasoning in argumentation frameworks using quantified boolean formulas. In: Proc. COMMA. FAIA, vol.\u00a0144, pp. 133\u2013144. IOS Press (2006)"},{"issue":"1\/2","key":"12_CR13","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1016\/0890-5401(90)90060-U","volume":"87","author":"R. Fagin","year":"1990","unstructured":"Fagin, R., Halpern, J.Y., Megiddo, N.: A logic for reasoning about probabilities. Inf. Comput.\u00a087(1\/2), 78\u2013128 (1990)","journal-title":"Inf. Comput."},{"key":"12_CR14","unstructured":"Fazzinga, B., Flesca, S., Parisi, F.: On the complexity of probabilistic abstract argumentation. In: Rossi, F. (ed.) Proc. IJCAI. IJCAI\/AAAI (2013)"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1007\/978-3-642-21940-5_12","volume-title":"Argumentation in Multi-Agent Systems","author":"D. Grossi","year":"2011","unstructured":"Grossi, D.: Argumentation in the view of modal logic. In: McBurney, P., Rahwan, I., Parsons, S. (eds.) ArgMAS 2010. LNCS, vol.\u00a06614, pp. 190\u2013208. Springer, Heidelberg (2011)"},{"key":"12_CR16","unstructured":"Grossi, D., van der Hoek, W.: Audience-based uncertainty in abstract argument games. In: Rossi, F. (ed.) Proc. IJCAI. IJCAI\/AAAI (2013)"},{"key":"12_CR17","unstructured":"Hunter, A.: Some foundations for probabilistic abstract argumentation. In: Verheij, B., Szeider, S., Woltran, S. (eds.) Proc. COMMA. Frontiers in Artificial Intelligence and Applications, vol.\u00a0245, pp. 117\u2013128. IOS Press (2012)"},{"issue":"1","key":"12_CR18","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1016\/j.ijar.2012.08.003","volume":"54","author":"A. Hunter","year":"2013","unstructured":"Hunter, A.: A probabilistic approach to modelling uncertain logical arguments. Int. J. Approx. Reasoning\u00a054(1), 47\u201381 (2013)","journal-title":"Int. J. Approx. Reasoning"},{"issue":"2","key":"12_CR19","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1016\/j.ijar.2013.09.002","volume":"55","author":"A. Hunter","year":"2014","unstructured":"Hunter, A.: Probabilistic qualification of attack in abstract argumentation. Int. J. Approx. Reasoning\u00a055(2), 607\u2013638 (2014)","journal-title":"Int. J. Approx. Reasoning"},{"key":"12_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-29184-5_1","volume-title":"Theorie and Applications of Formal Argumentation","author":"H. Li","year":"2012","unstructured":"Li, H., Oren, N., Norman, T.J.: Probabilistic argumentation frameworks. In: Modgil, S., Oren, N., Toni, F. (eds.) TAFA 2011. LNCS, vol.\u00a07132, pp. 1\u201316. Springer, Heidelberg (2012)"},{"issue":"2","key":"12_CR21","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1093\/jigpal\/jzm031","volume":"16","author":"Z. Ognjanovi\u0107","year":"2008","unstructured":"Ognjanovi\u0107, Z., Perovi\u0107, A., Ra\u0161kovi\u0107, M.: Logics with the qualitative probability operator. Logic Journal of the IGPL\u00a016(2), 105\u2013120 (2008)","journal-title":"Logic Journal of the IGPL"},{"issue":"2","key":"12_CR22","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1093\/logcom\/9.2.181","volume":"9","author":"Z. Ognjanovi\u0107","year":"1999","unstructured":"Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M.: Some probability logics with new types of probability operators. J. Log. Comput.\u00a09(2), 181\u2013195 (1999)","journal-title":"J. Log. Comput."},{"issue":"1-2","key":"12_CR23","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/S0304-3975(98)00341-7","volume":"247","author":"Z. Ognjanovi\u0107","year":"2000","unstructured":"Ognjanovi\u0107, Z., Ra\u0161kovi\u0107, M.: Some first-order probability logics. Theor. Comput. Sci.\u00a0247(1-2), 191\u2013212 (2000)","journal-title":"Theor. Comput. Sci."},{"key":"12_CR24","unstructured":"Thimm, M.: A probabilistic semantics for abstract argumentation. In: Proc. ECAI. FAIA, vol.\u00a0242, pp. 750\u2013755. IOS Press (2012)"},{"key":"12_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/978-3-642-40624-9_9","volume-title":"Computational Logic in Multi-Agent Systems","author":"J.P. Wallner","year":"2013","unstructured":"Wallner, J.P., Weissenbacher, G., Woltran, S.: Advanced SAT Techniques for Abstract Argumentation. In: Leite, J., Son, T.C., Torroni, P., van der Torre, L., Woltran, S. (eds.) CLIMA XIV 2013. LNCS, vol.\u00a08143, pp. 138\u2013154. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Scalable Uncertainty Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11508-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T15:58:18Z","timestamp":1558972698000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11508-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115078","9783319115085"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11508-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}