{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,7]],"date-time":"2026-03-07T19:03:32Z","timestamp":1772910212984,"version":"3.50.1"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030337919","type":"print"},{"value":"9783030337926","type":"electronic"}],"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-33792-6_13","type":"book-chapter","created":{"date-parts":[[2019,10,25]],"date-time":"2019-10-25T19:03:55Z","timestamp":1572030235000},"page":"202-218","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3214-0828","authenticated-orcid":false,"given":"Tim","family":"Lyon","sequence":"first","affiliation":[]},{"given":"Kees","family":"van Berkel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,10,21]]},"reference":[{"key":"13_CR1","unstructured":"Arkoudas, K., Bringsjord S., Bello, P.: Toward ethical robots via mechanized deontic logic. In: AAAI Fall Symposium on Machine Ethics, pp. 17\u201323 (2005)"},{"issue":"4","key":"13_CR2","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/s10992-007-9078-7","volume":"37","author":"P Balbiani","year":"2008","unstructured":"Balbiani, P., Herzig, A., Troquard, N.: Alternative axiomatics and complexity of deliberative STIT theories. J. Philos. Logic 37(4), 387\u2013406 (2008)","journal-title":"J. Philos. Logic"},{"key":"13_CR3","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195138788.001.0001","volume-title":"Facing the Future: Agents and Choices in Our Indeterminist World","author":"N Belnap","year":"2001","unstructured":"Belnap, N., Perloff, M., Xu, M.: Facing the Future: Agents and Choices in Our Indeterminist World. Oxford University Press on Demand, Oxford (2001)"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"803","DOI":"10.1007\/978-3-030-19570-0_52","volume-title":"Logics in Artificial Intelligence","author":"K Berkel van","year":"2019","unstructured":"van Berkel, K., Lyon, T.: Cut-free calculi and relational semantics for temporal STIT logics. In: Calimeri, F., Leone, N., Manna, M. (eds.) JELIA 2019. LNCS (LNAI), vol. 11468, pp. 803\u2013819. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-19570-0_52"},{"issue":"2","key":"13_CR5","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/j.jal.2010.06.002","volume":"9","author":"J Broersen","year":"2011","unstructured":"Broersen, J.: Deontic epistemic stit logic distinguishing modes of mens rea. J. Appl. Logic 9(2), 137\u2013152 (2011)","journal-title":"J. Appl. Logic"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-319-72056-2_8","volume-title":"Logical Foundations of Computer Science","author":"A Ciabattoni","year":"2018","unstructured":"Ciabattoni, A., Lyon, T., Ramanayake, R.: From display to labelled proofs for tense logics. In: Artemov, S., Nerode, A. (eds.) LFCS 2018. LNCS, vol. 10703, pp. 120\u2013139. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-72056-2_8"},{"issue":"3","key":"13_CR7","doi-asserted-by":"publisher","first-page":"405","DOI":"10.1007\/BF01201363","volume":"39","author":"G Gentzen","year":"1935","unstructured":"Gentzen, G.: Untersuchungen \u00fcber das logische Schlie\u00dfen. Math. Z. 39(3), 405\u2013431 (1935)","journal-title":"Math. Z."},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-319-66902-1_9","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"M Girlando","year":"2017","unstructured":"Girlando, M., Lellmann, B., Olivetti, N., Pozzato, G.L., Vitalis, Q.: VINTE: an implementation of internal calculi for lewis\u2019 logics of counterfactual reasoning. In: Schmidt, R.A., Nalon, C. (eds.) TABLEAUX 2017. LNCS (LNAI), vol. 10501, pp. 149\u2013159. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66902-1_9"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1613\/jair.4666","volume":"53","author":"D Grossi","year":"2015","unstructured":"Grossi, D., Lorini, E., Schwarzentruber, F.: The ceteris paribus structure of logics of game forms. J. Artif. Intell. Res. 53, 91\u2013126 (2015)","journal-title":"J. Artif. Intell. Res."},{"key":"13_CR10","first-page":"133","volume":"7","author":"A Herzig","year":"2008","unstructured":"Herzig, A., Schwarzentruber, F.: Properties of logics of individual and group agency. Adv. Modal Logic 7, 133\u2013149 (2008)","journal-title":"Adv. Modal Logic"},{"key":"13_CR11","doi-asserted-by":"publisher","DOI":"10.1093\/0195134613.001.0001","volume-title":"Agency and Deontic Logic","author":"J Horty","year":"2001","unstructured":"Horty, J.: Agency and Deontic Logic. Oxford University Press, Oxford (2001)"},{"key":"13_CR12","unstructured":"Lorini, E., Sartor, G.: Influence and responsibility: a logical analysis. In: Legal Knowledge and Information Systems, pp. 51\u201360. IOS Press (2015)"},{"key":"13_CR13","first-page":"211","volume":"5","author":"Y Murakami","year":"2005","unstructured":"Murakami, Y.: Utilitarian deontic logic. Adv. Modal Logic 5, 211\u2013230 (2005)","journal-title":"Adv. Modal Logic"},{"issue":"5\u20136","key":"13_CR14","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/s10992-005-2267-3","volume":"34","author":"S Negri","year":"2005","unstructured":"Negri, S.: Proof analysis in modal logic. J. Philos. Logic 34(5\u20136), 507\u2013544 (2005)","journal-title":"J. Philos. Logic"},{"issue":"5","key":"13_CR15","doi-asserted-by":"publisher","first-page":"1001","DOI":"10.1007\/s11225-012-9445-4","volume":"100","author":"F Schwarzentruber","year":"2012","unstructured":"Schwarzentruber, F.: Complexity results of stit fragments. Stud. Logica 100(5), 1001\u20131045 (2012)","journal-title":"Stud. Logica"},{"key":"13_CR16","unstructured":"Sipser, M.: Introduction to the Theory of Computation. Course Technology (2006)"},{"key":"13_CR17","unstructured":"Tiu, A., Ianovski, E., Gor\u00e9, R.: Grammar Logics in Nested Sequent Calculus: Proof Theory and Decision Procedures. CoRR (2012)"},{"key":"13_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3208-5","volume-title":"Labelled Non-classical Logics","author":"L Vigan\u00f2","year":"2000","unstructured":"Vigan\u00f2, L.: Labelled Non-classical Logics. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"13_CR19","first-page":"503","volume":"6","author":"H Wansing","year":"2006","unstructured":"Wansing, H.: Tableaux for multi-agent deliberative-stit logic. Adv. Modal Logic 6, 503\u2013520 (2006)","journal-title":"Adv. Modal Logic"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/BFb0013997","volume-title":"Temporal Logic","author":"M Xu","year":"1994","unstructured":"Xu, M.: Decidability of deliberative stit theories with multiple agents. In: Gabbay, D.M., Ohlbach, H.J. (eds.) ICTL 1994. LNCS, vol. 827, pp. 332\u2013348. Springer, Heidelberg (1994). https:\/\/doi.org\/10.1007\/BFb0013997"}],"container-title":["Lecture Notes in Computer Science","PRIMA 2019: Principles and Practice of Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-33792-6_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,25]],"date-time":"2024-07-25T19:32:10Z","timestamp":1721935930000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-33792-6_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030337919","9783030337926"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-33792-6_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"21 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PRIMA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Principles and Practice of Multi-Agent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","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":"28 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"prima2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/prima2019.di.unito.it\/","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":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"112","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":"25","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":"25","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":"22% - 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-4","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-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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}