Sign in
A Sequent-Based Representation of Logical Argumentation.
Ofer Arieli
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