Andersonian Deontic Logic, Propositional Quantification, and Mally.

Gert-Jan C. Lokhorst

Published in: Notre Dame J. Formal Log. (2006)

Keyphrases

deontic logic
propositional logic
nonmonotonic logics
knowledge representation language
default logic
update semantics
legal reasoning
first order logic
multi valued
inference rules
formal semantics
knowledge base
sufficient conditions
knowledge compilation
horn clauses
machine learning
software development