TY - GEN
T1 - Defeasible laws, parallel actions, and reasoning about resources
AU - Chintabathina, Sandeep
AU - Gelfond, Michael
AU - Watson, Richard
PY - 2007
Y1 - 2007
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=37349109120&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:37349109120
SN - 9781577353140
T3 - AAAI Spring Symposium - Technical Report
SP - 35
EP - 40
BT - Logical Formalizations of Commonsense Reasoning - Papers from the 2007 AAAI Spring Symposium, Technical Report
Y2 - 26 March 2007 through 28 March 2007
ER -