الأبحاث في مجلة: Theory and Practice of Logic Programming
-
نحو تكوين المنتجات على نطاق صناعي Towards Industrial-Scale Product Configuration
2026 | المؤلف: Joachim Baumeister وآخرون | المجلة: Theory and Practice of Logic Programming | المجال: إدارة التكنولوجيا والابتكار (Management of Technology and Innovation)يتناول هذا القسم تحدي تكوين المنتجات في ظل تزايد الطلب من العملاء على منتجات متنوعة ومعقدة. يقترح المؤلفون حلاً باستخدام مجموعة مختارة من معايير نماذج المنتجات المصاغة بلغة كويم، والتي تم تنظيمها في ثلاث قطع ذات تعقيد متزايد. يتم توضيح كل قطعة بأمثلة تتعلق بتكوين الدراجات، مدعومة بنماذج منتجات إضافية قابلة للتوسع متاحة في مجموعة…
-
التكافؤ القوي في برمجة مجموعة الإجابات مع القيود Strong Equivalence in Answer Set Programming with Constraints
2026 | المؤلف: Pedro Cabalar وآخرون | المجلة: Theory and Practice of Logic Programming | المجال: الذكاء الاصطناعي (Artificial Intelligence)تبحث هذه الدراسة في المعادلة القوية ضمن إطار برمجة مجموعة الإجابات (ASP) مع القيود، مع التركيز على الشروط التي يمكن اعتبار مجموعتين من القواعد متساويتين بقوة. يثبت المؤلفون أن المعادلة القوية يمكن تمييزها من خلال معادلة ترجماتها في منطق هنا وهناك مع القيود (HT_c). يقدمون ترجمة منهجية من لغة محللات مجموعة الإجابات المعتمدة على clingo…