arXiv 2003-11-20 EN Logic-Based Specification Languages for Intelligent Software Agents Mascardi, Viviana · Martelli, Maurizio · Sterling, Leon
