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