Dipartimento di Informatica e Scienze dell'Informazione -- Universita' degli Studi di Genova

Membership Details (University/College)

Contact: Maurizio Martelli
Member node: 092
Via Dodecaneso 35, 16146 Genova

>>> Include yourself at this organisation
>>> Update your name or personal details listed below
>>> Submit papers, projects etc to the archive
>>> Update Member Description or Contact details


The "Dipartimento di Informatica e Scienze dell'Informazione -- Universita` degli Studi di Genova" is very active in the following agent-related areas:

1) agent-oriented software engineering,
2) agent languages and architectures,
3) ontologies for agent-based P2P systems.

The researchers that are mainly involved in these activities are Maurizio Martelli (full professor) and Viviana Mascardi (research assistant). Currently, they are following seven master theses on agent-related subjects, they are involved in several academic and industrial projects ("Verifica di Sistemi Reattivi basata su Vincoli" (COVER), "Sviluppo e verifica di sistemi multiagente basati sulla logica" (Massive), "Tecniche proattive di Web personalization" (ClickWorld)), and they are part of the Program Committees of international conferences and workshops such as AAMAS, DALT and EUMAS, as well as of national ones such as WOA and the "Agents and Constraints" Italian Workshop.
Agent-oriented software engineering

Integration and reusing of different kinds of information and software tools is a pressing necessity that more and more complex applications have to cope with. This fact and the distributed nature of many applications made it very appealing to use multi-agent technology. However, agent-based software still lacks well founded development methodologies, thus rapid prototyping and executable specifications could be very important for the realization of these applications. We are investigating how Logic Programming and Computational Logic in general can be exploited to realize low-cost executable prototypes of multi-agent systems that integrate different kinds of legacy software into more complex applications. The prototyping system we have developed is called DCaseLP (Distributed Complex Application Specification Environment based on Logic Programming).

Agent languages and architectures

We have defined CooBDI, an extension of the BDI architecture with the notion of cooperativity. Agents can cooperate by exchanging and sharing plans in a quite flexible way. As a main result Coo-BDI promotes adaptivity and sharing of resources; as a by-product, it provides a better support for dealing with agents which do not possess their own procedural knowledge for processing a given event. The integration of CooBDI and the Jason interpreter for the AgentSpeak language is under way.

Ontologies for agent-based P2P systems

We have developed a framework for evaluating and comparing methodologies for ontology development and we have applied it to the evaluation of three existing methodologies. The framework is characterised by a domain-independent step and by an application-driven step. It has been adopted to analyse and compare the ``Ontology Development 101'' methodology, the ``Unified Methodology'' and EXPLODE, in respect to the analysis, design, verification and implementation of an ontology for content-based retrieval of XML documents in agent-based P2P networks.


Mascardi, V. and Martelli, M. and Sterling, L. (2002) Logic-Based Specification Languages for Intelligent Software Agents. Theory and Practice of Logic Programming Journal.


Mascardi, V. and Martelli, M. and Zini, F. (2004) CaseLP: a Prototyping Environment for Heterogeneous Multi-Agent Systems. .

Cordi, V. and Mascardi, V. (2004) Checking the Completeness of Ontologies: A Case Study from the Semantic Web. CILC. .

Ancona, D. and Mascardi, V. and Hubner, J. and Bordini, R. (2004) Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange. Proceedings of AAMAS. .

Cordi, V. and Mascardi, V. and Martelli, M. and Sterling, L. (2004) Developing an Ontology for the Retrieval of XML Documents: A Comparative Evaluation of Existing Methodologies. AOIS at AAMAS. .

Gungui, I. and Mascardi, V. (2004) Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems. CILC. .

Baldoni, M. and Baroglio, C. and Gungui, I. (2004) Reasoning on agents interaction protocols inside DCaseLP DALT. AAMAS. .

Ancona, D. and Mascardi, V. (2003) Coo-BDI: Extending the BDI Model with Cooperativity. Post-Proceedings of DALT. .

Juan, T. and Martelli, M. and Mascardi, V. and Sterling, L. (2003) Customizing AOSE Methodologies by Reusing AOSE Features. In Proceedings of the 2nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS). .

Astesiano, E. and Martelli, M. and Mascardi, M. and Reggio, G. (2003) From Requirement Specification to Prototype Execution: a Combination of a Multiview Use-Case Driven Method and Agent-Oriented Techniques. Proc. of the Fifteenth International Conference on Software Engineering and Knowledge Engineering. .

Martelli, M. and Mascardi, V. (2003) From UML Diagrams to Jess Rules: Integrating OO and Rule-Based Languages to Specify, Implement and Execute Agents. Proc. of AGP. .

Eiter, T. and Mascardi, V. (2002) Comparing Environments for Developing Software Agents. AI Communications. .

Eiter, T. and Mascardi, V. and Subrahmanian, V.S. (2002) Error-Tolerant Agents. Essays in Honour. .

Marini, S. and Martelli, M. and Mascardi, V. and Zini, F. (2001) Specification of Heterogeneous Agent Architectures. Proceedings of the 7th International Workshop, ATAL. .

This list was generated on Mon Sep 10 16:39:06 BST 2007.


AgentLink is the European Commission's IST-funded Coordination Action for Agent-Based Computing
and is coordinated by the
University of Liverpool and University of Southampton
If you encounter any problems with these pages please contact