{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T08:10:36Z","timestamp":1726042236665},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030290252"},{"type":"electronic","value":"9783030290269"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-29026-9_14","type":"book-chapter","created":{"date-parts":[[2019,8,21]],"date-time":"2019-08-21T23:10:06Z","timestamp":1566429006000},"page":"241-258","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Game Model for Proofs with Costs"],"prefix":"10.1007","author":[{"given":"Timo","family":"Lang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Olarte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elaine","family":"Pimentel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian G.","family":"Ferm\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,8,14]]},"reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"publisher","first-page":"543","DOI":"10.2307\/2275407","volume":"59","author":"S Abramsky","year":"1994","unstructured":"Abramsky, S., Jagadeesan, R.: Games and full completeness for multiplicative linear logic. J. Symb. Log. 59(2), 543\u2013574 (1994)","journal-title":"J. Symb. Log."},{"issue":"ICFP","key":"14_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3236789","volume":"2","author":"Beniamino Accattoli","year":"2018","unstructured":"Accattoli, B., Graham-Lengrand, S., Kesner, D.: Tight typings and split bounds. PACMPL, 2(ICFP), 94:1\u201394:30 (2018)","journal-title":"Proceedings of the ACM on Programming Languages"},{"key":"14_CR3","unstructured":"Bistarelli, S., Gadducci, F.: Enhancing constraints manipulation in semiring-based formalisms. In: Brewka, G., Coradeschi, S., Perini, A., Traverso, P. (eds.) ECAI 2006, 17th European Conference on Artificial Intelligence, Including Prestigious Applications of Intelligent Systems (PAIS 2006), Proceedings. Frontiers in Artificial Intelligence and Applications, vol. 141, pp. 63\u201367. IOS Press (2006)"},{"issue":"3","key":"14_CR4","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1023\/A:1026441215081","volume":"4","author":"S Bistarelli","year":"1999","unstructured":"Bistarelli, S., Montanari, U., Rossi, F., Schiex, T., Verfaillie, G., Fargier, H.: Semiring-based CSPs and valued CSPs: frameworks, properties, and comparison. Constraints 4(3), 199\u2013240 (1999)","journal-title":"Constraints"},{"issue":"1\u20133","key":"14_CR5","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0168-0072(92)90073-9","volume":"56","author":"A Blass","year":"1992","unstructured":"Blass, A.: A game semantics for linear logic. Ann. Pure Appl. Logic 56(1\u20133), 183\u2013220 (1992)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"4","key":"14_CR6","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1093\/jigpal\/5.4.487","volume":"5","author":"A Blass","year":"1997","unstructured":"Blass, A.: Some semantical aspects of linear logic. Log. J. IGPL 5(4), 487\u2013503 (1997)","journal-title":"Log. J. IGPL"},{"key":"14_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/BFb0022564","volume-title":"Computational Logic and Proof Theory","author":"V Danos","year":"1993","unstructured":"Danos, V., Joinet, J.-B., Schellinx, H.: The structure of exponentials: uncovering the dynamics of linear logic proofs. In: Gottlob, G., Leitsch, A., Mundici, D. (eds.) KGC 1993. LNCS, vol. 713, pp. 159\u2013171. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/BFb0022564"},{"issue":"5","key":"14_CR8","doi-asserted-by":"publisher","first-page":"654","DOI":"10.1016\/j.apal.2009.07.017","volume":"161","author":"O Delande","year":"2010","unstructured":"Delande, O., Miller, D., Saurin, A.: Proof and refutation in MALL as a game. Ann. Pure Appl. Logic 161(5), 654\u2013672 (2010)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"5","key":"14_CR9","doi-asserted-by":"publisher","first-page":"868","DOI":"10.1017\/S0960129514000413","volume":"26","author":"Y Deng","year":"2016","unstructured":"Deng, Y., Simmons, R.J., Cervesato, I.: Relating reasoning methodologies in linear logic and process algebra. Math. Struct. Comput. Sci. 26(5), 868\u2013906 (2016)","journal-title":"Math. Struct. Comput. Sci."},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-319-66902-1_6","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"CG Ferm\u00fcller","year":"2017","unstructured":"Ferm\u00fcller, C.G., Lang, T.: Interpreting sequent calculi as client-server games. In: Schmidt, R.A., Nalon, C. (eds.) TABLEAUX 2017. LNCS (LNAI), vol. 10501, pp. 98\u2013113. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66902-1_6"},{"key":"14_CR11","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. 50, 1\u2013102 (1987)","journal-title":"Theor. Comput. Sci."},{"key":"14_CR12","unstructured":"Hyland, J.M.E., Ong, C.h.L.: Fair games and full completeness for multiplicative linear logic without the mix-rule (1993)"},{"issue":"2","key":"14_CR13","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1016\/S0168-0072(97)00046-8","volume":"85","author":"G Japaridze","year":"1997","unstructured":"Japaridze, G.: A constructive game semantics for the language of linear logic. Ann. Pure Appl. Logic 85(2), 87\u2013156 (1997)","journal-title":"Ann. Pure Appl. Logic"},{"key":"14_CR14","unstructured":"Lamarche, F.: Games semantics for full propositional linear logic. In: Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, 26\u201329 June 1995, pp. 464\u2013473. IEEE Computer Society (1995)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"Lang, T., Olarte, C., Pimentel, E., Ferm\u00fcller, C.: A Game Model for Proofs with Costs. arXiv e-prints, arXiv:1906.11742 , June 2019","DOI":"10.1007\/978-3-030-29026-9_14"},{"key":"14_CR16","first-page":"187","volume":"4","author":"P Lorenzen","year":"1960","unstructured":"Lorenzen, P.: Logik und agon. Atti Del XII Congresso Internazionale di Filosofia 4, 187\u2013194 (1960)","journal-title":"Atti Del XII Congresso Internazionale di Filosofia"},{"key":"14_CR17","unstructured":"Melli\u00e8s, P.-A.: Asynchronous games 4: a fully complete model of propositional linear logic. In: Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), Chicago, IL, USA, 26\u201329 June 2005, pp. 386\u2013395. IEEE Computer Society (2005)"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/3-540-56454-3_13","volume-title":"Extensions of Logic Programming","author":"D Miller","year":"1993","unstructured":"Miller, D.: The $${\\uppi }$$ -calculus as a theory in linear logic: preliminary results. In: Lamma, E., Mello, P. (eds.) ELP 1992. LNCS, vol. 660, pp. 242\u2013264. Springer, Heidelberg (1993). https:\/\/doi.org\/10.1007\/3-540-56454-3_13"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Nigam, V., Miller, D.: Algorithmic specifications in linear logic with subexponentials. In: Porto, A., L\u00f3pez-Fraguas, F.J. (eds.) PPDP, pp. 129\u2013140. ACM (2009)","DOI":"10.1145\/1599410.1599427"},{"key":"14_CR20","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1111\/phis.12119","volume":"28","author":"C Dutilh Novaes","year":"2018","unstructured":"Dutilh Novaes, C., French, R.: Paradoxes and structural rules from a dialogue perspective. Philos. Issues 28, 129\u2013158 (2018)","journal-title":"Philos. Issues"},{"issue":"4\u20135","key":"14_CR21","first-page":"649","volume":"14","author":"E Pimentel","year":"2014","unstructured":"Pimentel, E., Olarte, C., Nigam, V.: A proof theoretic study of soft concurrent constraint programming. TPLP 14(4\u20135), 649\u2013663 (2014)","journal-title":"TPLP"},{"issue":"1\u20133","key":"14_CR22","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/S0304-3975(03)00240-8","volume":"309","author":"L Stra\u00dfburger","year":"2003","unstructured":"Stra\u00dfburger, L.: MELL in the calculus of structures. Theor. Comput. Sci. 309(1\u20133), 213\u2013285 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Stra\u00dfburger, L., Guglielmi, A.: A system of interaction and structure IV: the exponentials and decomposition. ACM Trans. Comput. Log. 12(4), 23:1\u201323:39 (2011)","DOI":"10.1145\/1970398.1970399"}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-29026-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,5]],"date-time":"2019-12-05T22:41:58Z","timestamp":1575585718000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-29026-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030290252","9783030290269"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-29026-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"14 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TABLEAUX","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Automated Reasoning with Analytic Tableaux and Related Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"London","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tableaux2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/tableaux2019.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"43","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"25","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"58% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}