Translating Preferred Answer Set Programs to Propositional Logic

DOI10.1007/978-3-642-04238-6_33MaRDI QIDQ3643132zbMATH OpenOpenAlexFDO

Authors Vernon Asuncion, Yan Zhang

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 computationsanswer set semanticsprioritized logic programs

Mathematics Subject Classification ID

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

Recommendations

• Preferred answer sets for extended logic programs
• From (Quantified) Boolean Formulae to Answer Set Programming
• Translating LPOD and CR-\(\mathrm{Prolog}_2\) into standard answer set programs
• Some (in)translatability results for normal logic programs and propositional theories
• Computing preferred answer sets in answer set programming

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3643132)