A semantic framework for specifying agent communication languages | IEEE Conference Publication | IEEE Xplore