Hybrid - A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax.
Amy P. FeltyAlberto MomiglianoPublished in: J. Autom. Reason. (2012)
Keyphrases
- higher order
- higher level
- high order
- natural images
- high level
- markov random field
- pairwise
- hybrid learning
- qualitative reasoning
- knowledge base
- reasoning systems
- meta level
- knowledge representation
- model based reasoning
- automated reasoning
- lambda calculus
- data sets
- case based reasoner
- conditional random fields
- natural language
- machine learning
- knowledge acquisition
- uncertain information
- computational properties
- low level
- neural network