EXplain and EXploit Knowledge EXtracted to Improve ASP Performance
FWF Principal Investigator Grant 2025-2028
PI: Alice Tarzariol
About the project
Our project focuses on the trade-off between the two strengths of Anser Set Programming (ASP): the ease of representing a problem versus high solving performance. We aim to resolve the discrepancy by identifying and injecting relevant information into ASP programs to improve solving performance, while also delivering knowledge and insights to domain experts.
- Explainability
- Performance
- Knowledge mining
Results
Our first results are currently in preparation and will appear here soon.
- Open access
- Open source