"A belief-goal-role logic for a single-agent system."

Walid Chainbi (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics