ASPIC+
tags
Logic Programming
Structured Argumentation
Notes that link to this note
Large-Scale Legal Reasoning with Rules and Databases