{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T16:10:20Z","timestamp":1743351020822,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642312618"},{"type":"electronic","value":"9783642312625"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31262-5_2","type":"book-chapter","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T04:54:04Z","timestamp":1339390444000},"page":"21-44","source":"Crossref","is-referenced-by-count":7,"title":["Ludics and Natural Language: First Approaches"],"prefix":"10.1007","author":[{"given":"Christophe","family":"Fouquer\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Myriam","family":"Quatrini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-642-02261-6_20","volume-title":"Logic, Language, Information and Computation","author":"A. Lecomte","year":"2009","unstructured":"Lecomte, A., Quatrini, M.: Ludics and its applications to natural language semantics. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds.) WoLLIC 2009. LNCS, vol.\u00a05514, pp. 242\u2013255. Springer, Heidelberg (2009)"},{"key":"2_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-19211-1_1","volume-title":"Ludics, Dialogue and Interaction","author":"M.-R. Fleury","year":"2011","unstructured":"Fleury, M.-R., Tron\u00e7on, S.: Speech Acts in Ludics. In: Lecomte, A., Tron\u00e7on, S. (eds.) PRELUDE 2010. LNCS (LNAI), vol.\u00a06505, pp. 1\u201324. Springer, Heidelberg (2011)"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/s11229-011-0014-6","volume":"183","author":"A. Lecomte","year":"2011","unstructured":"Lecomte, A., Quatrini, M.: Figures of Dialogue: a View from Ludics. Synthese\u00a0183, 59\u201385 (2011)","journal-title":"Synthese"},{"issue":"1","key":"2_CR4","doi-asserted-by":"publisher","first-page":"37","DOI":"10.4000\/msh.11640","volume":"189","author":"A. Lecomte","year":"2010","unstructured":"Lecomte, A., Quatrini, M.: Pour une \u00e9tude du langage via l\u2019interaction: dialogues et s\u00e9mantique en Ludique. Math\u00e9matiques et Sciences Humaines\u00a0189(1), 37\u201367 (2010)","journal-title":"Math\u00e9matiques et Sciences Humaines"},{"issue":"3","key":"2_CR5","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1017\/S096012950100336X","volume":"11","author":"J.Y. Girard","year":"2001","unstructured":"Girard, J.Y.: Locus solum: From the rules of logic to the logic of rules. Mathematical Structures in Computer Science\u00a011(3), 301\u2013506 (2001)","journal-title":"Mathematical Structures in Computer Science"},{"key":"2_CR6","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. Theor. Comput. Sci.\u00a050, 1\u2013102 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1007\/978-3-642-19211-1_4","volume-title":"Ludics, Dialogue and Interaction","author":"C. Fouquer\u00e9","year":"2011","unstructured":"Fouquer\u00e9, C.: Ludics and Web: Another Reading of Standard Operations. In: Lecomte, A., Tron\u00e7on, S. (eds.) PRELUDE 2010. LNCS (LNAI), vol.\u00a06505, pp. 58\u201377. Springer, Heidelberg (2011)"},{"issue":"2","key":"2_CR8","doi-asserted-by":"publisher","first-page":"131","DOI":"10.2178\/bsl\/1052669286","volume":"9","author":"J.Y. Girard","year":"2003","unstructured":"Girard, J.Y.: From foundations to ludics. Bulletin of Symbolic Logic\u00a09(2), 131\u2013168 (2003)","journal-title":"Bulletin of Symbolic Logic"},{"key":"2_CR9","unstructured":"Girard, J.Y.: Le Point Aveugle: vers l\u2019imperfection. Visions des Sciences, vol.\u00a02. Hermann (2007)"},{"key":"2_CR10","unstructured":"Curien, P.L.: Introduction to linear logic and ludics, part i. CoRR abs\/cs\/0501035 (2005)"},{"key":"2_CR11","unstructured":"Curien, P.L.: Introduction to linear logic and ludics, part ii. CoRR abs\/cs\/0501039 (2005)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Basaldella, M., Faggian, C.: Ludics with repetitions (exponentials, interactive types and completeness). In: LICS, pp. 375\u2013384. IEEE Computer Society (2009)","DOI":"10.1109\/LICS.2009.46"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/11538363_13","volume-title":"Computer Science Logic","author":"P.-L. Curien","year":"2005","unstructured":"Curien, P.-L., Faggian, C.: L-Nets, Strategies and Proof-Nets. In: Ong, L. (ed.) CSL 2005. LNCS, vol.\u00a03634, pp. 167\u2013183. Springer, Heidelberg (2005)"},{"issue":"1","key":"2_CR14","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/j.entcs.2008.03.037","volume":"203","author":"C. Fouquer\u00e9","year":"2008","unstructured":"Fouquer\u00e9, C., Mogbil, V.: Rewritings for polarized multiplicative and exponential proof structures. Electr. Notes Theor. Comput. Sci.\u00a0203(1), 109\u2013121 (2008)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"issue":"3","key":"2_CR15","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1093\/logcom\/2.3.297","volume":"2","author":"J.M. Andreoli","year":"1992","unstructured":"Andreoli, J.M.: Logic programming with focusing proofs in linear logic. J. Log. Comput.\u00a02(3), 297\u2013347 (1992)","journal-title":"J. Log. Comput."},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Faggian, C., Maurel, F.: Ludics nets, a game model of concurrent interaction. In: LICS, pp. 376\u2013385. IEEE Computer Society (2005)","DOI":"10.1109\/LICS.2005.25"},{"issue":"20","key":"2_CR17","doi-asserted-by":"publisher","first-page":"2048","DOI":"10.1016\/j.tcs.2010.12.026","volume":"412","author":"K. Terui","year":"2011","unstructured":"Terui, K.: Computational ludics. Theor. Comput. Sci.\u00a0412(20), 2048\u20132071 (2011)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR18","unstructured":"Landragin, F.: Vers l\u2019identification et le traitement des actes de dialogue composites. In: Traitement Automatique du Langage Naturel (TALN), pp. 460\u2013469 (2008)"},{"issue":"Varia","key":"2_CR19","doi-asserted-by":"publisher","first-page":"5","DOI":"10.4000\/msh.8883","volume":"181","author":"M. Chemillier","year":"2008","unstructured":"Chemillier, M.: El\u00e9ments pour une ethnomath\u00e9matique de l\u2019aw\u00e9l\u00e9. Math\u00e9matiques et Sciences Humaines\u00a0181(Varia), 5\u201334 (2008)","journal-title":"Math\u00e9matiques et Sciences Humaines"},{"key":"2_CR20","unstructured":"Schopenhauer, A.: L\u2019art d\u2019avoir toujours raison. Circ\u00e9 (1830)"},{"key":"2_CR21","unstructured":"Quatrini, M.: In: Une relecture ludique des stratag\u00e8mes de Schopenhauer. Presses de la Sorbonne (to appear)"},{"issue":"2","key":"2_CR22","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1017\/S0960129503004134","volume":"14","author":"M.R. Fleury","year":"2004","unstructured":"Fleury, M.R., Quatrini, M.: First order in ludics. Mathematical Structures in Computer Science\u00a014(2), 189\u2013213 (2004)","journal-title":"Mathematical Structures in Computer Science"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"Searle, J.: Speech Acts. Cambridge University Press (1969)","DOI":"10.1017\/CBO9781139173438"},{"key":"2_CR24","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1023\/A:1005237527730","volume":"123","author":"D. Walton","year":"2000","unstructured":"Walton, D.: The place of dialogue theory in logic, computer science and communication studies. Synthese\u00a0123, 327\u2013346 (2000)","journal-title":"Synthese"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Brandom, R.: Articulating Reasons: An Introduction to Inferentialism. Harvard University Press (2000)","DOI":"10.4159\/9780674028739"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31262-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,30]],"date-time":"2025-03-30T15:53:49Z","timestamp":1743350029000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31262-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642312618","9783642312625"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31262-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}