Keyphrases
- definition language
- operational semantics
- formal semantics
- predicate calculus
- logic programming
- rule language
- machine processable
- model theoretic
- semantic information
- graphical representation
- natural language
- genetic algorithm
- neural network
- natural language processing
- expert systems
- formal languages
- attribute grammars