3970 search results - page 454 / 794 » A Logic For Causal Reasoning |
195
click to vote
CSFW
2006
IEEE
16 years 25 days ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...
191
click to vote
LICS
2006
IEEE
16 years 24 days ago
2006
IEEE
Logical properties of iterations of relational structures are studied and these decidability results are applied to the model checking of a powerful extension of pushdown systems....
183
click to vote
EEE
2005
IEEE
16 years 12 days ago
2005
IEEE
Electronic Brokering, is a good candidate for taking up Semantic Web technology. In this paper we study the brokering and matchmaking problem that is, how a requester’s requirem...
164
click to vote
LICS
2005
IEEE
16 years 11 days ago
2005
IEEE
Metric Temporal Logic (MTL) is a prominent specification formalism for real-time systems. In this paper, we show that the satisfiability problem for MTL over finite timed words...
211
click to vote
ASP
2005
Springer
16 years 10 days ago
2005
Springer
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...