{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:14:57Z","timestamp":1725891297557},"publisher-location":"Berlin, Heidelberg","reference-count":4,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642312618"},{"type":"electronic","value":"9783642312625"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31262-5_15","type":"book-chapter","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T00:54:04Z","timestamp":1339376044000},"page":"213-228","source":"Crossref","is-referenced-by-count":0,"title":["Abstract Machines for Argumentation"],"prefix":"10.1007","author":[{"given":"Kurt","family":"Ranalter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2:13","key":"15_CR1","first-page":"1","volume":"7","author":"M. Basaldella","year":"2011","unstructured":"Basaldella, M., Faggian, C.: Ludics with repetitions (exponentials, interactive types and completeness). Logical Methods in Computer Science\u00a07(2:13), 1\u201385 (2011)","journal-title":"Logical Methods in Computer Science"},{"key":"15_CR2","unstructured":"Curien, P.-L., Herbelin, H.: Abstract machines for dialogue games. In: Interactive Models of Computation and Program Behavior. Panoramas et Syth\u00e8ses, vol.\u00a027, pp. 231\u2013275. SMF (2009)"},{"key":"15_CR3","series-title":"Lecture Notes in Artificial Intelligence","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 (LNAI), vol.\u00a05514, pp. 242\u2013255. Springer, Heidelberg (2009)"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Prakken, H., Reed, C., Walton, D.: Dialogues about the burden of proof. In: Proceedings of the 10th International Conference on Artificial Intelligence and Law, ICAIL 2005, pp. 115\u2013124. ACM (2005)","DOI":"10.1145\/1165485.1165503"}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31262-5_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T07:54:01Z","timestamp":1620114841000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31262-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642312618","9783642312625"],"references-count":4,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31262-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}