Sciweavers

ISMVL
1991
IEEE
88views Hardware» more  ISMVL 1991»
13 years 8 months ago
On the Maximum Size of the Terms in the Realization of Symmetric Functions
Ratko Tosic, Ivan Stojmenovic, Masahiro Miyakawa
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