Defeasible laws, parallel actions, and reasoning about resources

Sandeep Chintabathina, Michael Gelfond, Richard Watson

Research output: Chapter in Book/Report/Conference proceedingConference contribution

6 Scopus citations

Abstract

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
Pages35-40
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
VolumeSS-07-05

Conference

Conference2007 AAAI Spring Symposium
CountryUnited States
CityStanford, CA
Period03/26/0703/28/07

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

  • Cite this

    Chintabathina, S., Gelfond, M., & Watson, R. (2007). Defeasible laws, parallel actions, and reasoning about resources. In Logical Formalizations of Commonsense Reasoning - Papers from the 2007 AAAI Spring Symposium, Technical Report (pp. 35-40). (AAAI Spring Symposium - Technical Report; Vol. SS-07-05).