ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP

Abstract

Full Citation:

Leroy Chew, Alexis de Colnet, Stefan Szeider. ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP. Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, pages 253–263, 8 2024.

Stefan Szeider

Head of Research Unit

Stefan Szeider is a Professor at the Algorithms and Complexity Group.