Dynamic Derivations for Sequent-Based Logical Argumentation.

Ofer Arieli Christian Straßer

Published in: COMMA (2014)

Keyphrases

inference rules
dynamic environments
neural network
artificial intelligence
real time
real world
learning algorithm
modal logic