Sequent-based logical argumentation.

Ofer Arieli Christian Straßer

Published in: Argument Comput. (2015)

Keyphrases

inference rules
legal reasoning
defeasible reasoning
argumentation systems
natural deduction
logical properties
logical reasoning
neural network
knowledge base
fixed point
modal logic
conceptual change
logical representation
argumentation semantics