Keyphrases
- integrity checking
- integrity constraints
- deductive databases
- database integrity
- constraint logic programming
- neural network
- artificial intelligence
- decision making
- computer vision
- three dimensional
- multi agent
- learning environment
- video sequences
- relational databases
- data integrity
- classical logic
- real world
- databases