Chain answer sets for logic programs with generalized atoms

DOI10.1007/978-3-030-19570-0_30zbMath1452.68034OpenAlexW2944794753MaRDI QIDQ2296731

Wolfgang Faber, Mario Alviano

Publication date: 18 February 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-19570-0_30

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• DLV
• WASP

This page was built for publication: Chain answer sets for logic programs with generalized atoms