337 search results - page 6 / 68 » Axiomatizing Distance Logics |
ICDT
2007
ACM
14 years 1 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...
ICML
2005
IEEE
14 years 8 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...
LICS
2007
IEEE
14 years 1 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...
FROCOS
2009
Springer
14 years 2 months ago
2009
Springer
CONCUR
1990
Springer
13 years 11 months ago
1990
Springer