Title: Agent Technology from a Formal Perspective
Subjects: Intelligent agents (computer software), System design