3970 search results - page 453 / 794 » A Logic For Causal Reasoning |
178
click to vote
PRDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Model-based development has become state of the art in software engineering. Unfortunately, the used code generators often focus on the pure application functionality. Features li...
148
click to vote
CSL
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. By introducing a parallel extension rule that is aware of independence of the introduced extension variables, a calculus for quantified propositional logic is obtained w...
180
click to vote
FROCOS
2007
Springer
16 years 29 days 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 ...
209
click to vote
ILP
2007
Springer
16 years 28 days 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...
212
click to vote
COMPSAC
2006
IEEE
16 years 25 days 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 ...