337 search results - page 6 / 68 » Axiomatizing Distance Logics |
134
click to vote
ICDT
2007
ACM
15 years 11 months ago
2007
ACM
The first aim of this paper is to present the logical core of XPath 2.0: a logically clean, decidable fragment, which includes most navigational features of XPath 2.0 (complex co...
109
click to vote
ICML
2005
IEEE
16 years 6 months ago
2005
IEEE
This paper views clusterings as elements of a lattice. Distances between clusterings are analyzed in their relationship to the lattice. From this vantage point, we first give an a...
176
click to vote
LICS
2007
IEEE
15 years 11 months ago
2007
IEEE
The combination of first-order epistemic logic and formal cryptography offers a potentially very powerful framework for security protocol verification. In this article, we addre...
CONCUR
1990
Springer
15 years 9 months ago
1990
Springer