Answer Set Enumeration via Assumption Literals
From MaRDI portal
Publication:5215367
DOI10.1007/978-3-319-49130-1_12zbMath1430.68326WikidataQ62043811 ScholiaQ62043811MaRDI QIDQ5215367
Publication date: 10 February 2020
Published in: AI*IA 2016 Advances in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-49130-1_12
Related Items