{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:35:26Z","timestamp":1725748526444},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642405631"},{"type":"electronic","value":"9783642405648"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40564-8_42","type":"book-chapter","created":{"date-parts":[[2013,9,12]],"date-time":"2013-09-12T11:21:30Z","timestamp":1378984890000},"page":"427-432","source":"Crossref","is-referenced-by-count":6,"title":["Linear Logic Programming for Narrative Generation"],"prefix":"10.1007","author":[{"given":"Chris","family":"Martens","sequence":"first","affiliation":[]},{"given":"Anne-Gwenn","family":"Bosser","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o F.","family":"Ferreira","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Cavazza","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"42_CR1","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2","author":"J. Andreoli","year":"1992","unstructured":"Andreoli, J.: Logic programming with focusing proofs in Linear Logic. Journal of Logic and Computation\u00a02, 297\u2013347 (1992)","journal-title":"Journal of Logic and Computation"},{"key":"42_CR2","unstructured":"Bosser, A.G., Cavazza, M., Champagnat, R.: Linear Logic for non-linear storytelling. In: ECAI 2010. Frontiers in Artificial Intelligence and Applications, vol. 215. IOS Press (2010)"},{"key":"42_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-642-22863-6_7","volume-title":"Interactive Theorem Proving","author":"A.-G. Bosser","year":"2011","unstructured":"Bosser, A.-G., Courtieu, P., Forest, J., Cavazza, M.: Structural analysis of narratives with the Coq proof assistant. In: van Eekelen, M., Geuvers, H., Schmaltz, J., Wiedijk, F. (eds.) ITP 2011. LNCS, vol.\u00a06898, pp. 55\u201370. Springer, Heidelberg (2011)"},{"key":"42_CR4","unstructured":"Flaubert, G.: Madame Bovary. Revue de Paris (1857), edition 2001 Collection Folio Classiques, ISBN 9782070413119"},{"issue":"1","key":"42_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.Y. Girard","year":"1987","unstructured":"Girard, J.Y.: Linear Logic. Theoretical Computer Science\u00a050(1), 1\u2013102 (1987)","journal-title":"Theoretical Computer Science"},{"key":"42_CR6","doi-asserted-by":"crossref","unstructured":"Greenland, S., Pearl, J., Robins, J.: Causal diagrams for epidemiologic research. Epidemiology, 37\u201348 (1999)","DOI":"10.1097\/00001648-199901000-00008"},{"issue":"2","key":"42_CR7","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1006\/inco.1994.1036","volume":"110","author":"J.S. Hodas","year":"1994","unstructured":"Hodas, J.S., Miller, D.: Logic programming in a fragment of Intuitionistic Linear Logic. Information and Computation\u00a0110(2), 327\u2013365 (1994)","journal-title":"Information and Computation"},{"key":"42_CR8","unstructured":"Leclerc, Y.: Flaubert, Plans et Sc\u00e9narios de Madame Bovary, Zuma, Cadeilhan (1995)"},{"key":"42_CR9","doi-asserted-by":"crossref","unstructured":"L\u00f3pez, P., Pfenning, F., Polakow, J., Watkins, K.: Monadic concurrent Linear Logic programming. In: Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (2005)","DOI":"10.1145\/1069774.1069778"},{"key":"42_CR10","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1017\/CBO9780511550850.004","volume":"316","author":"D. Miller","year":"2004","unstructured":"Miller, D.: Overview of Linear Logic programming. Linear Logic in Computer Science\u00a0316, 119\u2013150 (2004)","journal-title":"Linear Logic in Computer Science"},{"key":"42_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/978-3-540-71070-7_28","volume-title":"Automated Reasoning","author":"A. Schack-Nielsen","year":"2008","unstructured":"Schack-Nielsen, A., Sch\u00fcrmann, C.: Celf \u2013 A logical framework for deductive and concurrent systems (System description). In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol.\u00a05195, pp. 320\u2013326. Springer, Heidelberg (2008)"},{"key":"42_CR12","unstructured":"Schank, R., Abelson, R.: Scripts, plans, goals and understanding: An inquiry into human knowledge structures. Psychology Press (1977)"},{"key":"42_CR13","unstructured":"Schroeder, M.: How to tell a logical story. In: Narrative Intelligence: Papers from the AAAI Fall Symposium. AAAI Press (1999)"},{"key":"42_CR14","unstructured":"Young, R.M.: Notes on the use of plan structures in the creation of interactive plot. In: Narrative Intelligence: Papers from the AAAI Fall Symposium. AAAI Press (1999)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40564-8_42","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T06:37:57Z","timestamp":1558075077000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40564-8_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642405631","9783642405648"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40564-8_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}