Keyphrases
- lambda calculus
- higher order
- programming language
- language learning
- natural language
- context dependent
- specification language
- data sets
- databases
- predicate calculus
- process planning
- linguistic knowledge
- language processing
- real time
- mobile robot
- information systems
- artificial intelligence
- information retrieval
- neural network