Keyphrases
- automated reasoning
- xml documents
- reasoning systems
- theorem proving
- knowledge representation
- xml data
- probabilistic reasoning
- decision procedures
- theorem prover
- reasoning tasks
- relational databases
- automated verification
- data model
- labeling scheme
- xml queries
- relational data
- xml information retrieval
- xml schema
- functional dependencies
- integrity constraints
- knowledge representation and reasoning
- description logics
- artificial neural networks
- high level
- heuristic search
- lower bound