Linear Logic for Non-Linear Storytelling.

Anne-Gwenn Bosser Marc Cavazza Ronan Champagnat

Published in: ECAI (2010)

Keyphrases

linear logic
fixed point
desirable properties
intuitionistic logic
logical framework
sequent calculus
logic programming
cut elimination
proof search
proof theoretic
virtual environment
digital storytelling
higher order
logic programs
probability distribution
inference rules