A bird's-eye view of forgetting in answer-set programming
From MaRDI portal
Publication:2401919
DOI10.1007/978-3-319-61660-5_2zbMath1491.68218OpenAlexW2733216687MaRDI QIDQ2401919
Publication date: 5 September 2017
Full work available at URL: https://doi.org/10.1007/978-3-319-61660-5_2
Related Items (6)
Strong Equivalence and Program Structure in Arguing Essential Equivalence between Logic Programs ⋮ When you must forget: Beyond strong persistence when forgetting in answer set programming ⋮ A Syntactic Operator for Forgetting that Satisfies Strong Persistence ⋮ Omission-Based Abstraction for Answer Set Programs ⋮ Abstraction for non-ground answer set programs ⋮ Forgetting auxiliary atoms in forks
This page was built for publication: A bird's-eye view of forgetting in answer-set programming