{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T13:47:06Z","timestamp":1726062426326},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030374938"},{"type":"electronic","value":"9783030374945"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-37494-5_8","type":"book-chapter","created":{"date-parts":[[2019,12,14]],"date-time":"2019-12-14T10:02:38Z","timestamp":1576317758000},"page":"143-165","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Dynamics of Narrow-Minded Belief and Its Cut-Free Sequent Calculus"],"prefix":"10.1007","author":[{"given":"Shoshin","family":"Nomura","sequence":"first","affiliation":[]},{"given":"Norihiro","family":"Arai","sequence":"additional","affiliation":[]},{"given":"Satoshi","family":"Tojo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,12,15]]},"reference":[{"key":"8_CR1","unstructured":"Artemov, S., Protopopescu, T.: Intuitionistic epistemic logic. Computer Science Technical Reports Paper 401 (2014)"},{"key":"8_CR2","unstructured":"Aucher, G.: A Combination System for Update Logic and Belief Revision. Master\u2019s thesis, University of Amsterdam (2003)"},{"key":"8_CR3","unstructured":"Baltag, A., Fiutek, V., Smets, S.: Beliefs and evidence in justification models. In: Beklemishev, L., Demri, S., M\u00e1t\u00e9, A. (eds.) Advances in Modal Logic, vol. 11, pp. 156\u2013176. CSLI Publications (2016)"},{"key":"8_CR4","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical Dynamic of Information and Interaction","author":"J Benthem van","year":"2011","unstructured":"van Benthem, J.: Logical Dynamic of Information and Interaction. Cambridge University Press, Cambridge (2011)"},{"issue":"11","key":"8_CR5","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J Benthem van","year":"2006","unstructured":"van Benthem, J., van Eijck, J., Kooi, B.: Logic of communications and change. Inf. Comput. 204(11), 1620\u20131662 (2006)","journal-title":"Inf. Comput."},{"issue":"5","key":"8_CR6","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s11229-010-9764-9","volume":"177","author":"J Benthem van","year":"2010","unstructured":"van Benthem, J., Vel\u00e1zquez-Quesada, F.R.: The dynamics of awareness. Synthese 177(5), 5\u201327 (2010)","journal-title":"Synthese"},{"key":"8_CR7","volume-title":"Descartes\u2019 Error: Emotion, Reason, and the Human Brain","author":"A Damasio","year":"1994","unstructured":"Damasio, A.: Descartes\u2019 Error: Emotion, Reason, and the Human Brain. Avon books, New York (1994)"},{"key":"8_CR8","unstructured":"Dastani, M., Lorini, E.: A logic of emotions: from appraisal to coping. In: Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems, vol. 2, pp. 1133\u20131140 (2012)"},{"key":"8_CR9","unstructured":"van Ditmarsch, H.: The Ditmarsch tale of wonders-the dynamics of lying. In: Reasoning About Other Minds: Logical and Cognitive Perspectives, vol. 65 (2011)"},{"key":"8_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H Ditmarsch van","year":"2008","unstructured":"van Ditmarsch, H., Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Dordrecht (2008). \nhttps:\/\/doi.org\/10.1007\/978-1-4020-5839-4"},{"key":"8_CR11","unstructured":"Eger, M., Martens, C.: Character beliefs in story generation (2017). \nhttps:\/\/aaai.org\/ocs\/index.php\/AIIDE\/AIIDE17\/paper\/view\/15852"},{"key":"8_CR12","unstructured":"van Eijck, J., Renne, B.: Update, probability, knowledge and belief. In: Beklemishev, L., Demri, S., M\u00e1t\u00e9, A. (eds.) Advances in Modal Logic, vol. 11, pp. 551\u2013570. CSLI Publications (2016)"},{"key":"8_CR13","volume-title":"A Treatise of Human Nature","author":"D Hume","year":"1739","unstructured":"Hume, D.: A Treatise of Human Nature. Oxford University Press, New York (1739)"},{"issue":"3\u20134","key":"8_CR14","doi-asserted-by":"publisher","first-page":"814","DOI":"10.1016\/j.artint.2010.11.022","volume":"175","author":"E Lorini","year":"2011","unstructured":"Lorini, E., Schwarzentruber, F.: A logic for reasoning about counterfactual emotions. Artif. Intell. 175(3\u20134), 814\u2013847 (2011)","journal-title":"Artif. Intell."},{"key":"8_CR15","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139003513","volume-title":"Proof Analysis","author":"S Negri","year":"2011","unstructured":"Negri, S., von Plato, J.: Proof Analysis. Cambridge University Press, New York (2011)"},{"key":"8_CR16","doi-asserted-by":"publisher","unstructured":"Nomura, S., Arai, N., Tojo, S.: The dynamics of narrow-minded belief. In: Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART, vol. 2, pp. 247\u2013255. INSTICC, SciTePress (2019). \nhttps:\/\/doi.org\/10.5220\/0007394502470255","DOI":"10.5220\/0007394502470255"},{"key":"8_CR17","series-title":"Logic in Asia: Studia Logica Library","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-662-48357-2_7","volume-title":"Structural Analysis of Non-Classical Logics","author":"S Nomura","year":"2016","unstructured":"Nomura, S., Sano, K., Tojo, S.: Revising a labelled sequent calculus for public announcement logic. In: Yang, S.C.-M., Deng, D.-M., Lin, H. (eds.) Structural Analysis of Non-Classical Logics. LASLL, pp. 131\u2013157. Springer, Heidelberg (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-662-48357-2_7"},{"issue":"1","key":"8_CR18","doi-asserted-by":"publisher","first-page":"169","DOI":"10.2307\/2273798","volume":"50","author":"H Ono","year":"1985","unstructured":"Ono, H., Komori, Y.: Logics without contraction Rule. J. Symbolic Logic 50(1), 169\u2013201 (1985)","journal-title":"J. Symbolic Logic"},{"key":"8_CR19","unstructured":"Plaza, J.: Logic of public communications. In: Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems: Poster Session Program, pp. 201\u2013216 (1989)"},{"issue":"2","key":"8_CR20","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1007\/s10849-014-9193-0","volume":"23","author":"FR Vel\u00e1zquez-Quesada","year":"2014","unstructured":"Vel\u00e1zquez-Quesada, F.R.: Dynamic epistemic logic for implicit and explicit beliefs. J. Logic Lang. Inf. 23(2), 107\u2013140 (2014)","journal-title":"J. Logic Lang. Inf."},{"key":"8_CR21","unstructured":"Voorbraak, F.: As far as I know\u2013epistemic logic and uncertainty. Ph.D. thesis, Utrecht University (1993)"},{"issue":"1","key":"8_CR22","first-page":"63","volume":"21","author":"T Williamson","year":"1992","unstructured":"Williamson, T.: On intuitionistic modal epistemic logic. J. Philos. Logic 21(1), 63\u201389 (1992)","journal-title":"J. Philos. Logic"}],"container-title":["Lecture Notes in Computer Science","Agents and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-37494-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,12,14]],"date-time":"2019-12-14T10:03:29Z","timestamp":1576317809000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-37494-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030374938","9783030374945"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-37494-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"15 December 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICAART","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Agents and Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 February 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 February 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icaart2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.icaart.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"PRIMORIS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"202","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"46","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"66","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"23% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"36 poster papers were also accepted. 17 of the 46 accepted full papers are included in LNAI 11978.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}