Equivalence Between Answer-Set Programs Under (Partially) Fixed Input
From MaRDI portal
Publication:2807074
DOI10.1007/978-3-319-30024-5_6zbMath1475.68053OpenAlexW2465565760MaRDI QIDQ2807074
Stefan Woltran, Bernhard Bliem
Publication date: 19 May 2016
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-30024-5_6
Related Items (2)
Equivalence between answer-set programs under (partially) fixed input ⋮ Inlining External Sources in Answer Set Programs
This page was built for publication: Equivalence Between Answer-Set Programs Under (Partially) Fixed Input
