{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T15:26:41Z","timestamp":1725463601217},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642328961"},{"type":"electronic","value":"9783642328978"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32897-8_13","type":"book-chapter","created":{"date-parts":[[2012,8,13]],"date-time":"2012-08-13T12:51:25Z","timestamp":1344862285000},"page":"181-194","source":"Crossref","is-referenced-by-count":0,"title":["Full Hybrid \u03bc-Calculus, Its Bisimulation Invariance and Application to Argumentation"],"prefix":"10.1007","author":[{"given":"Cristian","family":"Gratie","sequence":"first","affiliation":[]},{"given":"Adina Magda","family":"Florea","sequence":"additional","affiliation":[]},{"given":"John-Jules Ch.","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","unstructured":"Grossi, D.: On the logic of argumentation theory. In: van der Hoek, W., Kaminka, G., Lesperance, Y., Luck, M., Sandip, S. (eds.) Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), pp. 409\u2013416. IFAAMAS (2010)"},{"key":"13_CR2","series-title":"LNCS (LNAI)","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-642-24130-7_5","volume-title":"Logic, Rationality, and Interaction","author":"D. Grossi","year":"2011","unstructured":"Grossi, D.: An Application of Model Checking Games to Abstract Argumentation. In: van Ditmarsch, H., Lang, J., Ju, S. (eds.) LORI 2011. LNCS (LNAI), vol.\u00a06953, pp. 74\u201386. Springer, Heidelberg (2011)"},{"key":"13_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-45744-5_7","volume-title":"Automated Reasoning","author":"U. Sattler","year":"2001","unstructured":"Sattler, U., Vardi, M.Y.: The Hybrid \u03bc-Calculus. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol.\u00a02083, pp. 76\u201391. Springer, Heidelberg (2001)"},{"issue":"3:11","key":"13_CR4","first-page":"1","volume":"4","author":"P.A. Bonatti","year":"2008","unstructured":"Bonatti, P.A., Lutz, C., Murano, A., Vardi, M.Y.: The complexity of enriched \u03bc-calculi. Logical Methods in Computer Science\u00a04(3:11), 1\u201327 (2008)","journal-title":"Logical Methods in Computer Science"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Areces, C., ten Cate, B.: Hybrid logics. In: Handbook of Modal Logic. Studies in Logic and Practical Reasoning, vol.\u00a03, pp. 821\u2013868. Elsevier (2007)","DOI":"10.1016\/S1570-2464(07)80017-6"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Bradfield, J., Stirling, C.: Modal \u03bc-calculi. In: Handbook of Modal Logic. Studies in Logic and Practical Reasoning, vol.\u00a03, pp. 721\u2013756. El (2007)","DOI":"10.1016\/S1570-2464(07)80015-2"},{"issue":"2","key":"13_CR7","doi-asserted-by":"publisher","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"P.M. Dung","year":"1995","unstructured":"Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence\u00a077(2), 321\u2013357 (1995)","journal-title":"Artificial Intelligence"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1007\/3-540-61604-7_60","volume-title":"CONCUR \u201996: Concurrency Theory","author":"D. Janin","year":"1996","unstructured":"Janin, D., Walukiewicz, I.: On the Expressive Completeness of the Propositional \u03bc-Calculus with Respect to Monadic Second Order Logic. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol.\u00a01119, pp. 263\u2013277. Springer, Heidelberg (1996)"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol.\u00a027. Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"13_CR10","doi-asserted-by":"crossref","unstructured":"Baroni, P., Giacomin, M.: Semantics of abstract argument systems. In: Rahwan, I., Simari, G. (eds.) Argumentation in Artificial Intelligence, pp. 24\u201344. Springer (2009)","DOI":"10.1007\/978-0-387-98197-0_2"},{"issue":"1-2","key":"13_CR11","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.artint.2005.05.006","volume":"168","author":"P. Baroni","year":"2005","unstructured":"Baroni, P., Giacomin, M., Guida, G.: Scc-recursiveness: a general schema for argumentation semantics. Artificial Intelligence\u00a0168(1-2), 162\u2013210 (2005)","journal-title":"Artificial Intelligence"},{"issue":"10-15","key":"13_CR12","doi-asserted-by":"publisher","first-page":"675","DOI":"10.1016\/j.artint.2007.04.004","volume":"171","author":"P. Baroni","year":"2007","unstructured":"Baroni, P., Giacomin, M.: On principle-based evaluation of extension-based argumentation semantics. Artificial Intelligence\u00a0171(10-15), 675\u2013700 (2007)","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32897-8_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T01:48:17Z","timestamp":1557193697000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32897-8_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642328961","9783642328978"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32897-8_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}