Keyphrases
- query language
- expressive power
- data model
- ambient intelligence
- logic programming
- object oriented
- databases
- classical logic
- modal logic
- query evaluation
- complex objects
- neural network
- data sets
- sound and complete axiomatization
- artificial intelligence
- regular expressions
- relational algebra
- intelligent environments
- automated reasoning
- multi valued
- computational properties
- conjunctive queries
- probabilistic logic
- defeasible logic
- predicate logic
- recursive queries