His laboratory at Stanford (SAIL) focused on using formal logic to solve a wide variety of problems, including knowledge representation, planning and learning.
Неговата лабораторија на Stanford (SAIL) се фокусирала на користење формална логика за решавање проблеми од широк опсег, вклучувајќи презентација на знаење, планирање и учење.