On Strong Equivalence Notions in Logic Programming and Abstract Argumentation
تتناول هذه الورقة انهيار التكافؤ القوي بين البرمجة المنطقية والمجادلة المجردة في السياقات الديناميكية من خلال تقديم مفهوم جديد للتكافؤ القوي لبرامج المنطق يستعيد التوافق عبر هذه الأشكال الصورية تحت الترجمة.