State of argument representation

First, I’m very much aware that there’s more going on in software and formats than I can personally keep track of.  So please, everybody, feel free to comment with corrections and updates.

That said, as I see it, the situation as we begin this group is this.  There are or have recently been several strong contenders for a standard format.  We are not bound to recommend one, modified or otherwise, but  for background I’ll list the popular ones to the best of my knowledge:

• One formerly popular format, AML, has been cut loose by Araucaria.
• AIF has become a popular representation format, probably the most popular at the moment.  It does a number of things right in my opinion.
• LKIF is also fairly popular.  One issue with LKIF is that it is not primarily an argumentation format; argument representation is one module among many.  One the other hand, it has the virtue of having “work experience”, as it were, in representing contentious real world legal arguments.