Defeasible Laws, Parallel Actions, and Reasoning about Resources.
Sandeep Chintabathina, Michael Gelfond, Richard Watson · National Conference on Artificial Intelligence · 2007
We introduce a new action language, CARD, which allows defeasible dynamic causal laws, default fluents, concurrent and non-deterministic actions, and actions which use resources. We give syntax and semantics of the language and several simple examples of its use. Comparison with some other languages is also given though limited by space requirements.