Maximality vs. Optimality in Dyadic Deontic Logic.

Published in: J. Philos. Log. (2014)

Keyphrases

deontic logic
knowledge representation language
legal reasoning
update semantics
nonmonotonic logics
optimal solution
general purpose
formal semantics
information systems
machine learning
artificial intelligence
knowledge base
inference rules
maximal tractable