Keyphrases
- deductive databases
- complex objects
- formal specification
- propositional dynamic logic
- transitive closure
- specification language
- information systems
- decision trees
- case study
- high level
- image sequences
- artificial intelligence
- learning algorithm
- data mining
- formal methods
- operational semantics
- deontic logic
- neural network