Inconsistent Precedents and Deontic Logic.

Ilaria Canavotto

Published in: DEON (2023)

Keyphrases

deontic logic
knowledge representation language
legal reasoning
update semantics
inference rules
nonmonotonic logics
formal semantics
inconsistent information
expert systems
graphical models
life cycle