2501 search results - page 186 / 501 » Logics with Rank Operators |
155
click to vote
JMIV
2002
15 years 4 months ago
2002
There exist several methods to extend binary morphology to grey-scale images. One of these methods is based on fuzzy logic and fuzzy set theory. Another approach starts from the c...
174
click to vote
SUM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Action-probabilistic logic programs (ap-programs), a class of probabilistic logic programs, have been applied during the last few years for modeling behaviors of entities...
180
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
159
click to vote
LICS
2012
IEEE
13 years 7 months ago
2012
IEEE
—Interactive theorem provers based on higher-order logic (HOL) traditionally follow the definitional approach, reducing high-level specifications to logical primitives. This al...
123
click to vote
IFIP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Trust Management is an approach to construct and interpret the trust relationships among public-keys that are used to mediate security-critical actions. Cryptographic cre...