8337 search results - page 1474 / 1668 » Reasoning With Characteristic Models |
161
click to vote
NMR
2004
Springer
15 years 10 months ago
2004
Springer
We define the class of head-cycle free nested logic programs, and its proper subclass of acyclic nested programs, generalising similar classes originally defined for disjunctive...
173
Voted
NMR
2004
Springer
15 years 10 months ago
2004
Springer
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...
133
Voted
SACRYPT
2004
Springer
15 years 10 months ago
2004
Springer
A reasonably efficient password based key exchange (KE) protocol with provable security without random oracle was recently proposed by Katz, et al. [18] and later by Gennaro and Li...
146
Voted
SGAI
2004
Springer
15 years 10 months ago
2004
Springer
The requirement for Grid middleware to be largely transparent to individual users and at the same time act in accordance with their personal needs is a difficult challenge. In e-...
152
click to vote
WDAG
2004
Springer
15 years 10 months ago
2004
Springer
We apply the classic theory of linearizability to operations that must wait for some other thread to establish a precondition. We model such an operation as a request and a follow-...