Keyphrases
- user defined
- nonmonotonic reasoning
- logic programming
- default reasoning
- data types
- higher order
- belief revision
- knowledge representation
- theorem proving
- query processor
- reasoning tasks
- query language
- database
- equational theories
- theorem prover
- data structure
- default logic
- query optimization
- high dimensional data
- preprocessing
- knowledge representation formalisms
- databases