A logic for reasoning about counterfactual emotions.
Emiliano LoriniFrançois SchwarzentruberPublished in: Artif. Intell. (2011)
Keyphrases
- causal reasoning
- formal theory
- logical framework
- classical logic
- modal logic
- modal operators
- predicate logic
- automated reasoning
- logic programming
- qualitative reasoning
- emotion recognition
- story generation
- proof theory
- epistemic logic
- nonmonotonic logics
- reasoning tasks
- spatial reasoning
- emotional state
- cognitive processes
- inference rules
- temporal logic