Keyphrases
- fault tolerant
- default logic
- fault tolerance
- default theories
- default reasoning
- nonmonotonic reasoning
- distributed systems
- nonmonotonic logics
- logic programming
- autoepistemic logic
- modal logic
- default rules
- fixed point
- load balancing
- defeasible logic
- state machine
- classical logic
- safety critical
- expressive power
- interconnection networks
- general purpose
- bayesian networks