Arg-tuProlog: A Modular Logic Argumentation Tool for PIL.

Roberta Calegari Giuseppe Contissa Giuseppe Pisano Galileo Sartor Giovanni Sartor

Published in: JURIX (2020)

Keyphrases

proof procedures
neural network
software tools
argumentation systems
defeasible reasoning
user friendly
automated reasoning
computational properties
derivation rules