1059 search results - page 156 / 212 » Standard Logics Are Valuation-Nonmonotonic |
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The need to deal with vague information in Semantic Web languages is rising in importance and, thus, calls for a standard way to represent such information. We may address this is...
ENTCS
2008
13 years 10 months ago
2008
RZ is a tool which translates axiomatizations of mathematical structures to program specifications using the realizability interpretation of logic. This helps programmers correctl...
CORR
2006
Springer
13 years 10 months ago
2006
Springer
Knowledge flow analysis offers a simple and flexible way to find flaws in security protocols. A protocol is described by a collection of rules constraining the propagation of know...
ENTCS
2006
13 years 10 months ago
2006
Community decisions about access control in virtual communities are non-monotonic in nature. This means that they cannot be expressed in current, monotonic trust management langua...
CSI
2007
13 years 10 months ago
2007
The subject of research in this paper is RM-ODP, an ISO/ITU-T international standard. We investigate an important challenge that the standard faces, specifically the absence of a ...