1059 search results - page 64 / 212 » Standard Logics Are Valuation-Nonmonotonic |
173
click to vote
ASYNC
1997
IEEE
15 years 10 months ago
1997
IEEE
The realisation of Delay-Insensitive (DI) asynchronous circuits with a CMOS ternary logic is described in this paper. The main advantage of temary logic is the easy realisation of...
185
click to vote
ISMIS
1994
Springer
15 years 10 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
153
click to vote
ECAI
1994
Springer
15 years 10 months ago
1994
Springer
Default logic, one of the best known formalisms to express common sense reasoning, does not allow to reason by cases in its standard formulations. We propose a natural and easy way...
158
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
This paper presents the design and evaluation of an 8-bit adiabatic multiplier. Both the multiplier core and its built-in self-test logic have been designed using a true single-ph...
148
click to vote
AI
2002
Springer
15 years 6 months ago
2002
Springer
ko et al. have recently proposed an abstract framework for default reasoning. Besides capturing most existing formalisms and proving that their standard semantics all coincide, th...