Logic-Based Specification Languages for Intelligent Software Agents

Viviana Mascardi, Maurizio Martelli, Leon Sterling

The research field of Agent-Oriented Software Engineering (AOSE) aims to find abstractions, languages, methodologies and toolkits for modeling, verifying, validating and prototypin…