Stem ought$ (all stems)
1 papers:
SEFM-2007-CastroM #fault tolerance #logic #reasoning- An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers (PFC, TSEM), pp. 151–160.
SEFM-2007-CastroM #fault tolerance #logic #reasoning