2432 search results - page 167 / 487 » Cryptographic logical relations |
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
The COL institution (constructor-based observational logic) has been introduced as a formal framework to specify both generationand observation-oriented properties of software syst...
102
click to vote
RSCTC
2000
Springer
15 years 4 months ago
2000
Springer
In this paper we introduce the concept of valued tolerance as an extension of the usual concept of indiscernibility (which is a crisp equivalence relation) in rough sets theory. So...
111
Voted
FOIS
2006
15 years 2 months ago
2006
A critical problem for practical KR is dealing with relationships that change over time. This problem is compounded by representation languages such as OWL that are biased towards ...
FLAIRS
2001
15 years 2 months ago
2001
We introduce the graph-based relational concept learner SubdueCL. We start with a brief description of other graph-based learning systems: the Galois lattice, Conceptual Graphs, a...
EUSFLAT
2009
14 years 10 months ago
2009
This paper takes into account the Wittgenstein's idea on family resemblances as a particular crisp relation between some fuzzy sets, that is, between some predicates represent...