Login / Signup
System Description: Abella -- A System for Reasoning about Computations
Andrew Gacek
Published in:
CoRR (2008)
Keyphrases
</>
cooperative
qualitative reasoning
knowledge base
metadata
decision trees
image segmentation
feature extraction
data streams
spatial reasoning