On Qualitative Preference in Alternating-time Temporal Logic with Strategy Contexts
تقترح هذه الورقة امتداداً لمنطق الزمن المتبادل (ATL) بسياقات الاستراتيجية عبر إضافة تفضيلات ثنائية على المسارات، مع توفير تقنيات ترجمة لإزالة هذه التفضيلات ورسم خرائط لهذا المنطق إلى منطق شجرة الحساب المكمم (QCTL) من أجل الاستدلال الخوارزمي حول توازن الألعاب.