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.

PDF

Heuristic, Probability and Causality: A Tribute to Judea Pearl (2010).

@article{Lifschitz:HPC:2010, title={From C-Believed Propositions to the Causal Calculator}, author={Vladimir Lifschitz}, journal={Heuristic, Probability and Causality: A Tribute to Judea Pearl}, url="http://www.cs.utexas.edu/users/ai-lab?Lifschitz:HPC:2010", year={2010} }