Michael Rovatsos Dynamic semantics for agent communication languages. 25 2007 conf/atal/2007 AAMAS http://doi.acm.org/10.1145/1329125.1329156 db/conf/atal/aamas2007.html#Rovatsos07