Deontic action logic, atomic boolean algebras and fault-tolerance.
Pablo F. CastroT. S. E. MaibaumPublished in: J. Appl. Log. (2009)
Keyphrases
- fault tolerance
- deontic logic
- fault tolerant
- classical logic
- load balancing
- distributed systems
- multi valued
- boolean logic
- distributed computing
- reasoning about actions
- logic programming
- high availability
- response time
- peer to peer
- database replication
- mobile agents
- replicated databases
- group communication
- modal logic
- high performance computing
- failure recovery
- relation algebra
- boolean functions
- nonmonotonic logics
- computational intelligence
- data sets
- fault management
- single point of failure
- replica control
- boolean algebra
- high scalability
- data replication
- end to end
- logic programs
- data streams
- cooperative
- artificial intelligence