1059 search results - page 1 / 212 » Standard Logics Are Valuation-Nonmonotonic |
CORR
2008
Springer
13 years 4 months ago
2008
Springer
It has recently been discovered that both quantum and classical propositional logics can be modelled by classes of nonorthomodular and thus non-distributive lattices that properly...
CLEIEJ
2010
13 years 1 months ago
2010
Logic programming is one of the most important subjects for students pursuing a degree in Information Technology and Communication (ITC) at higher education institutions. Teaching ...
ISVLSI
2008
IEEE
13 years 11 months ago
2008
IEEE
A structured ASIC has some arrays of pre-fabricated yet configurable logic blocks (CLBs) with/without a regular routing fabric. In this paper, we propose a standard cell like via-...
DATE
2008
IEEE
13 years 11 months ago
2008
IEEE
Nanowire crossbar is one of the most promising circuit solutions for nanoelectronics. We show nanowire crossbars do not scale well in terms of logic density and speed. We conseque...
ENTCS
2000
13 years 4 months ago
2000
The coincidence between the model-theoretic and the procedural semantics of SLDresolution does not carry over to a Prolog system that also implements non-logical features like cut...