Keyphrases
- lambda calculus
- lecture notes
- computer science
- revised selected papers
- programming language
- revised papers
- predicate calculus
- lecture notes in artificial intelligence
- database query languages
- artificial intelligence
- machine learning for multimodal interaction
- summer school
- complex objects
- higher order
- international workshop
- machine learning
- data structure
- advances in artificial intelligence
- predicate logic
- expressive power
- fuzzy logic
- expert systems