
We introduce a new approach to reasoning about action and change using nonmonotonic logic. The approach is arrived at by applying Pearl's theory of causal networks to logical formalizations of temporal reasoning domains. It comes in two versions: version S0 that works for logical theories in which causal knowledge is represented explicitly, and version I0 that works for logical theories in which this is not the case. It turns out that various restrictions of So are equivalent to various existing approaches that are explicitly based on causation. Similarly, two of the most well-known non-causal approaches, namely Baker's account and ‘chronological minimization with filter preferential entailment’, can be reinterpreted as approximations of Io. We thus provide a reinterpretation in terms of causal network theory of much of the work done in nonmonotonic temporal reasoning.
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 2 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
