ASPIC+

tags
Logic Programming Structured Argumentation