3776 search results - page 422 / 756 » Partition-Based Logical Reasoning |
138
click to vote
FROCOS
2007
Springer
15 years 11 months ago
2007
Springer
Often when formalising dynamic systems, constraints such as exactly “n” of a set of values hold. In this paper, we consider reasoning about propositional linear time temporal ...
165
click to vote
ILP
2007
Springer
15 years 11 months ago
2007
Springer
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...
164
click to vote
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
In federated and pervasive networks, trust management has become a cornerstone for information security and privacy. Although people have recognized the importance of privacy and ...
149
click to vote
CSFW
2006
IEEE
15 years 11 months 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...
153
click to vote
LICS
2006
IEEE
15 years 10 months 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....