Proving Syntactic Properties of Exceptions in an Ordered Logical Framework.

Jeff Polakow Kwangkeun Yi

Published in: FLOPS (2001)

Keyphrases

logical framework
inference rules
belief revision
epistemic logic
reasoning tasks
machine learning
desirable properties
possibilistic logic
relational databases
special case
normative systems