Keyphrases
- artificial intelligence
- formal semantics
- expert systems
- knowledge representation
- logic programming
- attribute grammars
- intelligent systems
- knowledge representation and reasoning
- formal specification
- process algebra
- ai systems
- control flow
- semantic information
- machine learning
- default reasoning
- specification language
- databases
- conceptual model
- concurrent systems
- logic programs