An overview of the carneades argumentation support system

Carneades is both a mathematical model of argumentation and a software toolbox providing support for argument evaluation, construction and visualization. Here we present an overview of the current version of the Carneades toolbox, explaining how the tools can be used to support argumentation tasks and providing some technical information about how they have been implemented.