Sign in

Impulse: a Formal Characterization of Story.

Markus EgerCamille BarotRobert Michael Young
Published in: CMN (2015)
Keyphrases
  • databases
  • formal model
  • digital storytelling
  • real time
  • data sets
  • formal specification
  • information retrieval
  • information systems
  • knowledge base
  • website
  • model checking
  • formal methods
  • operational semantics