75 search results - page 6 / 15 » A Theory of Hierarchical Consequence and Conditionals |
JAIR
2006
13 years 7 months ago
2006
In a peer-to-peer inference system, each peer can reason locally but can also solicit some of its acquaintances, which are peers sharing part of its vocabulary. In this paper, we ...
ISMIS
2005
Springer
14 years 29 days ago
2005
Springer
Abstract. One of the virtues of XML is that it allows complex structures to be easily expressed. This allows XML to be used as an intermediate, neutral, and standard form for repre...
CSFW
2010
IEEE
13 years 11 months ago
2010
IEEE
—Security protocol design is a creative discipline where the solution space depends on the problem to be solved and the cryptographic operators available. In this paper, we exami...
CRYPTO
2004
Springer
14 years 26 days ago
2004
Springer
Unconditionally secure multi-party computations in general, and broadcast in particular, are impossible if any third of the players can be actively corrupted and if no additional i...
SIGLEX
1991
13 years 11 months ago
1991
This paper argues for a two-level theory of semantics as opposed to a one-level theory, based on the example of the system of temporal and durationM connectives. Instead of identi...