Two-Level Hybrid: A System for Reasoning Using Higher-Order Abstract Syntax.
Alberto MomiglianoAlan J. MartinAmy P. FeltyPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- higher order
- high level
- natural images
- high order
- pairwise
- low order
- knowledge representation
- qualitative reasoning
- case based reasoner
- hybrid approaches
- reasoning systems
- meta level
- conditional random fields
- markov random field
- case based reasoning
- automated reasoning
- reasoning process
- lower order
- higher level
- graphical representation
- reasoning tasks
- fuzzy logic
- probabilistic model
- reasoning mechanisms
- low level
- reasoning engine
- anti unification
- domain knowledge