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