{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T03:34:23Z","timestamp":1743132863683,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031266881"},{"type":"electronic","value":"9783031266898"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-26689-8_4","type":"book-chapter","created":{"date-parts":[[2023,2,22]],"date-time":"2023-02-22T00:04:31Z","timestamp":1677024271000},"page":"48-67","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Two Ways to\u00a0Scare a\u00a0Gruffalo"],"prefix":"10.1007","author":[{"given":"Shikha","family":"Singh","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kamal","family":"Lodaya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Deepak","family":"Khemani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,2,22]]},"reference":[{"key":"4_CR1","unstructured":"Amarel, S.: On representation of problems of reasoning about action. In: Michie, D. (ed.) Machine Intelligence 3, pp. 131\u2013171. Edinburgh University Press (1971)"},{"issue":"2","key":"4_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 programs. Synthese 139(2), 165\u2013224 (2004)","journal-title":"Synthese"},{"key":"4_CR3","unstructured":"Baltag, A., Moss, L.S., Solecki, S.: The logic of common knowledge, public announcements, and private suspicions. In: Gilboa, I. (ed.) Proceedings of 7th TARK, Evanston, pp. 43\u201356. Morgan Kaufmann (1998)"},{"key":"4_CR4","unstructured":"Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. In: Bonnano, G., van der Hoek, W., Wooldridge, M. (eds.) Logic and the Foundations of Game and Decision Theory (LOFT 7), pp. 9\u201358. Amsterdam University Press, Amsterdam (2008)"},{"key":"4_CR5","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2021.103601","volume":"302","author":"C Baral","year":"2022","unstructured":"Baral, C., Gelfond, G., Pontelli, E., Son, T.C.: An action language for multi-agent domains. Artif. Intell. 302, 103601 (2022)","journal-title":"Artif. Intell."},{"key":"4_CR6","unstructured":"B\u00fchler, G.: Panchatantra (5 volumes). Bombay (1891)"},{"key":"4_CR7","unstructured":"Burton, R.F.: The Book of the Thousand Nights and One Night. Kama Shashtra Society (1888)"},{"issue":"1\u20132","key":"4_CR8","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1215\/03335372-2087572","volume":"34","author":"DC Bormann","year":"2013","unstructured":"Bormann, D.C.: Moving possible world theory from logic to value. Poetics Today 34(1\u20132), 177\u2013231 (2013)","journal-title":"Poetics Today"},{"key":"4_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511621192","volume-title":"Modal Logic: An Introduction","author":"BF Chellas","year":"1980","unstructured":"Chellas, B.F.: Modal Logic: An Introduction. Cambridge University Press, Cambridge (1980)"},{"issue":"1\u20132","key":"4_CR10","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0004-3702(02)00374-0","volume":"147","author":"A Cimatti","year":"2003","unstructured":"Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, strong, and strong cyclic planning via symbolic model checking. Artif. Intell. 147(1\u20132), 35\u201384 (2003)","journal-title":"Artif. Intell."},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Pistore, M., Traverso, P.: Automated planning. In: Handbook of Knowledge Representation, pp. 841\u2013867. Elsevier (2008)","DOI":"10.1016\/S1574-6526(07)03022-2"},{"key":"4_CR12","unstructured":"Doyle, A.C.: The memoirs of Sherlock Holmes. G. Newnes Ltd. (1894)"},{"key":"4_CR13","volume-title":"The Jatakas or Stories of the Buddha\u2019s Former Births","author":"EB Cowell","year":"1907","unstructured":"Cowell, E.B., Neil, R.A.: The Jatakas or Stories of the Buddha\u2019s Former Births. Cambridge University Press, Cambridge (1907)"},{"key":"4_CR14","unstructured":"Donaldson, J.: The Gruffalo. Pan Macmillan (1999)"},{"key":"4_CR15","unstructured":"Donaldson, J.: The Gruffalo\u2019s child. Pan Macmillan (2004)"},{"key":"4_CR16","unstructured":"Herg\u00e9. Prisoners of the sun. Casterman (1949)"},{"issue":"8","key":"4_CR17","doi-asserted-by":"publisher","first-page":"2383","DOI":"10.1093\/logcom\/exx020","volume":"27","author":"Y Li","year":"2017","unstructured":"Li, Y., Quan, Yu., Wang, Y.: More for free: a dynamic epistemic framework for conformant planning over transition systems. J. Log. Comput. 27(8), 2383\u20132410 (2017)","journal-title":"J. Log. Comput."},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1007\/978-3-642-24130-7_13","volume-title":"Logic, Rationality, and Interaction","author":"B L\u00f6we","year":"2011","unstructured":"L\u00f6we, B., Pacuit, E., Witzel, A.: DEL planning and some tractable cases. In: van Ditmarsch, H., Lang, J., Ju, S. (eds.) LORI 2011. LNCS (LNAI), vol. 6953, pp. 179\u2013192. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24130-7_13"},{"key":"4_CR19","volume-title":"The Panchatantra","author":"AW Ryder","year":"1925","unstructured":"Ryder, A.W.: The Panchatantra. University of Chicago Press, Chicago (1925)"},{"key":"4_CR20","unstructured":"Sakama, C.: A formal account of deception. In: Deceptive and Counter-Deceptive Machines, AAAI Fall Symposia, Arlington, pp. 34\u201341 (2015)"},{"issue":"4","key":"4_CR21","doi-asserted-by":"publisher","first-page":"287","DOI":"10.3233\/AIC-190615","volume":"32","author":"S Sarkadi","year":"2019","unstructured":"Sarkadi, S., Panisso, A., Bordini, R., McBurney, P., Parsons, S., Chapman, M.: Modelling deception using theory of mind in multi-agent systems. AI Commun. 32(4), 287\u2013302 (2019)","journal-title":"AI Commun."},{"key":"4_CR22","unstructured":"Singh, S., Lodaya, K., Khemani, D.: Agent-update models. arXiv preprint arXiv:2211.02452 (2022)"},{"key":"4_CR23","volume-title":"What is the Name of this Book?","author":"RM Smullyan","year":"1978","unstructured":"Smullyan, R.M.: What is the Name of this Book? Prentice-Hall, Hoboken (1978)"},{"issue":"2","key":"4_CR24","doi-asserted-by":"publisher","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"17","author":"J Van Benthem","year":"2007","unstructured":"Van Benthem, J.: Dynamic logic for belief revision. J. Appl. Nonclass. Logic 17(2), 129\u2013155 (2007)","journal-title":"J. Appl. Nonclass. Logic"},{"key":"4_CR25","unstructured":"Van Benthem, J.: Modal logic for open minds. CSLI (2010)"},{"issue":"11","key":"4_CR26","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J Van Benthem","year":"2006","unstructured":"Van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Inform. Comput. 204(11), 1620\u20131662 (2006)","journal-title":"Inform. Comput."},{"key":"4_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16694-0","volume-title":"One Hundred Prisoners and a Light Bulb","author":"H Van Ditmarsch","year":"2015","unstructured":"Van Ditmarsch, H., Kooi, B.: One Hundred Prisoners and a Light Bulb. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-16694-0"},{"key":"4_CR28","series-title":"Synthese Library","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. Synthese Library, vol. 337. Springer, Dordrecht (2008). https:\/\/doi.org\/10.1007\/978-1-4020-5839-4"},{"key":"4_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-642-29326-9_4","volume-title":"Games, Actions and Social Software","author":"H van Ditmarsch","year":"2012","unstructured":"van Ditmarsch, H., van Eijck, J., Sietsma, F., Wang, Y.: On the logic of lying. In: van Eijck, J., Verbrugge, R. (eds.) Games, Actions and Social Software. LNCS, vol. 7010, pp. 41\u201372. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-29326-9_4"},{"key":"4_CR30","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2021.103071","volume":"173","author":"Y Wang","year":"2022","unstructured":"Wang, Y., Wei, Y., Seligman, J.: Quantifier-free epistemic term-modal logic with assignment operator. Ann. Pure Appl. Log. 173, 103071 (2022)","journal-title":"Ann. Pure Appl. Log."},{"key":"4_CR31","unstructured":"Woods, J.: The Logic of Fiction: A Philosophical Sounding of Deviant Logic. Mouton (1974)"},{"key":"4_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-72658-8","volume-title":"Truth in Fiction: Rethinking its Logic","author":"J Woods","year":"2018","unstructured":"Woods, J.: Truth in Fiction: Rethinking its Logic. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-72658-8"}],"container-title":["Lecture Notes in Computer Science","Logic and Its Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-26689-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,22]],"date-time":"2023-02-22T00:05:25Z","timestamp":1677024325000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-26689-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031266881","9783031266898"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-26689-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"22 February 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Indian Conference on Logic and Its Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Indore","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"India","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 March 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 March 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icla2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/icla2023.iiti.ac.in\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easy Chair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18","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":"9","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":"0","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":"50% - 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":"3","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This proceeding includes 6 Invited paper","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)"}}]}}