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

Blending Grounding and Compilation for Efficient ASP Solving

  1. Carmine Dodaro(University of Calabria)
  2. Giuseppe Mazzotta(University of Calabria)
  3. Francesco Ricca(University of Calabria)

Bibtex record

@inproceedings{KR2024-30,
    title     = {{Blending Grounding and Compilation for Efficient ASP Solving}},
    author    = {Dodaro, Carmine and Mazzotta, Giuseppe and Ricca, Francesco},
    booktitle = {{Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning}},
    pages     = {317--328},
    year      = {2024},
    month     = {8},
    doi       = {10.24963/kr.2024/30},
    url       = {https://doi.org/10.24963/kr.2024/30},
  }
Go back