Describing Additive Fluents in Action Language C (2003)
An additive fluent is a fluent with numerical values such that the effect of several concurrently executed actions on it can be computed by adding the effects of the individual actions. We propose a method for describing effects of actions on additive fluents in the declarative language C . An implementation of this language, called the Causal Calculator, can be used for the automation of examples of common? sense reasoning involving additive fluents.
In Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI-03), pp. 1079--1084 2003.

Joohyung Lee Ph.D. Alumni joolee [at] asu edu
Vladimir Lifschitz Faculty vl [at] cs utexas edu