227 search results - page 4 / 46 » Second-order logic on equivalence relations |
101
click to vote
AAAI
2007
14 years 12 months ago
2007
Generality or refinement relations between different theories have important applications to generalization in inductive logic programming, refinement of ontologies, and coordin...
63
Voted
JANCL
2008
14 years 9 months ago
2008
99
Voted
POPL
2012
ACM
13 years 5 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
EUSFLAT
2009
14 years 7 months ago
2009
This paper demonstrates that several known sequence kernels can be expressed in a unified framework in which the position specificity is modeled by fuzzy equivalence relations. In ...
CSL
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. Security properties are profitably expressed using notions of contextual equivalence, and logical relations are a powerful proof technique to establish contextual equiva...