Keyphrases
- distributed systems
- cooperative
- logic programming
- verification method
- lightweight
- distributed environment
- digital libraries
- fault tolerant
- multi party
- database replication
- information systems
- deontic logic
- predicate logic
- classical logic
- multi valued
- distributed data
- distributed database systems
- communication cost
- computing environments
- knowledge representation