455 search results - page 15 / 91 » A Logical Account of NGSCB |
ISMVL
2000
IEEE
13 years 12 months ago
2000
IEEE
— This paper analyses the propagation operations of signal’s multiple-valued behavior while passing through the basic gates. Based on it the propagation algorithm of behavior p...
ATAL
1997
Springer
13 years 11 months ago
1997
Springer
Abstract. We argue that none of the existing epistemic logics can adequately serve the needs of agent theories. We suggest a new concept of knowledge which generalizes both implici...
DSS
2007
13 years 7 months ago
2007
The use of positive and negative reasons in inference and decision aiding is a recurrent issue of investigation as far as the type of formal language to use within a DSS is concer...
LPNMR
1993
Springer
13 years 11 months ago
1993
Springer
The notion of assumption-based framework generalises and re nes the use of abduction to give a formalisation of non-monotonic reasoning. In this framework, a sentence is a non-mon...
GLVLSI
2008
IEEE
14 years 1 months ago
2008
IEEE
Novel nano-scale devices have shown promising potential to overcome physical barriers faced by complementary metaloxide semiconductor (CMOS) technology in future circuit design. H...