3970 search results - page 23 / 794 » A Logic For Causal Reasoning |
FROCOS
2009
Springer
14 years 2 months ago
2009
Springer
Temporal logic of knowledge is a combination of temporal and epistemic logic that has been shown to be very useful in areas such as distributed systems, security, and multi-agent s...
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer
CONCUR
1991
Springer
13 years 11 months ago
1991
Springer
NIPS
2007
13 years 9 months ago
2007
ECSQARU
2001
Springer
14 years 2 days ago
2001
Springer
The term “changes in structure,” originating from work in econometrics, refers to structural modifications invoked by actions on a causal model. In this paper we formalize the...