Linear Logic Programming for Narrative Generation

Reference. Linear Logic Programming for Narrative Generation

Cite

Cite as @martens-2013-linear (helia, typst) · \cite{martens-2013-linear} (LaTeX)

BibTeX

bibtex · 1 line

@inbook{martens-2013-linear, title={Linear Logic Programming for Narrative Generation}, ISBN={9783642405648}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-642-40564-8_42}, DOI={10.1007/978-3-642-40564-8_42}, booktitle={Logic Programming and Nonmonotonic Reasoning}, publisher={Springer Berlin Heidelberg}, author={Martens, Chris and Bosser, Anne-Gwenn and Ferreira, João F. and Cavazza, Marc}, year={2013}, pages={427–432} }

hayagriva YAML (typst)

yaml · 19 lines

martens-2013-linear:
  type: chapter
  title: Linear Logic Programming for Narrative Generation
  author:
  - Martens, Chris
  - Bosser, Anne-Gwenn
  - Ferreira, João F.
  - Cavazza, Marc
  date: 2013
  page-range: 427-432
  url: http://dx.doi.org/10.1007/978-3-642-40564-8_42
  serial-number:
    doi: 10.1007/978-3-642-40564-8_42
    isbn: '9783642405648'
    issn: 1611-3349
  parent:
    type: book
    title: Logic Programming and Nonmonotonic Reasoning
    publisher: Springer Berlin Heidelberg

Download: martens-2013-linear.bib · martens-2013-linear.yml

Cites 13 works (1 here)

With notes (1)

Linear logic girard_linear_1987TCS · 1987

The familiar connective of negation is broken into two operations: linear negation which is the purely negative part of negation and the modality “of course” which has the meaning of a reaffirmation. Following this basic discovery, a completely new approach to the whole area between constructive logics and programmation is initiated.

DOI

External (12)

Structural Analysis of Narratives with the Coq Proof Assistant (2011)
Linear logic for non-linear storytelling (2010)
Celf – a logical framework for deductive and concurrent systems (system description) (2008)
Monadic concurrent linear logic programming (2005)
An Overview of Linear Logic Programming (2004)
Causal diagrams for epidemiologic research (1999)
How to tell a logical story (1999)
Notes on the use of plan structures in the creation of interactive plot (1999)
Flaubert, plans et scénarios de Madame Bovary (1995)
Logic Programming in a Fragment of Intuitionistic Linear Logic (1994)
Logic Programming with Focusing Proofs in Linear Logic (1992)
Scripts, plans, goals and understanding: an inquiry into human knowledge structures (1977)