8228 search results - page 104 / 1646 » Structural Logical Relations |
101
click to vote
JOLLI
2006
15 years 2 months ago
2006
Abstract. Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic ...
133
click to vote
EUSFLAT
2009
15 years 8 days 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 ...
129
click to vote
RSCTC
2000
Springer
15 years 6 months ago
2000
Springer
In the paper we investigate the problem of analysis of time related information systems. We introduce notion of temporal templates, i.e. homogeneous patterns occurring in some peri...
134
click to vote
DLOG
2007
15 years 4 months ago
2007
We compare and contrast Description Logic (DL) and Order-Sorted Feature (OSF) Logic from the perspective of using them for expressing and reasoning with knowledge structures of the...
121
click to vote
CCS
2005
ACM
15 years 8 months ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...