2432 search results - page 126 / 487 » Cryptographic logical relations |
134
click to vote
PKDD
2009
Springer
15 years 11 months ago
2009
Springer
Probabilistic logics have attracted a great deal of attention during the past few years. While logical languages have taken a central position in research on knowledge representati...
175
click to vote
JELIA
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. Among others, Alferes et al. (1998) presented an approach for updating logic programs with sets of rules based on dynamic logic programs. We syntactically redefine dynami...
129
click to vote
JCT
2007
15 years 4 months ago
2007
We prove that one can express the vertex-minor relation on finite undirected graphs by formulas of monadic second-order logic (with no edge set quantification) extended with a p...
107
click to vote
LOGCOM
2010
15 years 3 months ago
2010
This paper provides sound and complete logical systems for several fragments of English which go beyond syllogistic logic in that they use verbs as well as other limited syntactic...
174
click to vote
ICMLA
2010
15 years 2 months ago
2010
Markov Logic Networks (MLNs) combine Markov Networks and first-order logic by attaching weights to firstorder formulas and viewing them as templates for features of Markov Networks...