A formal analysis of the AIF in terms of the ASPIC framework

Floris Bex, Henry Prakken, Chris Reed

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    10 Citations (Scopus)


    In order to support the interchange of ideas and data between different projects and applications in the area of computational argumentation, a common ontology for computational argument, the Argument Interchange Format (AIF), has been devised. One of the criticisms levelled at the AIF has been that it does not take into account formal argumentation systems and their associated argumentation-theoretic semantics, which are part of the main focus of the field of computational argumentation. This paper aims to meet those criticisms by analysing the core AIF ontology in terms of the recently developed ASPIC argumentation framework.

    Original languageEnglish
    Title of host publicationComputational Models of Argument
    Subtitle of host publicationProceedings of COMMA 2010
    EditorsPietro Baroni, Federico Cerutti, Massimiliano Giacomin, Guillermo R. Simari
    Place of PublicationAmsterdam
    PublisherIOS Press
    Number of pages12
    ISBN (Electronic)9781607506195
    ISBN (Print)9781607506188
    Publication statusPublished - 2010
    EventThird International Conference on Computational Models of Argument - Palazzo Todeschini (Todeschini Palace), Desenzano del Garda, Italy
    Duration: 8 Sept 201010 Sept 2010

    Publication series

    NameFrontiers in artificial intelligence and applications
    PublisherIOS Press
    ISSN (Print)0922-6389


    ConferenceThird International Conference on Computational Models of Argument
    Abbreviated titleCOMMA 2010
    CityDesenzano del Garda
    Internet address


    • ontology
    • argument interchange
    • formal argumentation framework


    Dive into the research topics of 'A formal analysis of the AIF in terms of the ASPIC framework'. Together they form a unique fingerprint.

    Cite this