- From: W3C Community Development Team <team-community-process@w3.org>
- Date: Thu, 2 Apr 2015 17:04:58 +0000
- To: public-argumentation@w3.org
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) ---------- This post sent on Argumentation Community Group 'Argumentation Formats' https://www.w3.org/community/argumentation/2015/04/02/argumentation-formats/ Learn more about the Argumentation Community Group: https://www.w3.org/community/argumentation
Received on Thursday, 2 April 2015 17:05:03 UTC