Verification in argument-incomplete argumentation frameworks

  • Baumeister D
  • Rothe J
  • Schadrack H
  • 1


    Mendeley users who have this article in their library.
  • 3


    Citations of this article.


Incomplete knowledge in argumentation frameworks may occur during the single steps of an elicitation process, when merging different beliefs about the current state of an argumentation framework, or when it is simply not possible to obtain complete information. The semantics of argumentation frameworks with such incomplete knowledge have previously been modeled in terms of an inco mplete attack relation among the given arguments by Cayrol et al. or when adding an argument that interacts with already present arguments. We propose a more general model of argument-incomplete argumentation frameworks with a variable set of arguments, and we study the related verification problems for various semantics in terms of their computational complexity.

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Dorothea Baumeister

  • Jörg Rothe

  • Hilmar Schadrack

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free