Login / Signup
Incremental Theory Reasoning Methods for Semantic Tableaux.
Bernhard Beckert
Christian Pape
Published in:
TABLEAUX (1996)
Keyphrases
</>
machine learning methods
significant improvement
computational cost
knowledge base
image segmentation
expert systems
neural network