Keyphrases
- formal theory
- theoretical basis
- programming language
- artificial intelligence
- theoretical foundation
- theoretical framework
- real time
- operational semantics
- language learning
- computational model
- database
- first order logic
- information theory
- context dependent
- object oriented
- language processing
- specification language
- speech acts
- metadata
- formal languages