Default Logics with Preference Order: Principles and Characterisations.

Published in: LPAR (2008)

Keyphrases

default logic
database systems
knowledge base
probabilistic model
software engineering
general purpose
higher order
user preferences
default theories
defeasible logic