طرق المنطق الاستنتاجي الآلي، أسس الطرق المنطقية والاحتمالية للتفكير الآلي، تنفيذ الخوارزميات للاستدلال المنطقي والاحتمالي، دور النفي في الاستدلال وطرق تعريفه، المنطق الافتراضي، المنطق المسند، دليل الاستبانة، نظم الإنتاج، المنطق غير المؤكد، نظرية القرار البيزى، الاستدلال الدقيق، الاستدلال التقريبي، الاستدلال والنفي غير الرتيب، الاستدلال مع البيانات والتطبيقات الكبيرة مثل إثبات خصائص البرامج والتحقق من الدارات?
