<div class="csl-bib-body">
<div class="csl-entry">Ciabattoni, A., & Rozplokhas, D. (2024). Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract). In K. Larson (Ed.), <i>Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence</i> (pp. 8389–8393). https://doi.org/10.24963/ijcai.2024/928</div>
</div>
-
dc.identifier.uri
http://hdl.handle.net/20.500.12708/201809
-
dc.description.abstract
Input/Output (I/O) logic is a general framework for reasoning about conditional norms and/or causal relations. We streamline Bochman’s causal I/O logics and their original version via proof-search-oriented sequent calculi. As a byproduct, 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.
en
dc.description.sponsorship
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
-
dc.language.iso
en
-
dc.subject
Input/Output logics
en
dc.subject
causal production relations
en
dc.subject
sequent calculi
en
dc.title
Streamlining Input/Output Logics with Sequent Calculi (Extended Abstract)
en
dc.type
Inproceedings
en
dc.type
Konferenzbeitrag
de
dc.contributor.affiliation
TU Wien, Austria
-
dc.relation.isbn
978-1-956792-04-1
-
dc.description.startpage
8389
-
dc.description.endpage
8393
-
dc.relation.grantno
ICT22-023
-
dc.type.category
Full-Paper Contribution
-
tuw.booktitle
Proceedings of the Thirty-ThirdInternational Joint Conference on Artificial Intelligence
-
tuw.publication.invited
invited
-
tuw.project.title
Training and Guiding AI Agents with Ethical Rules
-
tuw.researchTopic.id
C5
-
tuw.researchTopic.name
Computer Science Foundations
-
tuw.researchTopic.value
100
-
tuw.publication.orgunit
E192-05 - Forschungsbereich Theory and Logic
-
tuw.publisher.doi
10.24963/ijcai.2024/928
-
dc.description.numberOfPages
5
-
tuw.author.orcid
0000-0001-7882-4497
-
tuw.event.name
33rd International Joint Conference on Artificial Intelligence (IJCAI 2024)
en
tuw.event.startdate
03-08-2024
-
tuw.event.enddate
09-08-2024
-
tuw.event.online
On Site
-
tuw.event.type
Event for scientific audience
-
tuw.event.place
Jeju Island
-
tuw.event.country
KR
-
tuw.event.presenter
Rozplokhas, Dmitry
-
tuw.event.track
Multi Track
-
wb.sciencebranch
Informatik
-
wb.sciencebranch
Mathematik
-
wb.sciencebranch.oefos
1020
-
wb.sciencebranch.oefos
1010
-
wb.sciencebranch.value
80
-
wb.sciencebranch.value
20
-
item.cerifentitytype
Publications
-
item.languageiso639-1
en
-
item.fulltext
no Fulltext
-
item.openairetype
conference paper
-
item.openairecristype
http://purl.org/coar/resource_type/c_5794
-
item.grantfulltext
restricted
-
crisitem.project.funder
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
