مجلة المنطق الآلي بالانجليزي

• journal of automated reasoning

• "مجلة" بالانجليزي    n. magazine, journal, review, bulletin,
• "المنطق" بالانجليزي    logic; logics
• "المجتمع الآلي" بالانجليزي    the automated society
• "تعلم الآلة الآلي" بالانجليزي    automated machine learning
• "منطق آلي" بالانجليزي    automated reasoning
• "الآلة" بالانجليزي    instrument
• "تعلم الآلة" بالانجليزي    machine learning
• "مجلس المنطقة القطبية الشمالية" بالانجليزي    arctic council
• "منطقة محسنة المناظر الطبيعية؛ منطقة مجمّلة" بالانجليزي    landscaped area
• "الآلة الحشرية المجنحة" بالانجليزي    entomopter
• "آلة الشحن الآلي" بالانجليزي    automated charging machine
• "الجليل (منطقة)" بالانجليزي    galilee
• "المنطقة قليلة الضوء" بالانجليزي    oligophotic zone
• "المنطق" بالانجليزي    logic  logics
• "برنامج المعرفة الآلي" بالانجليزي    knowbot  knowledge robot
• "كالآلة" بالانجليزي    machinelike
• "جزء من الآلة الموسيقية" بالانجليزي    n. mouthpiece
• "منطقة حساسة؛ منطقة قليلة المناعة" بالانجليزي    sensitive area
• "مجلس التحكم الآلي الأمريكي" بالانجليزي    american automatic control council
• "مجلة علم الآثار المصرية" بالانجليزي    journal of egyptian archaeology
• "الآلة المكنية" بالانجليزي    machine-tool
• "آلية التنسيق لمنطقة البحر الكاريبي" بالانجليزي    caribbean coordination mechanism
• "المنطقة قليلة التسرب الضوئي" بالانجليزي    oligophotic zone
• "مهمة تعلم الآلة" بالانجليزي    machine learning task
• "ميزة (تعلم الآلة)" بالانجليزي    feature (machine learning)

• Sattler serves as editor of the Journal of Logic and Computation, on the editorial board of the Journal of Automated Reasoning, and a chair for various conferences including the International Joint Conference on Automated Reasoning (IJCAR).
  حررت ساتلير في مجلة المنطق والحساب، في هيئة تحرير مجلة المنطق الآلي، وكانت رئيس مجلس الإدارة لمؤتمرات مختلفة بما في ذلك المؤتمر الدولي المشترك حول التفكير الآلي.