{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T03:43:34Z","timestamp":1777434214162,"version":"3.51.4"},"reference-count":84,"publisher":"SAGE Publications","issue":"3","license":[{"start":{"date-parts":[[2021,11,15]],"date-time":"2021-11-15T00:00:00Z","timestamp":1636934400000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":["journals.sagepub.com"],"crossmark-restriction":true},"short-container-title":["Argument &amp; Computation"],"published-print":{"date-parts":[[2022,10,18]]},"abstract":"<jats:p>Abstract argumentation, as originally defined by Dung, is a model that allows the description of certain information about arguments and relationships between them: in an abstract argumentation framework (AF), the agent knows for sure whether a given argument or attack exists. It means that the absence of an attack between two arguments can be interpreted as \u201cwe know that the first argument does not attack the second one\u201d. But the question of uncertainty in abstract argumentation has received much attention in the last years. In this paper, we survey approaches that allow to express information like \u201cThere may (or may not) be an attack between these arguments\u201d. We describe the main models that incorporate qualitative uncertainty (or ignorance) in abstract argumentation, as well as some applications of these models. We also highlight some open questions that deserve some attention in the future.<\/jats:p>","DOI":"10.3233\/aac-210010","type":"journal-article","created":{"date-parts":[[2021,11,16]],"date-time":"2021-11-16T12:13:59Z","timestamp":1637064839000},"page":"291-324","update-policy":"https:\/\/doi.org\/10.1177\/sage-journals-update-policy","source":"Crossref","is-referenced-by-count":8,"title":["Yes, no, maybe, I don\u2019t know: Complexity and application of abstract argumentation with incomplete knowledge"],"prefix":"10.1177","volume":"13","author":[{"given":"Jean-Guy","family":"Mailly","sequence":"first","affiliation":[{"name":"LIPADE, Universit\u00e9 de Paris, Paris, France. E-mail:\u00a0"}]}],"member":"179","published-online":{"date-parts":[[2021,11,15]]},"reference":[{"key":"ref001","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40381-1_11"},{"key":"ref002","doi-asserted-by":"publisher","DOI":"10.1023\/A:1014490210693"},{"key":"ref003","doi-asserted-by":"publisher","DOI":"10.1002\/int.20307"},{"key":"ref004","doi-asserted-by":"crossref","unstructured":"L.\u00a0Amgoud, Y.\u00a0Dimopoulos and P.\u00a0Moraitis, A unified and general framework for argumentation-based negotiation, in: 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), IFAAMAS, 2007, p.\u00a0158.","DOI":"10.1145\/1329125.1329317"},{"key":"ref005","unstructured":"L.\u00a0Amgoud and D.\u00a0Doder, Gradual semantics accounting for varied-strength attacks, in: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems, AAMAS \u201919, Montreal, QC, Canada, May 13\u201317, 2019, 2019, pp.\u00a01270\u20131278."},{"key":"ref006","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2008.11.006"},{"key":"ref007","unstructured":"S.\u00a0Arora and B.\u00a0Barak, Computational Complexity \u2013 A Modern Approach, Cambridge University Press, 2009, http:\/\/www.cambridge.org\/catalogue\/catalogue.asp?isbn=9780521424264. ISBN 978-0-521-42426-4."},{"key":"ref008","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13926-0_8"},{"key":"ref009","unstructured":"P.\u00a0Baroni, M.\u00a0Caminada and M.\u00a0Giacomin, Abstract argumentation frameworks and their semantics, in: Handbook of Formal Argumentation, P.\u00a0Baroni, D.\u00a0Gabbay, M.\u00a0Giacomin and L.\u00a0van der Torre, eds, College Publications, 2018, pp.\u00a0159\u2013236."},{"key":"ref010","unstructured":"P.\u00a0Baroni, M.\u00a0Giacomin and B.\u00a0Liao, Dealing with unknowability in formal argumentation, in:\n                      Proceedings of the 1st Workshop on Advances in Argumentation in Artificial Intelligence Co-Located with XVI International Conference of the Italian Association for Artificial Intelligence, AI\n                      \n                        3\n                      \n                      @AI*IA 2017\n                      , 2017, pp.\u00a073\u201378."},{"key":"ref011","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-14726-0_18"},{"key":"ref012","unstructured":"R.\u00a0Baumann, What does it take to enforce an argument? Minimal change in abstract argumentation, in: Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012), 2012, pp.\u00a0127\u2013132."},{"key":"ref013","unstructured":"R.\u00a0Baumann and G.\u00a0Brewka, Expanding argumentation frameworks: Enforcing and monotonicity results, in: 3rd International Conference on Computational Models of Argument (COMMA 2010), 2010, pp.\u00a075\u201386."},{"key":"ref014","unstructured":"R.\u00a0Baumann, S.\u00a0Doutre, J.G.\u00a0Mailly and J.P.\u00a0Wallner, Enforcement in formal argumentation, in: Handbook of Formal Argumentation, D.\u00a0Gabbay, M.\u00a0Giacomin, G.\u00a0Simari and M.\u00a0Thimm, eds, College Publications, 2021, pp.\u00a0159\u2013236. To appear in 2021."},{"key":"ref015","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2021.103470"},{"key":"ref016","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23114-3_21"},{"key":"ref017","unstructured":"D.\u00a0Baumeister, D.\u00a0Neugebauer and J.\u00a0Rothe, Credulous and skeptical acceptance in incomplete argumentation frameworks, in: 7th International Conference on Computational Models of Argument (COMMA 2018), 2018, pp.\u00a0181\u2013192."},{"key":"ref018","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2018.08.001"},{"key":"ref019","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23114-3_22"},{"key":"ref020","unstructured":"T.J.M.\u00a0Bench-Capon, Value-based argumentation frameworks, in: 9th International Workshop on Non-monotonic Reasoning (NMR 2002), Toulouse, France, April 19\u201321, Proceedings, S.\u00a0Benferhat and E.\u00a0Giunchiglia, eds, 2002, pp.\u00a0443\u2013454."},{"key":"ref021","unstructured":"P.\u00a0Besnard and S.\u00a0Doutre, Checking the acceptability of a set of arguments, in: 10th International Workshop on Non-monotonic Reasoning (NMR 2004), 2004, pp.\u00a059\u201364."},{"key":"ref022","doi-asserted-by":"publisher","DOI":"10.1080\/19462166.2013.869764"},{"key":"ref023","doi-asserted-by":"crossref","unstructured":"P.\u00a0Besnard and A.\u00a0Hunter, Elements of Argumentation, MIT Press, 2008. ISBN 978-0-262-02643-7.","DOI":"10.7551\/mitpress\/9780262026437.001.0001"},{"key":"ref024","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-98197-0_7"},{"key":"ref025","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exp064"},{"key":"ref026","unstructured":"E.\u00a0Bonzon, J.\u00a0Delobelle, S.\u00a0Konieczny and N.\u00a0Maudet, A comparative study of ranking-based semantics for abstract argumentation, in: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, Phoenix, Arizona, USA, February 12\u201317, 2016, D.\u00a0Schuurmans and M.P.\u00a0Wellman, eds, AAAI Press, 2016, pp.\u00a0914\u2013920."},{"key":"ref027","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67582-4_17"},{"key":"ref028","doi-asserted-by":"publisher","DOI":"10.1007\/11853886_11"},{"key":"ref029","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75256-1_25"},{"key":"ref030","doi-asserted-by":"publisher","DOI":"10.1002\/int.20389"},{"key":"ref031","doi-asserted-by":"publisher","DOI":"10.1145\/876638.876643"},{"key":"ref032","doi-asserted-by":"crossref","unstructured":"S.A.\u00a0Cook, The complexity of theorem-proving procedures, in: Proceedings of the 3rd Annual ACM Symposium on Theory of Computing, Shaker Heights, Ohio, USA, May 3\u20135, 1971, 1971, pp.\u00a0151\u2013158.","DOI":"10.1145\/800157.805047"},{"key":"ref033","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.04.012"},{"key":"ref034","doi-asserted-by":"crossref","unstructured":"S.\u00a0Coste-Marquis, C.\u00a0Devred and P.\u00a0Marquis, Symmetric argumentation frameworks, in: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 8th European Conference, ECSQARU 2005, Barcelona, Spain, July 6\u20138, 2005, Proceedings, 2005, pp.\u00a0317\u2013328.","DOI":"10.1007\/11518655_28"},{"key":"ref035","unstructured":"S.\u00a0Coste-Marquis, S.\u00a0Konieczny, J.G.\u00a0Mailly and P.\u00a0Marquis, On the revision of argumentation systems: Minimal change of arguments statuses, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20\u201324, 2014, 2014."},{"key":"ref036","unstructured":"S.\u00a0Coste-Marquis, S.\u00a0Konieczny, J.G.\u00a0Mailly and P.\u00a0Marquis, Extension enforcement in abstract argumentation as an optimization problem, in: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015), 2015, pp.\u00a02876\u20132882."},{"key":"ref037","unstructured":"J.\u00a0Delobelle, Ranking-based semantics for abstract argumentation (S\u00e9mantique \u00e0 base de classement pour l\u2019argumentation abstraite), PhD thesis, Artois University, Arras, France, 2017. https:\/\/tel.archives-ouvertes.fr\/tel-01937279."},{"key":"ref038","unstructured":"J.\u00a0Delobelle, A.\u00a0Haret, S.\u00a0Konieczny, J.G.\u00a0Mailly, J.\u00a0Rossit and S.\u00a0Woltran, Merging of abstract argumentation frameworks, in: Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, KR 2016, Cape Town, South Africa, April 25\u201329, 2016, 2016, pp.\u00a033\u201342."},{"key":"ref039","doi-asserted-by":"crossref","unstructured":"Y.\u00a0Dimopoulos, J.G.\u00a0Mailly and P.\u00a0Moraitis, Control argumentation frameworks, in: 32nd AAAI Conference on Artificial Intelligence (AAAI 2018), 2018, pp.\u00a04678\u20134685.","DOI":"10.1609\/aaai.v32i1.11583"},{"key":"ref040","unstructured":"Y.\u00a0Dimopoulos, J.G.\u00a0Mailly and P.\u00a0Moraitis, Argumentation-based negotiation with incomplete opponent profiles, in: 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS 2019), 2019, pp.\u00a01252\u20131260."},{"key":"ref041","doi-asserted-by":"crossref","unstructured":"Y.\u00a0Dimopoulos, J.G.\u00a0Mailly and P.\u00a0Moraitis, Arguing and negotiating using incomplete negotiators profiles, Autonomous Agents and Multi-Agent Systems 35(2) (2021).","DOI":"10.1007\/s10458-021-09493-y"},{"key":"ref042","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)80707-9"},{"key":"ref043","doi-asserted-by":"publisher","DOI":"10.3233\/AAC-180425"},{"key":"ref044","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00041-X"},{"key":"ref045","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00261-8"},{"key":"ref046","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2010.09.005"},{"key":"ref047","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-98197-0_5"},{"key":"ref048","unstructured":"W.\u00a0Dvor\u00e1k and P.E.\u00a0Dunne, Computational problems in formal argumentation and their complexity, in: Handbook of Formal Argumentation, P.\u00a0Baroni, D.\u00a0Gabbay, M.\u00a0Giacomin and L.\u00a0van der Torre, eds, College Publications, 2018, pp.\u00a0631\u2013688."},{"key":"ref049","doi-asserted-by":"publisher","DOI":"10.1613\/jair.3318"},{"key":"ref050","doi-asserted-by":"crossref","unstructured":"B.\u00a0Fazzinga, S.\u00a0Flesca and F.\u00a0Furfaro, Revisiting the notion of extension over incomplete abstract argumentation frameworks, in: 29th International Joint Conference on Artificial Intelligence (IJCAI 2020), 2020, pp.\u00a01712\u20131718.","DOI":"10.24963\/ijcai.2020\/237"},{"key":"ref051","doi-asserted-by":"crossref","unstructured":"B.\u00a0Fazzinga, S.\u00a0Flesca and F.\u00a0Furfaro, Reasoning over argument-incomplete AAFs in the presence of correlations, in: Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event, Montreal, Canada, 19\u201327 August 2021, Z.\u00a0Zhou, ed. ijcai.org, 2021, pp.\u00a0189\u2013195.","DOI":"10.24963\/ijcai.2021\/27"},{"key":"ref052","unstructured":"F.\u00a0Gaignier, Y.\u00a0Dimopoulos, J.G.\u00a0Mailly and P.\u00a0Moraitis, Probabilistic control argumentation frameworks, in: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS \u201921), 2021, pp.\u00a0519\u2013527."},{"key":"ref053","doi-asserted-by":"crossref","unstructured":"A.\u00a0Herzig and A.\u00a0Yuste-Ginel, Abstract argumentation with qualitative uncertainty: An analysis in dynamic logic, in: Proceedings of the Fourth International Conference on Logic and Argumentation (CLAR \u201921), 2021.","DOI":"10.1007\/978-3-030-89391-0_11"},{"key":"ref054","doi-asserted-by":"publisher","DOI":"10.3233\/SAT190120"},{"key":"ref055","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijar.2013.09.002"},{"key":"ref056","unstructured":"A.\u00a0Hunter and M.\u00a0Thimm, On partial information and contradictions in probabilistic abstract argumentation, in: Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning (KR \u201916), 2016, pp.\u00a053\u201362."},{"key":"ref057","doi-asserted-by":"publisher","DOI":"10.1613\/jair.5393"},{"key":"ref058","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/9.2.215"},{"key":"ref059","unstructured":"H.\u00a0Katsuno and A.O.\u00a0Mendelzon, On the difference between updating a knowledge base and revising it, in: 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR 1991), 1991, pp.\u00a0387\u2013394."},{"key":"ref060","unstructured":"H.\u00a0Kleine B\u00fcning and U.\u00a0Bubeck, Theory of quantified Boolean formulas, in: Handbook of Satisfiability, 2009, pp.\u00a0735\u2013760."},{"key":"ref061","doi-asserted-by":"crossref","unstructured":"H.\u00a0Li, N.\u00a0Oren and T.J.\u00a0Norman, Probabilistic argumentation frameworks, in: Proceedings of the First International Workshop on Theory and Applications of Formal Argumentation (TAFA \u201911), 2011, pp.\u00a01\u201316.","DOI":"10.1007\/978-3-642-29184-5_1"},{"key":"ref062","unstructured":"J.G.\u00a0Mailly, Using enthymemes to fill the gap between logical argumentation and revision of abstract argumentation frameworks,\n                      CoRR\n                      abs\/1603.08789\n                      (2016), Accepted at NMR 2016. http:\/\/arxiv.org\/abs\/1603.08789."},{"key":"ref063","unstructured":"J.G.\u00a0Mailly, A note on rich incomplete argumentation frameworks,\n                      CoRR\n                      abs\/2009.04869\n                      (2020). https:\/\/arxiv.org\/abs\/2009.04869."},{"key":"ref064","unstructured":"J.G.\u00a0Mailly, Possible controllability of control argumentation frameworks, in: 8th International Conference on Computational Models of Argument (COMMA 2020), 2020, pp.\u00a0283\u2013294."},{"key":"ref065","doi-asserted-by":"crossref","unstructured":"J.G.\u00a0Mailly, Extension-based semantics for incomplete argumentation frameworks, in: Proceedings of the Fourth International Conference on Logic and Argumentation (CLAR \u201921), 2021.","DOI":"10.1007\/978-3-030-89391-0_18"},{"key":"ref066","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-86772-0_8"},{"key":"ref067","unstructured":"J.G.\u00a0Mailly and J.\u00a0Rossit, Stability in abstract argumentation,\n                      CoRR\n                      abs\/2012.12588\n                      (2020), Accepted at NMR 2020. https:\/\/arxiv.org\/abs\/2012.12588."},{"key":"ref068","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2009.02.001"},{"key":"ref069","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exq054"},{"key":"ref070","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-86772-0_9"},{"key":"ref071","doi-asserted-by":"crossref","unstructured":"S.H.\u00a0Nielsen and S.\u00a0Parsons, A generalization of Dung\u2019s abstract framework for argumentation: Arguing with sets of attacking arguments, in: Proceedings of the Third International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2006), 2006, pp.\u00a054\u201373.","DOI":"10.1007\/978-3-540-75526-5_4"},{"key":"ref072","doi-asserted-by":"crossref","unstructured":"A.\u00a0Niskanen, D.\u00a0Neugebauer and M.\u00a0J\u00e4rvisalo, Controllability of control argumentation frameworks, in: Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020, 2020, pp.\u00a01855\u20131861.","DOI":"10.24963\/ijcai.2020\/257"},{"key":"ref073","doi-asserted-by":"crossref","unstructured":"A.\u00a0Niskanen, D.\u00a0Neugebauer, M.\u00a0J\u00e4rvisalo and J.\u00a0Rothe, Deciding acceptance in incomplete argumentation frameworks, in: 34th AAAI Conference on Artificial Intelligence (AAAI 2020), 2020, pp.\u00a02942\u20132949.","DOI":"10.1609\/aaai.v34i03.5686"},{"key":"ref074","unstructured":"D.\u00a0Odekerken, A.\u00a0Borg and F.\u00a0Bex, Estimating stability for efficient argument-based inquiry, in: 8th International Conference on Computational Models of Argument (COMMA 2020), IOS Press, 2020, pp.\u00a0307\u2013318."},{"key":"ref075","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(84)90068-0"},{"key":"ref076","doi-asserted-by":"publisher","DOI":"10.3233\/AAC-200904"},{"key":"ref077","unstructured":"K.\u00a0Skiba, D.\u00a0Neugebauer and J.\u00a0Rothe, Complexity of possible and necessary existence problems in abstract argumentation, in: 24th European Conference on Artificial Intelligence (ECAI 2020), 2020, pp.\u00a0897\u2013904."},{"key":"ref078","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2020.3046782"},{"key":"ref079","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(76)90061-X"},{"key":"ref080","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/exr038"},{"key":"ref081","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-27629-4_13"},{"key":"ref082","unstructured":"M.\u00a0Thimm, A probabilistic semantics for abstract argumentation, in: Proceedings of the 20th European Conference on Artificial Intelligence (ECAI \u201912), IOS Press, 2012, pp.\u00a0750\u2013755."},{"key":"ref083","doi-asserted-by":"publisher","DOI":"10.3233\/AAC-190471"},{"key":"ref084","doi-asserted-by":"publisher","DOI":"10.1613\/jair.5415"}],"container-title":["Argument &amp; Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/AAC-210010","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/full-xml\/10.3233\/AAC-210010","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/journals.sagepub.com\/doi\/pdf\/10.3233\/AAC-210010","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T11:53:20Z","timestamp":1777377200000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/10.3233\/AAC-210010"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,15]]},"references-count":84,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2022,10,18]]}},"alternative-id":["10.3233\/AAC-210010"],"URL":"https:\/\/doi.org\/10.3233\/aac-210010","relation":{},"ISSN":["1946-2166","1946-2174"],"issn-type":[{"value":"1946-2166","type":"print"},{"value":"1946-2174","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,11,15]]}}}