وقال في مختبر ستانفورد (شراع) الرسمية التي تركز على استخدام المنطق لحل مجموعة واسعة من المشاكل، بما في تمثيل المعرفة، والتخطيط والتعليم.
His laboratory at Stanford (SAIL) focused on using formal logic to solve a wide variety of problems, including knowledge representation, planning and learning.