Alexander Greßler

Orcid: 0000-0001-7470-9352

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
1
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Equipping Abstract Argumentation Solvers for Verifying Negative Results.
Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

The GSAF Solver and Verifier.
Proceedings of the Computational Models of Argument, 2024

2023
The complexity landscape of claim-augmented argumentation frameworks.
Artif. Intell., April, 2023

2018
Evaluating SETAFs via Answer-Set Programming
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.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017


  Loading...