Keyphrases
- expressive power
- deductive databases
- knowledge representation
- query language
- integrity constraints
- query answering
- reasoning systems
- reasoning process
- data complexity
- decision making
- datalog programs
- automated reasoning
- probabilistic reasoning
- reasoning mechanisms
- model based reasoning
- qualitative reasoning
- reasoning tasks
- spatial reasoning
- probabilistic logic
- database
- programming language
- bayesian networks
- artificial intelligence