Keyphrases
- formal semantics
- bayesian networks
- real time
- data sets
- benchmark suite
- operational semantics
- comparative analysis
- logic programming
- information systems
- real world
- high level
- database systems
- image sequences
- decision trees
- semantic information
- conceptual model
- information retrieval
- default reasoning
- machine learning
- logical language
- database