ASP-QRAT: A Conditionally Optimal Dual Proof System for ASP (bibtex)
by , ,
Reference:
ASP-QRAT: A Conditionally Optimal Dual Proof System for ASPLeroy Chew, Alexis de Colnet, Stefan SzeiderProceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning, pages 253–263, 8 2024.
Bibtex Entry:
@inproceedings{ChewColnetSzeider24,
   title     = {{ASP-QRAT: A Conditionally Optimal Dual Proof System
                  for ASP}},
    author    = {Chew, Leroy and de Colnet, Alexis and Szeider,
                  Stefan},
    booktitle = {{Proceedings of the 21st International Conference on
                  Principles of Knowledge Representation and
                  Reasoning}},
    pages     = {253--263},
    year      = {2024},
    month     = {8},
    doi       = {10.24963/kr.2024/24},
    url       = {10.24963/kr.2024/24">https://doi.org/10.24963/kr.2024/24},
  }
Powered by bibtexbrowser