You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Teesside University » Outputs » Detail

Output details

11 - Computer Science and Informatics

Teesside University

Return to search Previous output Next output

Output 33 of 43 in the submission

Output title

Structural analysis of narratives with the Coq proof assistant

Type

E - Conference contribution

DOI

10.1007/978-3-642-22863-6_7

Name of conference/published proceedings

Interactive Theorem Proving

Volume number

Issue number

First page of article

ISSN of proceedings

1611-3349

Year of publication

2011

URL

http://link.springer.com/chapter/10.1007%2F978-3-642-22863-6_7

Number of additional authors

Additional information

<11> This paper presents a first operationalisation of the work presented in our ECAI 2010 paper. We use the Coq proof assistant to provide a novel way to analyse and evaluate computational narratives through an original method for evidencing common properties of narratives generated by a set of initial conditions. We also establish correspondences between computational narrative problems and proof representation and modularity problems. Narrative modelling provides a domain-specific and restricted context where these problems may be addressed in the future. ITP, formerly TPHOL, is now a part of FLOPS. It is the main conference for the interactive theorem proving community.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract