Middle-Out Reasoning for Synthesis and Induction.
Ina KraanDavid A. BasinAlan BundyPublished in: J. Autom. Reason. (1996)
Keyphrases
- program synthesis
- functional programs
- knowledge base
- proof planning
- reasoning process
- inductive learning
- qualitative models
- inductive reasoning
- reasoning systems
- artificial intelligence
- rule induction
- qualitative reasoning
- knowledge representation
- knowledge representation and reasoning
- natural language
- case study
- meta level
- machine learning
- reasoning tasks
- inductive logic programming
- legal reasoning
- resource bounded
- expert systems
- rule based reasoning
- functional language