Keyphrases
- model theoretic
- operational semantics
- machine processable
- formal language
- formal semantics
- specification languages
- highly expressive
- dynamic aspects
- semantic information
- deductive databases
- neural network
- proof theory
- conceptual model
- genetic algorithm
- databases
- semantic relationships
- formal model
- logic programming
- logic programs
- formal languages
- software engineering
- object oriented