165 search results - page 10 / 33 » Coping with semilattices of relations in logics with relativ... |
DAC
2009
ACM
14 years 8 months ago
2009
ACM
Reversible logic is the basis for several emerging technologies such as quantum computing, optical computing, or DNA computing and has further applications in domains like low-pow...
JELIA
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
SP
2000
IEEE
14 years 14 hour 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 ...
WSPI
2004
13 years 9 months ago
2004
Cognitive sciences, including cognitive neurosciences, have provided important insights into the notions of awareness, implicit/explicit information processing in knowledge, percep...
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...