Eiter, T., & Geibinger, T. (2025). A Sequent Calculus for Answer Set Entailment. In Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence (pp. 4463–4472). https://doi.org/10.24963/ijcai.2025/497
E192-03 - Forschungsbereich Knowledge Based Systems E056-13 - Fachbereich LogiCS E056-17 - Fachbereich Trustworthy Autonomous Cyber-Physical Systems
-
Published in:
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence
-
ISBN:
978-1-956792-06-5
-
Date (published):
2025
-
Event name:
Thirty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2025))
en
Event date:
16-Aug-2025 - 22-Aug-2025
-
Event place:
Montreal, Canada
-
Number of Pages:
10
-
Keywords:
Logic programming; Answer Set Programming; Proof Theory
en
Project title:
Bilateral Artificial Intelligence: COE 12 (FWF - Österr. Wissenschaftsfonds) Logics for Computer Science Program at TU Wien: 101034440 (European Commission)
