3970 search results - page 439 / 794 » A Logic For Causal Reasoning |
159
click to vote
ICLP
2007
Springer
16 years 29 days ago
2007
Springer
We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM ...
176
Voted
LPAR
2007
Springer
16 years 28 days ago
2007
Springer
We investigate the possibility of developing a decidable logic which allows expressing a large variety of real world specifications. The idea is to define a decidable subset of m...
184
click to vote
LPNMR
2007
Springer
16 years 28 days ago
2007
Springer
Recently, the stable model semantics was extended to the syntax of arbitrary propositional formulas, which are beyond the traditional rule form. Cabalar and Ferraris, as well as Ca...
207
click to vote
TLCA
2007
Springer
16 years 27 days ago
2007
Springer
A Kripke Semantics is defined for a higher-order logic programming language with constraints, based on Church’s Theory of Types and a generic constraint formalism. Our syntactic...
161
click to vote
DATE
2005
IEEE
16 years 13 days ago
2005
IEEE
Side channel attacks are a major security concern for smart cards and other embedded devices. They analyze the variations on the power consumption to find the secret key of the en...