Alexander Greler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2017–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | COMMA | The GSAF Solver and Verifier. | Alexander Greler, Wolfgang Dvork, Stefan Woltran |
| 2024 | SAC | Equipping Abstract Argumentation Solvers for Verifying Negative Results. | Wolfgang Dvork, Alexander Greler, Stefan Woltran |
| 2021 | AAAI | The Complexity Landscape of Claim-Augmented Argumentation Frameworks. | Wolfgang Dvork, Alexander Greler, Anna Rapberger, Stefan Woltran |
| 2018 | COMMA | Evaluating SETAFs via Answer-Set Programming | Wolfgang Dvork, Alexander Greler, Stefan Woltran |
| 2017 | LPNMR | \mathsf Harvey : A System for Random Testing in ASP. | Alexander Greler, Johannes Oetsch, Hans Tompits |