2649 search results - page 66 / 530 » Temporal Theories of Reasoning |
UAI
1998
15 years 1 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...
105
click to vote
CADE
2006
Springer
16 years 5 days 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...
CADE
2006
Springer
16 years 5 days 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...
RR
2009
Springer
15 years 6 months ago
2009
Springer
ILP
2005
Springer
15 years 5 months ago
2005
Springer