Reasoning with Higher-Order Abstract Syntax and Contexts: A Comparison.
Amy P. FeltyBrigitte PientkaPublished in: ITP (2010)
Keyphrases
- higher order
- high order
- pairwise
- reasoning systems
- knowledge base
- high level
- knowledge representation
- higher level
- analogical reasoning
- natural images
- multi context systems
- neural network
- precisely defined
- operational semantics
- qualitative reasoning
- statistical analysis
- programming language
- natural language
- social networks