Keyphrases
- formal language
- cognitive robotics
- programming language
- precisely defined
- formal languages
- language learning
- operational semantics
- visual languages
- mathematical theory
- artificial intelligence
- formal representation
- natural language
- formal model
- computer vision
- specification language
- motor skills
- highly expressive
- machine learning
- machine intelligence
- computational linguistics
- computer programs
- logic programs
- robot programming
- database systems