Mirko Morandini Loris Penserini Anna Perini Operational semantics of goal models in adaptive agents. 129-136 2009 AAMAS (1) http://doi.acm.org/10.1145/1558013.1558030 conf/atal/2009-1 db/conf/atal/aamas2009-1.html#MorandiniPP09