Translating Preferred Answer Set Programs to Propositional Logic

DOI10.1007/978-3-642-04238-6_33zbMath1258.68022OpenAlexW1517846976MaRDI QIDQ3643132

Yan Zhang, Vernon Asuncion

Publication date: 10 November 2009

Published in: Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04238-6_33

zbMATH Keywords

answer set semanticsprioritized logic programsanswer set computations

Mathematics Subject Classification ID

Classical propositional logic (03B05) Logic programming (68N17)

This page was built for publication: Translating Preferred Answer Set Programs to Propositional Logic