Record link: 
http://hdl.handle.net/20.500.12708/205345
-
Title: 
The GSAF Solver and Verifier
en
Citation: 
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
-
Publisher DOI: 
10.3233/FAIA240336
-
Publication Type: 
Inproceedings - Exhibition Contribution
en
Language: 
English
-
Authors: 
Greßler, Alexander 
Dvořák, Wolfgang 
Woltran, Stefan 
-
Organisational Unit: 
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) 
-
Research Areas: 
Logic and Computation: 100%
-
Science Branch: 
1020 - Informatik: 100%
-
Appears in Collections:
Conference Paper

Show full item record

Page view(s)

137
checked on Dec 6, 2024

Google ScholarTM

Check