Datensatz Zitierlink: 
http://hdl.handle.net/20.500.12708/205345
-
Titel: 
The GSAF Solver and Verifier
en
Zitat: 
Greßler, A., Dvořák, W., & Woltran, S. (2024). The GSAF Solver and Verifier. In Computational Models of Argument: Proceedings of COMMA 2024 (pp. 353–354). IOS Press. https://doi.org/10.3233/FAIA240336
-
Verlags-DOI: 
10.3233/FAIA240336
-
Publikationstyp: 
Konferenzbeitrag - Ausstellungsbeitrag
de
Sprache: 
Englisch
-
Autor_innen: 
Greßler, Alexander 
Dvořák, Wolfgang 
Woltran, Stefan 
-
Organisations­einheit: 
E192-02 - Forschungsbereich Databases and Artificial Intelligence 
-
Erschienen in: 
Computational Models of Argument: Proceedings of COMMA 2024 
-
ISBN: 
9781643685359
-
Band: 
388
-
Datum (veröffentlicht): 
2024
-
Veranstaltungs­name: 
Computational Models of Argument (COMMA 2024) 
en
Veranstaltungs­zeitraum: 
18-Sep-2024 - 20-Sep-2024
-
Veranstaltungs­ort: 
Hagen, Deutschland
-
Umfang: 
2
-
Verlag: 
IOS Press
-
Peer Reviewed: 
Ja
-
Keywords: 
SETAF; Solver; Inconsistency proofs
en
Projekttitel: 
Revealing and Utilizing the Hidden Structure for Solving Hard Problems in AI: ICT19-065 (WWTF Wiener Wissenschafts-, Forschu und Technologiefonds) 
Hybrid Parameterized Problem Solving in Practice: P32830-N (FWF - Österr. Wissenschaftsfonds) 
-
Forschungs­schwerpunkte: 
Logic and Computation: 100%
-
Wissenschafts­zweig: 
1020 - Informatik: 100%
-
Enthalten in den Sammlungen:
Conference Paper

Zur Langanzeige

Google ScholarTM

Check