From C-Believed Propositions to the Causal Calculator (2010)
We trace a line of work that started with Judea Pearl's 1988 paper on the difference between "E-believed" and "C-believed" propositions. That paper has led other researchers first to the invention of several theories of nonmonotonic causal reasoning, then to designing new action languages, and then to the creation of Causal Calculator -- a software system for automated reasoning about action and change.
Heuristic, Probability and Causality: A Tribute to Judea Pearl (2010).

Vladimir Lifschitz Faculty vl [at] cs utexas edu