Team
Research
Courses
News
Jobs
Contact
Internal
Light
Dark
Automatic
De Colnet, Alexis
Recent Publications
ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP
Chew, Leroy
,
De Colnet, Alexis
,
Stefan Szeider
Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning
, pages 253-263, 8 2024.
PDF
Cite
DOI
Cite
×