Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/219592
-
Titel: 
A Sequent Calculus for Answer Set Entailment
en
Zitat: 
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
-
Verlags-DOI: 
10.24963/ijcai.2025/497
-
Publikationstyp: 
Konferenzbeitrag - Full-Paper Contribution
de
Sprache: 
Englisch
-
Autor_innen: 
Eiter, Thomas 
Geibinger, Tobias 
-
Organisations­einheit: 
E192-03 - Forschungsbereich Knowledge Based Systems 
E056-13 - Fachbereich LogiCS 
E056-17 - Fachbereich Trustworthy Autonomous Cyber-Physical Systems 
-
Erschienen in: 
Proceedings of the Thirty-Fourth International Joint Conference on Artificial Intelligence 
-
ISBN: 
978-1-956792-06-5
-
Datum (veröffentlicht): 
2025
-
Veranstaltungs­name: 
Thirty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2025)) 
en
Veranstaltungs­zeitraum: 
16-Aug-2025 - 22-Aug-2025
-
Veranstaltungs­ort: 
Montreal, Kanada
-
Umfang: 
10
-
Keywords: 
Logic programming; Answer Set Programming; Proof Theory
en
Projekttitel: 
Bilateral Artificial Intelligence: COE 12 (FWF - Österr. Wissenschaftsfonds) 
Logics for Computer Science Program at TU Wien: 101034440 (European Commission) 
-
Forschungs­schwerpunkte: 
Logic and Computation: 100%
-
Wissenschafts­zweig: 
1020 - Informatik: 80%
1010 - Mathematik: 20%
-
Enthalten in den Sammlungen:
Conference Paper

Zur Langanzeige

Seiten Aufrufe

9
aufgerufen am 02.10.2025

Google ScholarTM

Check