me
Computational Logic and Argumentation
Department of Computing
Imperial College London
 

Home

Group Members

Projects

Publications

Software

Other Information

Software

  • 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)

  • For information, contact Francesca Toni