Cited By
View all- Cabioch TChampagnat RBosser AChiganne JDieguez M(2019)Timing Interactive Narratives2019 IEEE Conference on Games (CoG)10.1109/CIG.2019.8847967(1-8)Online publication date: Aug-2019
- Bosser ACourtieu PForest JCavazza M(2011)Structural analysis of narratives with the Coq proof assistantProceedings of the Second international conference on Interactive theorem proving10.5555/2033939.2033948(55-70)Online publication date: 22-Aug-2011
- Bosser ACavazza MChampagnat R(2010)Linear Logic for Non-Linear StorytellingProceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence10.5555/1860967.1861107(713-718)Online publication date: 4-Aug-2010
- Show More Cited By