GIMT: A Tool for Ontology and Goal Modeling in BDI Multi-Agent Design. - Massimo Cossentino; Daniele Dalle Nogare; Raffaele Giancarlo; Carmelo Lodato; Salvatore Lopes; Patrizia Ribino; Luca Sabatucci; Valeria Seidita (WOA, 2014)