Keyphrases
- program synthesis
- object oriented
- recursive programs
- abductive inference
- inductive logic programming
- deductive reasoning
- database languages
- expert systems
- explanation based learning
- cellular automata
- constraint satisfaction
- database
- contextual information
- data model
- training set
- information retrieval
- machine learning