{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,11]],"date-time":"2025-06-11T07:30:03Z","timestamp":1749627003524},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642333521"},{"type":"electronic","value":"9783642333538"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","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-33353-8_28","type":"book-chapter","created":{"date-parts":[[2012,9,6]],"date-time":"2012-09-06T10:18:53Z","timestamp":1346926733000},"page":"359-371","source":"Crossref","is-referenced-by-count":10,"title":["Building an Epistemic Logic for Argumentation"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Schwarzentruber","sequence":"first","affiliation":[]},{"given":"Srdjan","family":"Vesic","sequence":"additional","affiliation":[]},{"given":"Tjitze","family":"Rienstra","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","first-page":"17","volume":"3","author":"C. Areces","year":"2001","unstructured":"Areces, C., de Rijke, M.: From description to hybrid logics, and back. Advances in Modal Logic\u00a03, 17\u201336 (2001)","journal-title":"Advances in Modal Logic"},{"issue":"3","key":"28_CR2","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1023\/A:1020083231504","volume":"17","author":"B. Bennett","year":"2002","unstructured":"Bennett, B., Cohn, A.G., Wolter, F., Zakharyaschev, M.: Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Applied Intelligence\u00a017(3), 239\u2013251 (2002)","journal-title":"Applied Intelligence"},{"issue":"6","key":"28_CR3","doi-asserted-by":"publisher","first-page":"737","DOI":"10.1093\/logcom\/exl008","volume":"16","author":"T. Bolander","year":"2006","unstructured":"Bolander, T., Bra\u00fcner, T.: Tableau-based decision procedures for hybrid logic. Journal of Logic and Computation\u00a016(6), 737\u2013763 (2006)","journal-title":"Journal of Logic and Computation"},{"key":"28_CR4","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 Journal\u00a077, 321\u2013357 (1995)","journal-title":"Artificial Intelligence Journal"},{"doi-asserted-by":"crossref","unstructured":"Fagin, R., Moses, Y., Halpern, J., Vardi, M.: Reasoning about knowledge. The MIT Press (2003)","key":"28_CR5","DOI":"10.7551\/mitpress\/5803.001.0001"},{"unstructured":"Gabbay, D.M.: Many-dimensional modal logics: theory and applications, vol.\u00a0148. North-Holland (2003)","key":"28_CR6"},{"unstructured":"Grossi, D.: On the logic of argumentation theory. In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), pp. 409\u2013416. IFAAMAS (2010)","key":"28_CR7"},{"issue":"3","key":"28_CR8","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1016\/0004-3702(92)90049-4","volume":"54","author":"J.Y. Halpern","year":"1992","unstructured":"Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artificial intelligence\u00a054(3), 319\u2013379 (1992)","journal-title":"Artificial intelligence"},{"issue":"1","key":"28_CR9","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"J.Y. Halpern","year":"1989","unstructured":"Halpern, J.Y., Vardi, M.Y.: The complexity of reasoning about knowledge and time. i. lower bounds. Journal of Computer and System Sciences\u00a038(1), 195\u2013237 (1989)","journal-title":"Journal of Computer and System Sciences"},{"key":"28_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(92)90103-5","volume":"57","author":"J. Pollock","year":"1992","unstructured":"Pollock, J.: How to reason defeasibly. Artificial Intelligence Journal\u00a057, 1\u201342 (1992)","journal-title":"Artificial Intelligence Journal"},{"doi-asserted-by":"crossref","unstructured":"Rahwan, I., Larson, K.: Argumentation and game theory, pp. 321\u2013339. Springer (2009)","key":"28_CR11","DOI":"10.1007\/978-0-387-98197-0_16"},{"doi-asserted-by":"crossref","unstructured":"Riveret, R., Prakken, H., Rotolo, A., Sartor, G.: Heuristics in argumentation: A game theory investigation. In: COMMA, pp. 324\u2013335 (2008)","key":"28_CR12","DOI":"10.2139\/ssrn.1317349"},{"key":"28_CR13","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0004-3702(92)90069-A","volume":"53","author":"G.R. Simari","year":"1992","unstructured":"Simari, G.R., Loui, R.P.: A mathematical treatment of defeasible reasoning and its implementation. Artificial Intelligence Journal\u00a053, 125\u2013157 (1992)","journal-title":"Artificial Intelligence Journal"},{"unstructured":"Thimm, M., Garcia, A.J.: Classification and strategical issues of argumentation games on structured argumentation frameworks. In: Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multi-Agent Systems 2010, AAMAS 2010 (2010)","key":"28_CR14"},{"doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., French, T.: Becoming aware of propositional variables. In: Logic and Its Applications, pp. 204\u2013218 (2011)","key":"28_CR15","DOI":"10.1007\/978-3-642-18026-2_17"},{"key":"28_CR16","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/S0004-3702(96)00041-0","volume":"90","author":"G. Vreeswijk","year":"1997","unstructured":"Vreeswijk, G.: Abstract argumentation systems. Artificial Intelligence Journal\u00a090, 225\u2013279 (1997)","journal-title":"Artificial Intelligence Journal"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33353-8_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,7]],"date-time":"2019-05-07T08:22:04Z","timestamp":1557217324000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33353-8_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642333521","9783642333538"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33353-8_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}