Logic-Based Specification Languages for Intelligent Software Agents

Viviana Mascardi Maurizio Martelli Leon Sterling

Published in: CoRR (2003)

Keyphrases

specification languages
intelligent software agents
formal specification
intelligent agents
software agents
object oriented programs
multi agent
knowledge representation
first order logic
intelligent systems
model checking
data mining
case study
multi agent systems
fine grained