D Kinny - … Workshop on Agent Theories, Architectures, and …, 2001 - Springer
Ψ is a novel algebraic language for the specification of agents, such as BDI agents, which
employ a sense-compute-act computation cycle and stored plan execution as the basis of …