Login / Signup
A blueprint for deontic logic in three (not necessarily easy) steps.
Krister Segerberg
Published in:
Formal Models of Belief Change in Rational Agents (2007)
Keyphrases
</>
deontic logic
knowledge representation language
update semantics
legal reasoning
expert systems
general purpose
bayesian networks