<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Computational Argumentation { Formal Models and Complexity Results?</article-title>
      </title-group>
      <contrib-group>
        <aff id="aff0">
          <label>0</label>
          <institution>Institute of Logic and Computation</institution>
          ,
          <addr-line>TU Wien</addr-line>
          ,
          <country country="AT">Austria</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>Argumentation is a communicative and interactional act aimed at resolving a di erence of opinion. The last two decades have seen a formal and computational turn in argumentation theory with the goal to automate di erent aspects of argumentation. This leads to several challenges from an AI perspective, including e cient algorithms that need to be designed to guarantee short response times of argumentation systems. In this talk, I rst give a broad overview on the area of computational argumentation and discuss shortcomings of current approaches. We then identify a particular leak in the popular argumentation-pipeline model, where con ict resolution is solely based on abstract arguments rather than on the arguments' claims. I will introduce a new formal model that shifts the focus from arguments to claims and give a comprehensive complexity analysis of several argumentation semantics under this claimcentric view. In addition, the talk addresses the complexity of sub-classes and presents novel parameterizations which exploit the nature of claims explicitly along with xed-parameter tractability results.</p>
      </abstract>
    </article-meta>
  </front>
  <body />
  <back>
    <ref-list />
  </back>
</article>