A characterization of answer sets for logic programs

DOI10.1007/s11432-007-0001-1zbMath1122.68031OpenAlexW1919830704MaRDI QIDQ2644415

Mingyi Zhang, Ying Zhang, Fangzhen Lin

Publication date: 31 August 2007

Published in: Science in China. Series F (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11432-007-0001-1

zbMATH Keywords

tightnesscompletion semanticsloop formulascharacterization of answer setsnested logic programming

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• ASSAT

Cites Work

• ASSAT: computing answer sets of a logic program by SAT solvers
• Nested expressions in logic programs
• A new research into default logic
• Tight logic programs
• Logic Programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A characterization of answer sets for logic programs