Multi-agent Systems Development as a Software Engineering Enterprise

Authors:
Marco Bozzano;Giorgio Delzanno;Maurizio Martelli;Viviana Mascardi;Floriano Zini
Affiliations:
-;-;-;-;-
Venue:
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Year:
1999

Citing 6
Cited 1

Forum: a multiple-conclusion specification logic

ALP Proceedings of the fourth international conference on Algebraic and logic programming
Towards a Unified Agent Architecture that Combines Rationality with Reactivity

LID '96 Proceedings of the International Workshop on Logic in Databases
Agent Modelling in METATEM and DESIRE

ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
A Formal Specification of dMARS

ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Formalisms for multi-agent systems

The Knowledge Engineering Review
Methodological foundations for agent-based systems

The Knowledge Engineering Review

Specification of Heterogeneous Agent Architectures

ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

Multi-Agent Systems provide an ideal level of abstraction for modelling complex applications where distributed and heterogeneous entities need to cooperate to achieve a common goal, or to concur for the control of shared resources. This paper proposes a declarative framework for developing multi-agent systems. A formal approach based on Logic Programming is proposed for the specification, implementation and testing of software prototypes. Specification of the PRS agent architecture is given as an example of application of our framework.