Cumulativity, Identity and Time in Deontic Logic.

Published in: Fundam. Informaticae (2001)

Keyphrases

deontic logic
knowledge representation language
update semantics
legal reasoning
nonmonotonic logics
identity management
case based reasoning
inference rules
training data