Prescriptive and Descriptive Obligations in Dynamic Epistemic Deontic Logic.

Guillaume Aucher Guido Boella Leendert W. N. van der Torre

Published in: AICOL Workshops (2009)

Keyphrases

deontic logic
legal reasoning
knowledge representation language
update semantics
dynamic environments
inference rules
nonmonotonic logics
machine learning
artificial intelligence
case based reasoning
description logics
fuzzy sets
formal semantics