Description
Action language C+ is a formalism for describing properties of actions, which is based on nonmonotonic causal logic. The definite fragment of C+ is implemented in the Causal Calculator (CCalc), which is based on the reduction of nonmonotonic causal logic to propositional logic.
Copyright Statement
Download count: 0
Details
Contributors
- Casolary, Michael (Author)
- Lee, Joohyung (Thesis advisor)
- Ahn, Gail-Joon (Committee member)
- Baral, Chitta (Committee member)
- Arizona State University (Publisher)
Date Created
The date the item was original created (prior to any relationship with the ASU Digital Repositories.)
2011
Subjects
Resource Type
Collections this item is in
Note
- Partial requirement for: M.S., Arizona State University, 2011Note typethesis
- Includes bibliographical references (p. 55-58)Note typebibliography
- Field of study: Computer science
Citation and reuse
Statement of Responsibility
Michael Casolary