Sciweavers

3970 search results - page 23 / 794
» A Logic For Causal Reasoning
Sort
View
FROCOS
2009
Springer
15 years 8 months 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
88
Voted
CONCUR
1991
Springer
15 years 5 months ago
Geometric Logic, Causality and Event Structures
Jeremy Gunawardena
97
Voted
ECSQARU
2001
Springer
15 years 6 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