217 search results - page 14 / 44 » Display Calculi for Logics with Relative Accessibility Relat... |
JAPLL
2006
13 years 7 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
ENTCS
2007
13 years 7 months ago
2007
Logical connectives familiar from the study of hybrid logic can be added to the logical framework LF, a constructive type theory of dependent functions. This extension turns out t...
LREC
2010
13 years 9 months ago
2010
Electronic dictionaries offer many possibilities unavailable in paper dictionaries to view, display or access information. However, even these resources fall short when it comes t...
INTERACT
1997
13 years 9 months ago
1997
Quick access to short, relevant video segments enables efficient use of a digital video library. This study evaluated an interface designed for such access, an interface that allow...
SP
2000
IEEE
14 years 7 days ago
2000
IEEE
We describe the design and implementation of a security infrastructure for a distributed Java application. This work is inspired by SDSI/SPKI, but has a few twists of its own. We ...