Defeasible laws, parallel actions, and reasoning about resources

Sandeep Chintabathina, Michael Gelfond, Richard Watson

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

6 Scopus citations


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.

Original languageEnglish
Title of host publicationLogical Formalizations of Commonsense Reasoning - Papers from the 2007 AAAI Spring Symposium, Technical Report
Number of pages6
StatePublished - 2007
Event2007 AAAI Spring Symposium - Stanford, CA, United States
Duration: Mar 26 2007Mar 28 2007

Publication series

NameAAAI Spring Symposium - Technical Report


Conference2007 AAAI Spring Symposium
Country/TerritoryUnited States
CityStanford, CA


Dive into the research topics of 'Defeasible laws, parallel actions, and reasoning about resources'. Together they form a unique fingerprint.

Cite this