Synthesizing fault-tolerant programs from deontic logic specifications.

Published in: ASE (2013)

Keyphrases

fault tolerant
deontic logic
fault tolerance
distributed systems
recursive programs
load balancing
legal reasoning
nonmonotonic logics
logic programs
safety critical
inference rules
answer sets
formal specification
state machine
multi agent