A Semantics for Default Logic

In spite of the importance of well-understood semantics for knowledge representation systems, proponents of default logic have tended to ignore the lack of a general model-theoretic semantics for the formalism.