Nonmonotonic Causal Theories (2004)
The nonmonotonic causal logic defined in this paper can be used to represent properties of actions, including actions with conditional and indirect effects, nondeterministic actions, and concurrently exe- cuted actions. It has been applied to several challenge problems in the theory of commonsense knowledge. We study the relationship between this formalism and other work on nonmonotonic reasoning and knowl- edge representation, and discuss its implementation, called the Causal Calculator.
Artificial Intelligence, Vol. 153(1--2) (2004), pp. 49-104.

Joohyung Lee Ph.D. Alumni joolee [at] asu edu
Vladimir Lifschitz Faculty vl [at] cs utexas edu
Norman McCain Ph.D. Alumni nmccain [at] sunflower com
Hudson Turner Ph.D. Alumni hudson [at] d umn edu