Keyphrases
- operational semantics
- definition language
- rule language
- semantic information
- predicate calculus
- formal semantics
- machine processable
- lexical semantics
- logic programming
- data sets
- semantic representation
- attribute grammars
- natural language
- bayesian networks
- databases
- real time
- default reasoning
- production rules
- constraint language
- artificial intelligence
- precisely defined
- syntactic semantic