Sciweavers

ISMVL
1991
IEEE
145views Hardware» more  ISMVL 1991»
13 years 8 months ago
The Abnormality Predicate
We suggest a new representation of defeasible entailment and specificity in the framework of default logic. The representation is based on augmenting the underlying classical lan...
Eric Neufeld