Keyphrases
- artificial intelligence
- logic programming
- formal semantics
- control flow
- semantic information
- formal specification
- attribute grammars
- relational databases
- knowledge representation
- case based reasoning
- knowledge based systems
- speech acts
- ai technologies
- specification language
- process algebra
- ai community
- ai methods
- artificial general intelligence
- model theoretic
- database systems