Logic-Based Specification Languages for Intelligent Software Agents.

Viviana Mascardi Maurizio Martelli Leon Sterling

Published in: Theory Pract. Log. Program. (2004)

Keyphrases

specification languages
intelligent software agents
formal specification
intelligent agents
software agents
multi agent
object oriented programs
first order logic
knowledge representation
model checking
cooperative
databases
multi agent systems