A formal embedding of agentspeak(L) in 3APL
1998 ◽
pp. 155-166
◽