On the foundations of grounding in answer set programming

DOI10.1017/S1471068422000308MaRDI QIDQ7027177zbMATH OpenFDO

Authors Roland Kaminski, Torsten Schaub

Publication date 14 February 2025

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

answer-set programminggrounding algorithmsgrounding theory

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: On the foundations of grounding in answer set programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7027177)