Argumentation Formats

Our group discusses all argumentation formats, use cases and standardization topics to enhance each existing format as well as potential new formats. Kinds of argumentation of interest to our group include: conversational, mathematical, scientific, interpretive, legal and political.

A list of existing argumentation formats:

Akoma Ntoso
Argument Interchange Format (AIF)
Argument Markup Language (AML)
LegalDocumentXML (LegalDocML)
Legal Knowledge Interchange Format (LKIF)
Mizar
Open Mathematical Documents (OMDoc)
Proof Markup Language (PML)
SALT Rhetorical Ontology (SRO)
Thousands of Problems for Theorem Provers (TPTP)
Thousands of Solutions for Theorem Provers (TSTP)