Merits of a Temporal Modal Logic for Narrative Discourse Generation.
Markus EgerCamille BarotR. Michael YoungPublished in: INT/SBG@AIIDE (2015)
Keyphrases
- modal logic
- temporal logic
- decision procedures
- inference rules
- narrative generation
- epistemic logic
- default logic
- spatio temporal
- nonmonotonic logics
- story generation
- classical logic
- conditional logic
- temporal constraints
- temporal reasoning
- temporal information
- temporal data
- situation calculus
- spatial and temporal
- text generation
- prime implicates
- autoepistemic logic
- digital entertainment
- modal operators
- discourse structure
- case based reasoning
- explanation based generalization
- narrative structure
- model checking
- temporal patterns
- knowledge base