{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,15]],"date-time":"2026-10-15T13:22:05Z","timestamp":1792070525737,"version":"4.4.0"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030757748","type":"print"},{"value":"9783030757755","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"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":[[2021]]},"DOI":"10.1007\/978-3-030-75775-5_8","type":"book-chapter","created":{"date-parts":[[2021,5,11]],"date-time":"2021-05-11T23:46:09Z","timestamp":1620776769000},"page":"101-115","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["An Epistemic Logic for Multi-agent Systems with Budget and Costs"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5686-6124","authenticated-orcid":false,"given":"Stefania","family":"Costantini","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6755-9314","authenticated-orcid":false,"given":"Andrea","family":"Formisano","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4245-4073","authenticated-orcid":false,"given":"Valentina","family":"Pitoni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,5,12]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Alechina, N., Demri, S., Logan, B.: Parameterised resource-bounded ATL. In: The Thirty-Fourth AAAI Conference on Artificial Intelligence, AAAI 2020, The Thirty-Second Innovative Applications of Artificial Intelligence Conference, IAAI 2020, The Tenth AAAI Symposium on Educational Advances in Artificial Intelligence, EAAI 2020, New York, NY, USA, 7\u201312 February 2020, pp. 7040\u20137046. AAAI Press (2020)","DOI":"10.1609\/aaai.v34i05.6189"},{"key":"8_CR2","unstructured":"Balbiani, P., Duque, D.F., Lorini, E.: A logical theory of belief dynamics for resource-bounded agents. In: Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems, AAMAS 2016, pp. 644\u2013652. ACM (2016)"},{"issue":"3","key":"8_CR3","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/s11225-018-9798-4","volume":"107","author":"P Balbiani","year":"2019","unstructured":"Balbiani, P., Fern\u00e1ndez-Duque, D., Lorini, E.: The dynamics of epistemic attitudes in resource-bounded agents. Studia Logica 107(3), 457\u2013488 (2019)","journal-title":"Studia Logica"},{"issue":"1\u20133","key":"8_CR4","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s11225-011-9347-x","volume":"99","author":"J van Benthem","year":"2011","unstructured":"van Benthem, J., Pacuit, E.: Dynamic logics of evidence-based beliefs. Studia Logica 99(1\u20133), 61\u201392 (2011)","journal-title":"Studia Logica"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45757-7_1","volume-title":"Logics in Artificial Intelligence","author":"S Costantini","year":"2002","unstructured":"Costantini, S., Tocchio, A.: A logic programming language for multi-agent systems. In: Flesca, S., Greco, S., Ianni, G., Leone, N. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, pp. 1\u201313. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45757-7_1"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1007\/978-3-540-30227-8_57","volume-title":"Logics in Artificial Intelligence","author":"S Costantini","year":"2004","unstructured":"Costantini, S., Tocchio, A.: The DALI logic programming agent-oriented language. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS (LNAI), vol. 3229, pp. 685\u2013688. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30227-8_57"},{"key":"8_CR7","unstructured":"Costantini, S., De Gasperis, G.: Flexible goal-directed agents\u2019 behavior via DALI mass and ASP modules. In: 2018 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, 26\u201328 March 2018. AAAI Press (2018)"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/978-3-319-51676-9_10","volume-title":"Practical Aspects of Declarative Languages","author":"S Costantini","year":"2017","unstructured":"Costantini, S., De Gasperis, G., Nazzicone, G.: DALI for cognitive robotics: principles and prototype implementation. In: Lierler, Y., Taha, W. (eds.) PADL 2017. LNCS, vol. 10137, pp. 152\u2013162. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-51676-9_10"},{"issue":"1","key":"8_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.jalgor.2009.02.002","volume":"64","author":"S Costantini","year":"2009","unstructured":"Costantini, S., Formisano, A.: Modeling preferences and conditional preferences on resource consumption and production in ASP. J. Algorithms 64(1), 3\u201315 (2009). https:\/\/doi.org\/10.1016\/j.jalgor.2009.02.002","journal-title":"J. Algorithms"},{"issue":"2","key":"8_CR10","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1093\/logcom\/exp071","volume":"20","author":"S Costantini","year":"2010","unstructured":"Costantini, S., Formisano, A.: Answer set programming with resources. J. Log. Comput. 20(2), 533\u2013571 (2010). https:\/\/doi.org\/10.1093\/logcom\/exp071","journal-title":"J. Log. Comput."},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1007\/978-3-642-20895-9_24","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"S Costantini","year":"2011","unstructured":"Costantini, S., Formisano, A.: Weight constraints with preferences in ASP. In: Delgrande, J.P., Faber, W. (eds.) LPNMR 2011. LNCS (LNAI), vol. 6645, pp. 229\u2013235. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-20895-9_24"},{"issue":"1\u20132","key":"8_CR12","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/FI-2010-356","volume":"105","author":"S Costantini","year":"2010","unstructured":"Costantini, S., Formisano, A., Petturiti, D.: Extending and implementing RASP. Fundam. Inform. 105(1\u20132), 1\u201333 (2010)","journal-title":"Fundam. Inform."},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-030-03840-3_2","volume-title":"AI*IA 2018 \u2013 Advances in Artificial Intelligence","author":"S Costantini","year":"2018","unstructured":"Costantini, S., Formisano, A., Pitoni, V.: Timed memory in resource-bounded agents. In: Ghidini, C., Magnini, B., Passerini, A., Traverso, P. (eds.) AI*IA 2018. LNCS (LNAI), vol. 11298, pp. 15\u201329. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03840-3_2"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-030-35166-3_4","volume-title":"AI*IA 2019 \u2013 Advances in Artificial Intelligence","author":"S Costantini","year":"2019","unstructured":"Costantini, S., Pitoni, V.: Memory management in resource-bounded agents. In: Alviano, M., Greco, G., Scarcello, F. (eds.) AI*IA 2019. LNCS (LNAI), vol. 11946, pp. 46\u201358. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-35166-3_4"},{"key":"8_CR15","doi-asserted-by":"publisher","unstructured":"De Gasperis, G., Costantini, S., Nazzicone, G.: Dali multi agent systems framework. DALI GitHub Software Repository, July 2014, DALI. http:\/\/github.com\/AAAI-DISIM-UnivAQ\/DALI. https:\/\/doi.org\/10.5281\/zenodo.11042","DOI":"10.5281\/zenodo.11042"},{"issue":"5","key":"8_CR16","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1093\/logcom\/7.5.633","volume":"7","author":"HN Duc","year":"1997","unstructured":"Duc, H.N.: Reasoning about rational, but not logically omniscient, agents. J. Log. Comput. 7(5), 633\u2013648 (1997)","journal-title":"J. Log. Comput."},{"key":"8_CR17","unstructured":"Elgot-Drapkin, J., Kraus, S., Miller, M., Nirkhe, M., Perlis, D.: Active logics: a unified formal approach to episodic reasoning. Technical report, UMIACS\u2013University of Maryland (1999). cS-TR-4072"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Elgot-Drapkin, J.J., Miller, M.I., Perlis, D.: Life on a desert island: ongoing work on real-time reasoning. In: Brown, F.M. (ed.) The Frame Problem in Artificial Intelligence, pp. 349\u2013357. Morgan Kaufmann (1987)","DOI":"10.1016\/B978-0-934613-32-3.50027-7"},{"issue":"1","key":"8_CR19","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/0004-3702(87)90003-8","volume":"34","author":"R Fagin","year":"1987","unstructured":"Fagin, R., Halpern, J.Y.: Belief, awareness, and limited reasoning. Artif. Intell. 34(1), 39\u201376 (1987)","journal-title":"Artif. Intell."},{"key":"8_CR20","unstructured":"Goldman, A., et al.: Theory of mind. In: The Oxford Handbook of Philosophy of Cognitive Science, vol. 1. Oxford University Press (2018)"},{"issue":"4","key":"8_CR21","doi-asserted-by":"publisher","first-page":"689","DOI":"10.1007\/s00146-017-0782-8","volume":"34","author":"A Herzig","year":"2019","unstructured":"Herzig, A., Lorini, E., Pearce, D.: Social intelligence. AI Soc. 34(4), 689 (2019)","journal-title":"AI Soc."},{"issue":"1","key":"8_CR22","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s10849-008-9071-8","volume":"18","author":"M Jago","year":"2009","unstructured":"Jago, M.: Epistemic logic for rule-based agents. Journal Logic Lang. Inf. 18(1), 131\u2013158 (2009)","journal-title":"Journal Logic Lang. Inf."},{"issue":"4","key":"8_CR23","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1093\/logcom\/exv034","volume":"28","author":"HN Nguyen","year":"2018","unstructured":"Nguyen, H.N., Alechina, N., Logan, B., Rakib, A.: Alternating-time temporal logic with resource bounds. J. Log. Comput. 28(4), 631\u2013663 (2018)","journal-title":"J. Log. Comput."},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Pitoni, V., Costantini, S.: A temporal module for logical frameworks. In: Bogaerts, B., et al. (eds.) Proceedings of ICLP 2019 (Technical communications). EPTCS, vol. 306, pp. 340\u2013346 (2019)","DOI":"10.4204\/EPTCS.306.40"},{"key":"8_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1007\/978-3-642-40948-6_19","volume-title":"Logic, Rationality, and Interaction","author":"FR Vel\u00e1zquez-Quesada","year":"2013","unstructured":"Vel\u00e1zquez-Quesada, F.R.: Explicit and implicit knowledge in neighbourhood models. In: Grossi, D., Roy, O., Huang, H. (eds.) LORI 2013. LNCS, vol. 8196, pp. 239\u2013252. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-40948-6_19"},{"issue":"2","key":"8_CR26","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. Journal Logic Lang. Inf. 23(2), 107\u2013140 (2014)","journal-title":"Journal Logic Lang. Inf."},{"issue":"1\u20132","key":"8_CR27","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0004-3702(80)90015-6","volume":"13","author":"RW Weyhrauch","year":"1980","unstructured":"Weyhrauch, R.W.: Prolegomena to a theory of mechanized formal reasoning. Artif. Intell. 13(1\u20132), 133\u2013170 (1980)","journal-title":"Artif. Intell."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-75775-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,11]],"date-time":"2021-05-11T23:49:09Z","timestamp":1620776949000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-75775-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030757748","9783030757755"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-75775-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"12 May 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"JELIA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Conference on Logics in Artificial Intelligence","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 May 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 May 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"jelia2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/jelia2021.aau.at\/","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":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"68","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":"27","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":"3","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":"40% - 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":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Due to the Corona pandemic this event was held virtually.","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)"}}]}}