{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T07:07:50Z","timestamp":1777360070104,"version":"3.51.4"},"publisher-location":"California","reference-count":0,"publisher":"International Joint Conferences on Artificial Intelligence Organization","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,9]]},"abstract":"<jats:p>Input\/Output (I\/O) logic is a general framework for reasoning about conditional norms and\/or causal relations. We streamline Bochman\u2019s causal I\/O logics via proof-search-oriented sequent calculi. Our calculi establish a natural syntactic link between the derivability in these logics and in the original I\/O logics. As a consequence of our results, we obtain new, simple semantics for all these logics, complexity bounds, embeddings into normal modal logics, and efficient deduction methods. Our work encompasses many scattered results and provides uniform solutions to various unresolved problems.<\/jats:p>","DOI":"10.24963\/kr.2023\/15","type":"proceedings-article","created":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T22:27:47Z","timestamp":1690842467000},"page":"146-155","source":"Crossref","is-referenced-by-count":3,"title":["Streamlining Input\/Output Logics with Sequent Calculi"],"prefix":"10.24963","author":[{"given":"Agata","family":"Ciabattoni","sequence":"first","affiliation":[{"name":"TU Wien"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dmitry","family":"Rozplokhas","sequence":"additional","affiliation":[{"name":"TU Wien"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"10584","event":{"name":"20th International Conference on Principles of Knowledge Representation and Reasoning {KR-2023}","theme":"Artificial Intelligence","location":"Rhodes, Greece","acronym":"KR-2023","number":"20","sponsor":["Artificial Intelligence Journal","Principles of Knowledge Representation and Reasoning Inc.","Academic College of Tel-Aviv","European Association for Artificial Intelligence","National Science Foundation"],"start":{"date-parts":[[2023,9,2]]},"end":{"date-parts":[[2023,9,8]]}},"container-title":["Proceedings of the Twentieth International Conference on Principles of Knowledge Representation and Reasoning"],"original-title":[],"deposited":{"date-parts":[[2023,7,31]],"date-time":"2023-07-31T22:28:04Z","timestamp":1690842484000},"score":1,"resource":{"primary":{"URL":"https:\/\/proceedings.kr.org\/2023\/15"}},"subtitle":[],"proceedings-subject":"Artificial Intelligence Research Articles","short-title":[],"issued":{"date-parts":[[2023,9]]},"references-count":0,"URL":"https:\/\/doi.org\/10.24963\/kr.2023\/15","relation":{},"subject":[],"published":{"date-parts":[[2023,9]]}}}