Deduction-Based Modelling and Verification of Agent-Based Systems for Data Integration.
Radoslaw KlimekLukasz FaberMarek Kisiel-DorohinickiPublished in: ICMMI (2013)
Keyphrases
- data integration
- agent based systems
- data model
- data sources
- data exchange
- multi agent systems
- databases
- agent systems
- dynamic environments
- data cleaning
- agent technology
- data management
- query answering
- distributed systems
- multiagent systems
- data warehouse
- software agents
- decision support system
- heterogeneous data
- data transformation
- biological databases
- data extraction
- heterogeneous data sources
- query decomposition
- schema mappings
- biological data
- business intelligence
- data analysis
- case study
- real world
- data integration systems
- data sets
- artificial intelligence
- data mining
- intelligent agents
- scientific data management