Foundations for a logic of arguments.

Leila Amgoud Philippe Besnard Anthony Hunter

Published in: J. Appl. Non Class. Logics (2017)

Keyphrases

classical logic
proof procedures
databases
logic programming
multi valued
logic based argumentation
real time
modal logic
digital circuits
proof theory
database
data sets
artificial intelligence
multi agent
predicate logic
abductive reasoning