Computational Logic and Argumentation Department of Computing Imperial College London
Resources Arg&Dec: prototype web application for collaborative decision-making, see TAFA2015 paper for information (contact: Francesca Toni, Pietro Baroni and Marco Aurisicchio) ArgTeach:A teaching tool for learning argumentation semantics using labellings (contact: Claudia Schulz) LABAS Justifier: a tool for justifying why a literal is or is not contained in an answer set. (contact: Claudia Schulz) proxdd and grapharg for query answering in assumption-based argumentation (ABA) (contact: Robert Craven) ABAplus for arguing with preferences in ABA (contact: Kristijonas Cyras) Dataset for relation-based argument mining (contact: Oana Cocarascu)