Sciweavers

3970 search results - page 23 / 794
» A Logic For Causal Reasoning
Sort
View
FROCOS
2009
Springer
16 years 15 days ago
Taming the Complexity of Temporal Epistemic Reasoning
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...
Clare Dixon, Michael Fisher, Boris Konev
ECSQARU
2001
Springer
15 years 10 months ago
Supporting Changes in Structure in Causal Model Construction
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...
Tsai-Ching Lu, Marek J. Druzdzel