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
E192-02 - Forschungsbereich Databases and Artificial Intelligence
-
Published in:
Computational Models of Argument: Proceedings of COMMA 2024
-
ISBN:
9781643685359
-
Volume:
388
-
Date (published):
2024
-
Event name:
Computational Models of Argument (COMMA 2024)
en
Event date:
18-Sep-2024 - 20-Sep-2024
-
Event place:
Hagen, Germany
-
Number of Pages:
2
-
Publisher:
IOS Press
-
Peer reviewed:
Yes
-
Keywords:
SETAF; Solver; Inconsistency proofs
en
Project title:
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)
