5451 search results - page 31 / 1091 » Typed Operational Semantics |
IFSA
2007
Springer
14 years 1 months ago
2007
Springer
The algebra of truth values for fuzzy sets of type-2, due to Zadeh, contains as subalgebras those of type-1 and of interval-valued fuzzy sets. It also contains many other interest...
IANDC
2006
13 years 7 months ago
2006
We study several algebras of graphs and hypergraphs and the corresponding notions of equational sets and recognizable sets. We generalize and unify several existing results which ...
TARK
2005
Springer
14 years 27 days ago
2005
Springer
In this paper, we provide a notion of structure preserving maps (i.e. knowledge-belief morphisms) between knowledge-belief spaces. Then we show that - under the condition that the...
LICS
2005
IEEE
14 years 1 months ago
2005
IEEE
PLDI
2010
ACM
13 years 11 months ago
2010
ACM
