Enhancing Datalog with Epistemic Operators to Reason About Knowledge in Distributed Systems.
Matteo InterlandiPublished in: SEBD (2012)
Keyphrases
- distributed systems
- distributed environment
- fault tolerant
- load balancing
- message passing
- geographically distributed
- fault tolerance
- distributed computing
- knowledge representation
- real time systems
- distributed database systems
- mobile agents
- knowledge base
- expressive power
- loosely coupled
- data replication
- computer networks
- operating system
- security policies
- logic programming
- concurrent systems
- dynamic epistemic logic