Foundations for Projecting Away the Irrelevant in ASP Programs

Download PDF
Open Webpage

Zeynep G. Saribatur, Stefan Woltran

Published: 01 Jan 2023, Last Modified: 10 Mar 2025KR 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: Simplification of logic programs under the answer-set semantics has been studied from the very beginning of the field. One natural simplification is the removal of atoms that are deemed irrelevant....