Login / Signup
Local Reasoning with First-Class Heaps, and a New Frame Rule.
Duc-Hiep Chu
Joxan Jaffar
Published in:
CoRR (2015)
Keyphrases
</>
production rules
knowledge base
multi class classification
reasoning systems
model based reasoning
real time
feature selection
image sequences
domain knowledge
video frames
rule induction
automated reasoning
reasoning process