Using Atoms to Simplify Distributed Programs Checking.
Hon Fung LiEslam Al MaghayrehDhrubajyoti GoswamiPublished in: DASC (2007)
Keyphrases
- distributed systems
- answer sets
- distributed environment
- multi agent
- logic programs
- communication overhead
- database systems
- computer networks
- linear combination
- lightweight
- distributed learning
- distributed architecture
- stable models
- data sets
- data management
- computing environments
- search algorithm
- communication cost
- distributed data
- artificial intelligence
- information retrieval
- neural network
- distributed processing
- databases