{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:05:07Z","timestamp":1748664307214,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662481189"},{"type":"electronic","value":"9783662481196"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-662-48119-6_17","type":"book-chapter","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T07:53:56Z","timestamp":1440402836000},"page":"227-243","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Classification of Precedents by Modeling Tool for Action and Epistemic State: DEMO"],"prefix":"10.1007","author":[{"given":"Tetsuji","family":"Goto","sequence":"first","affiliation":[]},{"given":"Satoshi","family":"Tojo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,8,25]]},"reference":[{"key":"17_CR1","unstructured":"Araszkiewicz, M., Savelka, J.: Refined coherence as constraint satisfaction framework for representing judicial reasoning. In: Legal Knowledge and Information Systems, vol. 250, pp. 1\u201310 (2012)"},{"issue":"2","key":"17_CR2","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A Baltag","year":"2004","unstructured":"Baltag, A., Moss, L.S.: Logics for epistemic program. Synthese 139(2), 165\u2013224 (2004)","journal-title":"Synthese"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. In: Information and Computation, vol. 204, pp. 1620\u20131662. Elsevier (2006)","DOI":"10.1016\/j.ic.2006.04.006"},{"key":"17_CR4","unstructured":"Dandou, S.: The criminal law essentials, general remarks, 3rd edit. Soubunsya (1990) (in Japanese)"},{"issue":"7","key":"17_CR5","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1145\/368273.368557","volume":"5","author":"M Davis","year":"1962","unstructured":"Davis, M., Logemann, G., Loveland, D.: A machine program for theorem proving. Commun. ACM 5(7), 394\u2013397 (1962)","journal-title":"Commun. ACM"},{"issue":"7","key":"17_CR6","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/321033.321034","volume":"3","author":"M Davis","year":"1960","unstructured":"Davis, M., Putnam, H.: A computing procedure for quantification theory. J. ACM 3(7), 201\u2013215 (1960)","journal-title":"J. ACM"},{"key":"17_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H van Ditmarsch","year":"2008","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Amsterdam (2008)"},{"key":"17_CR8","unstructured":"van Eijck, J.: Dynamic episteimc modeling: Technical Report. Centrum voor Wiskunde en Informatica, Amsterdam (2004)"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-540-69937-8_13","volume-title":"Logic, Language, Information and Computation","author":"J van Eijck","year":"2008","unstructured":"van Eijck, J., Wang, Y.: Propositional dynamic logic as a logic of belief revision. In: Hodges, W., de Queiroz, R. (eds.) Logic, Language, Information and Computation. LNCS (LNAI), vol. 5110, pp. 136\u2013148. Springer, Heidelberg (2008)"},{"key":"17_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Vardi, M.Y.: Reasoning About Knowledge. MIT Press, Cambridge (1995)"},{"key":"17_CR11","unstructured":"Fujiki, H. (ed.): Criminal lapse, a dispute on the old and new lapse theory. Gakuyoushobou (1975) (in Japanese)"},{"key":"17_CR12","unstructured":"Koutsofios, E., North, S.: Drawing graphs with dot. http:\/\/www.research.att.com\/north\/graphviz\/"},{"key":"17_CR13","unstructured":"Lynch, C., Ashley, K.D., Pinkwart, N., Aleven, V.: Argument diagramming and diagnostic reliability. In: Proceedings of the JURIX 2009, pp. 106\u2013115 (2009)"},{"key":"17_CR14","unstructured":"Jones, S.P. (ed.): Haskell 98 Language and Libraries (2002). http:\/\/www.haskell.org\/onlinereport\/"},{"key":"17_CR15","unstructured":"Mayer, M.E.: Der allgemeine teil des deutsch strafrechts, 2. C. Winter, Heidelberg (1923)"},{"key":"17_CR16","unstructured":"Nishida, N., Yamaguchi, A., Saeki, H.: The 100 selected precedents of the Penal Code 1, 6th edit. Yuhikaku (2008) (in Japanese)"},{"key":"17_CR17","unstructured":"Oya, M.: Lecture note on criminal law: general part. Seibundo (2007) (in Japanese)"},{"key":"17_CR18","unstructured":"Plaza, J.A.: Logics of public communications. In: Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems, pp. 201\u2013216 (1989)"},{"key":"17_CR19","unstructured":"The Penal Code. http:\/\/www.japaneselawtranslation.go.jp\/law\/detail\/?id=1960"},{"key":"17_CR20","doi-asserted-by":"crossref","unstructured":"Wyner, A.Z., Bench-Capon, T.J.M., Atkinson, K.M.: Towards formalising argumentation about legal cases. In: Proceedings of the 13th International Conference on Artificial Intelligence and Law, pp. 1\u201310 (2011)","DOI":"10.1145\/2018358.2018359"},{"key":"17_CR21","unstructured":"Yamaguchi, A.: Criminal law: General part. Yuhikaku (2006) (in Japanese)"}],"container-title":["Lecture Notes in Computer Science","New Frontiers in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-48119-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T03:55:36Z","timestamp":1748577336000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-48119-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662481189","9783662481196"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48119-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"25 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}