Keyphrases
- cooperative
- multi agent
- theorem prover
- heterogeneous databases
- real time
- heterogeneous networks
- highly dynamic
- image segmentation
- genetic algorithm
- real world
- metadata
- learning environment
- decision making
- multi agent systems
- digital libraries
- theorem proving
- information exchange
- data sets
- database
- distributed problem solving