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

On Abstracting over the Irrelevant in Answer Set Programming

  1. Zeynep G. Saribatur(Institute of Logic and Computation, TU Wien)
  2. Matthias Knorr(NOVA LINCS, NOVA University Lisbon)
  3. Ricardo Gonçalves(NOVA LINCS, NOVA University Lisbon)
  4. João Leite(NOVA LINCS, NOVA University Lisbon)

Bibtex record

@inproceedings{KR2024-61,
    title     = {{On Abstracting over the Irrelevant in Answer Set Programming}},
    author    = {Saribatur, Zeynep G. and Knorr, Matthias  and Gonçalves, Ricardo and Leite, João},
    booktitle = {{Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {654--664},
    year      = {2024},
    month     = {8},
    doi       = {10.24963/kr.2024/61},
    url       = {https://doi.org/10.24963/kr.2024/61},
  }
Go back