How Authors Benefit from Linear Logic in the Authoring Process of Interactive Storyworld
type: Dataset
description: 12 pages
issued: 2026-05-30T20:02:13.890372
language: en
modified: 2026-05-30T20:02:13.890378
contact point: Organization
  fn: CCSD
keyword: authoring
keyword: conference-papers
keyword: infoeu-reposemanticsconferenceobject
keyword: infoinfo-aicomputer-science-csartificial-intelligence-csai
keyword: interactive-storytelling
keyword: linear-logic
keyword: lncs
keyword: planning
keyword: proof-graph
keyword: scenario-validation
landing page: ICIDS 2011

How Authors Benefit from Linear Logic in the Authoring Process of Interactive Storyworld
type: Distribution
format: HTML
issued: 2026-05-30T20:02:13.995449
modified: 2026-05-30T20:02:13.856705
access URL: https://hal.science/hal-00765761

test_moissonnage_selune
type: Agent