Keyphrases
- set intersection
- theorem prover
- proof planning
- constraint networks
- automated theorem proving
- theorem proving
- distributed databases
- neural network
- data structure
- metadata
- real time
- consistency checking
- feature selection
- modular architecture
- modular structure
- data mining
- maintaining consistency
- modular neural networks