2649 search results - page 66 / 530 » Temporal Theories of Reasoning |
172
click to vote
UAI
1998
15 years 7 months ago
1998
Causal models defined in terms of a collection of equations, as defined by Pearl, are axiomatized here. Axiomatizations are provided for three successively more general classes of...
178
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Access-control policies have grown from simple matrices to non-trivial specifications written in sophisticated languages. The increasing complexity of these policies demands corres...
154
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
Abstract. We introduce a semi-automated proof system for basic category-theoretic reasoning. It is based on a first-order sequent calculus that captures the basic properties of cat...
