reposiTUm
Publikationen von "Quantitative Reasoning and Counting for ASP"
Wissenschaftliche Artikel
Beiser, A., Woltran, S., & Hecher, M. (2025). Automated Hybrid Grounding Using Structural and Data-Driven Heuristics.
Theory and Practice of Logic Programming
,
25
(4), 489–506.
https://doi.org/10.1017/S1471068425100173
(
reposiTUm
)