Benchmarks for reasoning with syntax trees containing binders and contexts of assumptions.
Amy P. FeltyAlberto MomiglianoBrigitte PientkaPublished in: Math. Struct. Comput. Sci. (2018)
Keyphrases
- multi context systems
- reasoning systems
- knowledge base
- knowledge representation
- data mining
- reasoning problems
- analogical reasoning
- reasoning tasks
- benchmark suite
- database
- case based reasoning
- context aware
- production rules
- meta level
- qualitative reasoning
- domain knowledge
- legal reasoning
- decision making
- learning algorithm
- machine learning
- resource bounded
- simplifying assumptions