1059 search results - page 40 / 212 » Standard Logics Are Valuation-Nonmonotonic |
143
click to vote
ENTCS
2000
15 years 6 months ago
2000
Behavioral rewriting di ers from standard rewriting in taking account of the weaker inference rules of behavioral logic, but it shares much with standard rewriting, including noti...
155
click to vote
ENTCS
2010
15 years 6 months ago
2010
We formulate a unified display calculus proof theory for the four principal varieties of bunched logic by combining display calculi for their component logics. Our calculi satisfy...
156
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
This paper describes a novel design methodology to implement a secure DPA resistant crypto processor. The methodology is suitable for integration in a common automated standard ce...
157
click to vote
DEON
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we define a framework to introduce gradedness in Deontic logics through the use of fuzzy modalities. By way of example, we instantiate the framework to Standard Deont...
143
click to vote
HICSS
2009
IEEE
16 years 28 days ago
2009
IEEE
Customers of complex IT-services increasingly demand integrated value bundles that fit their individual needs. At the same time, IT service providers are facing commoditization of...