KR2024Proceedings of the 21st International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning

Hanoi, Vietnam. November 2-8, 2024.

Edited by
  1. Pierre Marquis,
  2. Magdalena Ortiz
  3. Maurice Pagnucco

ISSN: 2334-1033
ISBN: 978-1-956792-05-8

Sponsored by
Published by

Copyright © 2024 International Joint Conferences on Artificial Intelligence Organization

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

  1. Leroy Chew(Algorithms and Complexity Group, TU Wien)
  2. Alexis de Colnet(Algorithms and Complexity Group, TU Wien)
  3. Stefan Szeider(Algorithms and Complexity Group, TU Wien)

Bibtex record

@inproceedings{KR2024-24,
    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       = {https://doi.org/10.24963/kr.2024/24},
  }
Go back