تبحث هذه الدراسة في المعادلة القوية ضمن إطار برمجة مجموعة الإجابات (ASP) مع القيود، مع التركيز على الشروط التي يمكن اعتبار مجموعتين من القواعد متساويتين بقوة. يثبت المؤلفون أن المعادلة القوية يمكن تمييزها من خلال معادلة ترجماتها في منطق هنا وهناك مع القيود (HT_c). يقدمون ترجمة منهجية من لغة محللات مجموعة الإجابات المعتمدة على clingo…