KR2025Proceedings of the 22nd International Conference on Principles of Knowledge Representation and ReasoningProceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning

Melbourne, Australia. November 11-17, 2025.

Edited by
  1. Magdalena Ortiz
  2. Renata Wassermann
  3. Torsten Schaub

ISSN: 2334-1033
ISBN: 978-1-956792-08-9

Sponsored by
Published by

Copyright © 2025 International Joint Conferences on Artificial Intelligence Organization

FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding

  1. Alexander Beiser(TU Wien, Vienna, Austria)
  2. Martin Gebser(University of Klagenfurt, Klagenfurt, Austria)
  3. Markus Hecher(CNRS, Computer Science Research Center of Lens (CRIL), Univ. Artois, Lens, France)
  4. Stefan Woltran(TU Wien, Vienna, Austria)

Bibtex record

@inproceedings{KR2025-10,
    title     = {{FastFound: Easing the ASP Bottleneck via Predicate-Decoupled Grounding}},
    author    = {Beiser, Alexander and Gebser, Martin and Hecher, Markus and Woltran, Stefan},
    booktitle = {{Proceedings of the 22nd International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {100--109},
    year      = {2025},
    month     = {10},
    doi       = {10.24963/kr.2025/10},
    url       = {https://doi.org/10.24963/kr.2025/10},
  }
Go back