10 search results - page 1 / 2 » Three-valued automated reasoning on analog properties |
KR
2010
Springer
14 years 3 months ago
2010
Springer
Maximality is a desirable property of paraconsistent logics, motivated by the aspiration to tolerate inconsistencies, but at the same time retain from classical logic as much as p...
ASE
2005
13 years 10 months ago
2005
Feature-oriented programming organizes programs around features rather than objects, thus better supporting extensible, product-line architectures. Programming languages increasin...
ICLP
2009
Springer
14 years 11 months ago
2009
Springer
If logic programs are interpreted over a three-valued logic, then often Kleene's strong three-valued logic with complete equivalence and Fitting's associated immediate co...
GLVLSI
2007
IEEE
14 years 19 days ago
2007
IEEE
DLOG
2011
13 years 2 months ago
2011
We study a restriction of the classification procedure for EL++ where the inference rule for complex role inclusion axioms (RIAs) is applied in a “left-linear” way in analogy ...