{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T23:40:12Z","timestamp":1719358812476},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,8,2]],"date-time":"2017-08-02T00:00:00Z","timestamp":1501632000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1007\/s10506-017-9202-0","type":"journal-article","created":{"date-parts":[[2017,8,2]],"date-time":"2017-08-02T15:19:02Z","timestamp":1501687142000},"page":"201-249","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Dynamic epistemic logic of belief change in legal judgments"],"prefix":"10.1007","volume":"26","author":[{"given":"Pimolluck","family":"Jirakunkanok","sequence":"first","affiliation":[]},{"given":"Katsuhiko","family":"Sano","sequence":"additional","affiliation":[]},{"given":"Satoshi","family":"Tojo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,2]]},"reference":[{"key":"9202_CR1","doi-asserted-by":"crossref","unstructured":"Aucher G, Grossi D, Herzig A, Lorini E (2009) Dynamic context logic. In: Proceedings of logic, rationality, and interaction, second international workshop, LORI 2009, Chongqing, China, 8\u201311 Oct 2009, pp 15\u201326","DOI":"10.1007\/978-3-642-04893-7_2"},{"key":"9202_CR2","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/B978-0-444-51726-5.50015-7","volume-title":"Handbook on the philosophy of information","author":"A Baltag","year":"2008","unstructured":"Baltag A, van Ditmarsch HP, Moss LS (2008) Epistemic logic and information update. In: Adriaans P, van Benthem J (eds) Handbook on the philosophy of information. Elsevier, Amsterdam, pp 361\u2013456"},{"key":"9202_CR3","doi-asserted-by":"crossref","unstructured":"Baltag A, Bezhanishvili N, \u00d6zg\u00fcn A, Smets S (2016) Justified belief and the topology of evidence. In: Proceedings of logic, language, information, and computation\u201423rd international workshop, WoLLIC 2016, Puebla, Mexico, 16\u201319th Aug 2016, pp 83\u2013103","DOI":"10.1007\/978-3-662-52921-8_6"},{"key":"9202_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1093\/logcom\/exm060","volume":"18","author":"TJM Bench-Capon","year":"2008","unstructured":"Bench-Capon TJM, Prakken H (2008) Introducing the logic and law corner. J Log Comput 18:1\u201312","journal-title":"J Log Comput"},{"issue":"2\u20134","key":"9202_CR5","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0743-1066(93)90029-G","volume":"17","author":"M Cadoli","year":"1993","unstructured":"Cadoli M, Schaerf M (1993) A survey of complexity results for nonmonotonic logics. J Log Progr 17(2\u20134):127\u2013160","journal-title":"J Log Progr"},{"key":"9202_CR6","doi-asserted-by":"crossref","unstructured":"Cholvy L (2005) A modal logic for reasoning with contradictory beliefs which takes into account the number and the reliability of the sources. In: Proceedings of symbolic and quantitative approaches to reasoning with uncertainty, 8th European conference, ECSQARU 2005, Barcelona, Spain, 6\u20138 July 2005, pp 390\u2013401","DOI":"10.1007\/11518655_34"},{"key":"9202_CR7","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1007\/978-94-015-9817-0_22","volume-title":"Frontiers in belief revision. Applied logic series","author":"A Dragoni","year":"2001","unstructured":"Dragoni A, Giorgini P (2001) Revising beliefs received from multiple sources. In: Williams MA, Rott H (eds) Frontiers in belief revision. Applied logic series, vol 22. Springer, Dordrecht, pp 429\u2013442"},{"issue":"2","key":"9202_CR8","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1016\/0004-3702(94)00041-X","volume":"77","author":"PM Dung","year":"1995","unstructured":"Dung PM (1995) On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif Intell 77(2):321\u2013358","journal-title":"Artif Intell"},{"key":"9202_CR9","volume-title":"Belief revision","year":"1992","unstructured":"Gardenfors P (ed) (1992) Belief revision. Cambridge University Press, New York"},{"key":"9202_CR10","volume-title":"Games, norms and reasons: logic at the crossroads, Synthese Library","author":"S Ghosh","year":"2011","unstructured":"Ghosh S, Vel\u00e1zquez-Quesada F (2011) Merging information. In: van Benthem J, Gupta A, Pacuit E (eds) Games, norms and reasons: logic at the crossroads, Synthese Library, vol 353. Springer, Berlin"},{"issue":"1","key":"9202_CR11","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1093\/jigpal\/jzp075","volume":"18","author":"G Governatori","year":"2010","unstructured":"Governatori G, Rotolo A (2010) Changing legal systems: legal abrogations and annulments in defeasible logic. Log J IGPL 18(1):157\u2013194","journal-title":"Log J IGPL"},{"key":"9202_CR12","first-page":"251","volume":"30","author":"D Grossi","year":"2011","unstructured":"Grossi D, Rotolo A (2011) Logic in the law: a concise overview. Log Philos Today Stud Log 30:251\u2013274","journal-title":"Log Philos Today Stud Log"},{"key":"9202_CR13","doi-asserted-by":"crossref","unstructured":"Grossi D, Vel\u00e1zquez-Quesada FR (2009) Twelve Angry Men: a study on the fine-grain of announcements. In: Proceedings of logic, rationality, and interaction, second international workshop, LORI 2009, Chongqing, China, 8\u201311 Oct 2009, pp 147\u2013160","DOI":"10.1007\/978-3-642-04893-7_12"},{"key":"9202_CR14","unstructured":"Jirakunkanok P, Hirose S, Sano K, Tojo S (2013) Belief re-revision in chivalry case. In: New frontiers in artificial intelligence\u2014JSAI-isAI 2013 workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, 27\u201328 Oct 2013, revised selected papers, pp 230\u2013245"},{"key":"9202_CR15","unstructured":"Jirakunkanok P, Sano K, Tojo S (2014) Analyzing reliability change in legal case. In: New frontiers in artificial intelligence\u2014JSAI-isAI 2014 workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, 27\u201328 Oct 2014, revised selected papers, pp 274\u2013290"},{"key":"9202_CR16","doi-asserted-by":"crossref","unstructured":"Jirakunkanok P, Sano K, Tojo S (2015) Analyzing belief re-revision by consideration of reliability change in legal case. In: 2015 seventh international conference on knowledge and systems engineering, KSE 2015, Ho Chi Minh City, Vietnam, 8\u201310 Oct 2015, pp 228\u2013233","DOI":"10.1109\/KSE.2015.64"},{"key":"9202_CR17","unstructured":"Jirakunkanok P, Sano K, Tojo S (2015) An implementation of belief re-revision and reliability change in legal case. In: Proceedings of the ninth international workshop of Juris-informatics, pp 97\u2013110"},{"key":"9202_CR18","volume-title":"Speech and language processing: an introduction to natural language processing, computational linguistics, and speech recognition","author":"D Jurafsky","year":"2009","unstructured":"Jurafsky D, Martin JH (2009) Speech and language processing: an introduction to natural language processing, computational linguistics, and speech recognition, 2nd edn. Prentice Hall PTR, Upper Saddle River","edition":"2"},{"key":"9202_CR19","unstructured":"Kiel M (2013) Belief aggregation in multi-agent dynamic epistemic logic. Master\u2019s thesis, Ludwig-Maximilian University of Munich, Germany (2013)"},{"issue":"1","key":"9202_CR20","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/S0004-3702(03)00063-8","volume":"149","author":"CJ Liau","year":"2003","unstructured":"Liau CJ (2003) Belief, information acquisition, and trust in multi-agent systems\u2014a modal logic formulation. Artif Intell 149(1):31\u201360","journal-title":"Artif Intell"},{"issue":"11","key":"9202_CR21","doi-asserted-by":"crossref","first-page":"2403","DOI":"10.1007\/s11229-014-0432-3","volume":"191","author":"F Liu","year":"2014","unstructured":"Liu F, Seligman J, Girard P (2014) Logical dynamics of belief change in the community. Synthese 191(11):2403\u20132431","journal-title":"Synthese"},{"key":"9202_CR22","unstructured":"Liu F, Lorini E (2016) Reasons to believe in a social environment. In: International conference on deontic logic in computer science (DEON), Bayreuth, 18 July 2016\u201321 July 2016, College Publications, pp 155\u2013170"},{"key":"9202_CR23","doi-asserted-by":"crossref","first-page":"58","DOI":"10.1007\/978-3-642-22359-4_5","volume":"6814","author":"E Lorini","year":"2011","unstructured":"Lorini E, Perrussel L, Th\u00e9venin J (2011) A modal framework for relating belief and signed information. Comput Log Multi-agent Syst 6814:58\u201373","journal-title":"Comput Log Multi-agent Syst"},{"key":"9202_CR24","doi-asserted-by":"crossref","unstructured":"Nute D (1994) Defeasible logic. In: Handbook of logic in artificial intelligence and logic programming: nonmonotonic reasoning and uncertain reasoning, vol\u00a03, pp 353\u2013395. Oxford University Press, Inc., Oxford","DOI":"10.1093\/oso\/9780198537472.003.0007"},{"issue":"1\u20132","key":"9202_CR25","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/BF00129535","volume":"5","author":"N Obeid","year":"1991","unstructured":"Obeid N, Turner R (1991) Logical foundations of nonmonotonic reasoning. Artif Intell Rev 5(1\u20132):53\u201370","journal-title":"Artif Intell Rev"},{"key":"9202_CR26","doi-asserted-by":"crossref","unstructured":"Perrussel L, Th\u00e9venin J (2004) (Dis)belief change based on messages processing. In: Computational logic in multi-agent systems, 4th international workshop, CLIMA IV, Fort Lauderdale, FL, USA, 6\u20137 Jan 2004, revised selected and invited papers, pp 201\u2013217","DOI":"10.1007\/978-3-540-30200-1_11"},{"key":"9202_CR27","volume-title":"Logical tools for modelling legal argument: a study of defeasible reasoning in law","author":"H Prakken","year":"1997","unstructured":"Prakken H (1997) Logical tools for modelling legal argument: a study of defeasible reasoning in law. Kluwer, Dordrecht"},{"key":"9202_CR28","doi-asserted-by":"crossref","first-page":"342","DOI":"10.1007\/3-540-45632-5_14","volume":"2408","author":"H Prakken","year":"2001","unstructured":"Prakken H, Sartor G (2001) The role of logic in computational models of legal argument\u2014a critical survey. Comput Log Log Program Beyond Lect Notes Comput Sci 2408:342\u2013381","journal-title":"Comput Log Log Program Beyond Lect Notes Comput Sci"},{"key":"9202_CR29","doi-asserted-by":"crossref","unstructured":"Roorda JW, van\u00a0der Hoek W, Meyer JJC (2002) Iterated belief change in multi-agent systems. In: AAMAS, ACM, pp 889\u2013896","DOI":"10.1145\/544862.544949"},{"issue":"2","key":"9202_CR30","doi-asserted-by":"crossref","first-page":"157","DOI":"10.3166\/jancl.17.157-182","volume":"17","author":"J Benthem van","year":"2007","unstructured":"van Benthem J, Liu F (2007) Dynamic logic of preference upgrade. J Appl Non-Class Log 17(2):157\u2013182","journal-title":"J Appl Non-Class Log"},{"issue":"1\u20133","key":"9202_CR31","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/s11225-011-9347-x","volume":"99","author":"J Benthem van","year":"2011","unstructured":"van Benthem J, Pacuit E (2011) Dynamic logics of evidence-based beliefs. Stud Log 99(1\u20133):61\u201392","journal-title":"Stud Log"},{"key":"9202_CR32","doi-asserted-by":"crossref","unstructured":"van Benthem J, van Eijck J, Gattinger M, Su K (2015) Symbolic model checking for dynamic epistemic logic. In: Proceedings of logic, rationality, and interaction\u20145th international workshop, LORI 2015 Taipei, Taiwan, 28\u201331 Oct 2015, pp 366\u2013378","DOI":"10.1007\/978-3-662-48561-3_30"},{"issue":"1","key":"9202_CR33","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1023\/A:1026168632319","volume":"75","author":"H Ditmarsch van","year":"2003","unstructured":"van Ditmarsch H (2003) The russian cards problem. Stud Log 75(1):31\u201362","journal-title":"Stud Log"},{"key":"9202_CR34","doi-asserted-by":"crossref","unstructured":"van Ditmarsch HP, van\u00a0der Hoek W, Kooi BP (2007) Dynamic epistemic logic and knowledge puzzles. In: Proceedings of conceptual structures: knowledge architectures for smart applications, 15th international conference on conceptual structures, ICCS 2007, Sheffield, UK, 22\u201327 July 2007, pp 45\u201358","DOI":"10.1007\/978-3-540-73681-3_4"},{"key":"9202_CR35","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic epistemic logic","author":"H Ditmarsch van","year":"2008","unstructured":"van Ditmarsch H, van der Hoek W, Kooi B (2008) Dynamic epistemic logic. Springer, Berlin"},{"key":"9202_CR36","doi-asserted-by":"crossref","unstructured":"van Ditmarsch H, van Eijck J, Hern\u00e1ndez-Ant\u00f3n I, Sietsma F, Simon S, Soler-Toscano F (2012) Modelling cryptographic keys in dynamic epistemic logic with DEMO. In: Highlights on practical applications of agents and multi-agent systems - 10th international conference on practical applications of agents and multi-agent systems, PAAMS 2012 special sessions, Salamanca, Spain, 28\u201330 Mar 2012, pp 155\u2013162","DOI":"10.1007\/978-3-642-28762-6_19"},{"issue":"2","key":"9202_CR37","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s10849-014-9193-0","volume":"23","author":"FR Vel\u00e1zquez-Quesada","year":"2014","unstructured":"Vel\u00e1zquez-Quesada FR (2014) Dynamic epistemic logic for implicit and explicit beliefs. J Log Lang Inf 23(2):107\u2013140","journal-title":"J Log Lang Inf"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10506-017-9202-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-017-9202-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-017-9202-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,25]],"date-time":"2024-06-25T23:10:56Z","timestamp":1719357056000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10506-017-9202-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,2]]},"references-count":37,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,9]]}},"alternative-id":["9202"],"URL":"https:\/\/doi.org\/10.1007\/s10506-017-9202-0","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"value":"0924-8463","type":"print"},{"value":"1572-8382","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,8,2]]}}}