With Fariba Sadri, he developed an agent model in which beliefs are represented by logic programs and goals are represented by integrity constraints.
Разом з Фаріба Садрі, він розробив модель агента, в якому переконання представлені логічними програмами і мета представлена обмеженням цілісності.