Using Symbolic Computation in an Automated Sequent Derivation System for Multi-valued Logic.

Published in: AISC (2002)

Keyphrases

semi automated
modal logic
inference rules
multiresolution
machine learning
social networks
e learning
multi agent
wide range
artificial neural networks
data driven
automated analysis