Doing as We Ought: Towards a Logic of Simply Dischargeable Obligations.

Published in: DEON (1996)

Keyphrases

deontic logic
normative systems
logic programming
classical logic
nonmonotonic logics
modal logic
automated reasoning
sound and complete axiomatization
data sets
proof theory
computational properties
multi valued
expressive power
first order logic
search algorithm
cooperative
genetic algorithm
information retrieval