Alexander Greßler

According to our database, Alexander Greßler authored at least 5 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Equipping Abstract Argumentation Solvers for Verifying Negative Results.

Wolfgang Dvorák, Alexander Greßler, Stefan Woltran

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

The GSAF Solver and Verifier.

Alexander Greßler, Wolfgang Dvorák, Stefan Woltran

Proceedings of the Computational Models of Argument, 2024

2021

The Complexity Landscape of Claim-Augmented Argumentation Frameworks.

Wolfgang Dvorák, Alexander Greßler, Anna Rapberger, Stefan Woltran

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2018

Evaluating SETAFs via Answer-Set Programming

Wolfgang Dvorák, Alexander Greßler, Stefan Woltran

Proceedings of the Second International Workshop on Systems and Algorithms for Formal Argumentation (SAFA 2018) co-located with the 7th International Conference on Computational Models of Argument (COMMA 2018), 2018

2017

\mathsf Harvey : A System for Random Testing in ASP.

Alexander Greßler, Johannes Oetsch, Hans Tompits

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017