Foundations for Projecting Away the Irrelevant in ASP Programs

Saribatur, Zeynep G.; Woltran, Stefan

doi:10.24963/KR.2023/60

by Zeynep G. Saribatur, Stefan Woltran

Reference:

Foundations for Projecting Away the Irrelevant in ASP ProgramsZeynep G. Saribatur, Stefan WoltranProceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, KR 2023, Rhodes, Greece, September 2-8, 2023 (Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner, eds.), pages 614–624, 2023.

Bibtex Entry:

@inproceedings{DBLP:conf/kr/SaribaturW23,
keywords = "reveal",
  author       = {Zeynep G. Saribatur and
                  Stefan Woltran},
  editor       = {Pierre Marquis and
                  Tran Cao Son and
                  Gabriele Kern{-}Isberner},
  title        = {Foundations for Projecting Away the Irrelevant in {ASP} Programs},
  booktitle    = {Proceedings of the 20th International Conference on Principles of
                  Knowledge Representation and Reasoning, {KR} 2023, Rhodes, Greece,
                  September 2-8, 2023},
  pages        = {614--624},
  year         = {2023},
  url          = {https://doi.org/10.24963/kr.2023/60},
  doi          = {10.24963/KR.2023/60},
  timestamp    = {Tue, 12 Dec 2023 13:13:22 +0100},
  biburl       = {https://dblp.org/rec/conf/kr/SaribaturW23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}