Keyphrases
- international symposium
- program synthesis
- computational intelligence
- international conference
- revised papers
- ambient intelligence
- recursive programs
- lecture notes
- knowledge representation
- inductive logic programming
- book constitutes the refereed proceedings
- machine learning
- databases
- domain knowledge
- prior knowledge