Lloyd-Topor completion and general stable models

DOI10.1017/S1471068413000318zbMath1291.68105arXiv1301.1394OpenAlexW2964218452MaRDI QIDQ5398291

Fangkai Yang, Vladimir Lifschitz

Publication date: 27 February 2014

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1301.1394

zbMATH Keywords

completionGamma-tight programgeneral stable modelsLloyd-Topor program

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Cites Work

• Unnamed Item
• Stable models and circumscription
• ASSAT: computing answer sets of a logic program by SAT solvers
• Making prolog more expressive
• Tight logic programs
• Strongly equivalent logic programs