The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf
.
Logic-Based Specification Languages for Intelligent Software Agents
[article]
2003
arXiv
pre-print
The research field of Agent-Oriented Software Engineering (AOSE) aims to find abstractions, languages, methodologies and toolkits for modeling, verifying, validating and prototyping complex applications conceptualized as Multiagent Systems (MASs). A very lively research sub-field studies how formal methods can be used for AOSE. This paper presents a detailed survey of six logic-based executable agent specification languages that have been chosen for their potential to be integrated in our
arXiv:cs/0311024v1
fatcat:2kaahbviqjfe5ea6noivhq4yly