Nonmonotonic causal theories

Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain, Hudson Turner

Research output: Contribution to journalConference articlepeer-review

355 Scopus citations


The nonmonotonic causal logic defined in this paper can be used to represent properties of actions, including actions with conditional and indirect effects, nondeterministic actions, and concurrently executed actions. It has been applied to several challenge problems in the theory of commonsense knowledge. We study the relationship between this formalism and other work on nonmonotonic reasoning and knowledge representation, and discuss its implementation, called the Causal Calculator.

Original languageEnglish (US)
Pages (from-to)49-104
Number of pages56
JournalArtificial Intelligence
Issue number1-2
StatePublished - Mar 2004
Externally publishedYes
EventLogical Formalizations and Commonsense Reasoning - New York, NY, United States
Duration: May 1 2001May 1 2001


  • Action languages
  • Causality
  • Commonsense reasoning
  • Knowledge representation
  • Nonmonotonic reasoning
  • Reasoning about actions

ASJC Scopus subject areas

  • Language and Linguistics
  • Linguistics and Language
  • Artificial Intelligence


Dive into the research topics of 'Nonmonotonic causal theories'. Together they form a unique fingerprint.

Cite this