A Sequent-Based Representation of Logical Argumentation.

Published in: CLIMA (2013)

Keyphrases

logical representation
predicate calculus
representing knowledge
case study
inference rules
logical framework
real time
image representation
graphical representation
argumentation semantics