Home | Search | Help  
Home PageUniversitą di Genova

hand with sphere
[M.C. Escher "Hand with sphere"]
The Logic Programming Group is active since 1992. At that time, the University of Genova started the Department of Computer and Information Science.
The group has recently joined the CoLogNet Network of Excellence in Computational Logic.
Currently, the group is composed by:

Contact Person:
Maurizio Martelli
phone: +39 010 3536727
fax: +39 010 3536699
e-mail: martelli@disi.unige.it
Postal Address:
The Logic Programming Group
DISI, Universita` di Genova
Via Dodecaneso, 35
I-16146 Genova, Italy

[ Research Activity | Projects | Useful links ]

[ Previous Page | About DISI | About Genova | WWW index]

Research Activity

Linear Logic Programming

We have investigated the concept of object in Logic Programming and its semantic characterization, with particular attention to the characteristics and features of objects expressible using linear logic. Starting from proposals based on higher order Linear Logic Programming, such as LO, Forum, etc. we have developed a proof system, called Ehhf, to model state-based computations. The system is well-suited to model OO features like encapsulation, hiding, delegation and inheritance, and provides an integrated OO-LP environment. A prototypical interpreter is available. We have also investigated the application of Ehhf to the specification of obiect-oriented, deductive and active database systems. Current work includes studying the use of Ehhf as a powerful language for the high-level specification of multi-agent systems. The language has been integrated into a complex, software engineering oriented, development environment for MAS (see below). We are currently investigating semantics and verification issues in Linear Logic Programming. We have defined a framework for computing bottom-up fixpoint semantics of linear logic programs, and we are currently studying analysis and verification of programs by applying abstract interpretation and model-checking techniques.

List of related papers

Contraint Logic Programming

We have studied the translation of (infinite)-state cuncurrent system specifications into CLP programs, and we have shown that runtime properties specified by temporal formulae can be expressed through the semantics of CLP programs. We are currently using CLP as a conceptual basis and also a practical implementation platform for model-checking of (infinite)-state systems. Examples of systems we are taking into consideration are parametrized synchronous systems, consisting of an (arbitrarily large) number of identical (finite-state) processes and one monitor. For instance, we have studied verification of safety properties of parametrized cache coherence protocols and of broadcast protocols.

List of related papers

CaseLP: Multi-Agent Systems for Software Prototyping

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 can be exploited to realize low-cost executable prototypes of multi-agent systems that integrate different kinds of legacy software into more complex applications.

List of related papers


  • S.T.E. 96-98 (proposal for 1997): A coordinated project bewteen Italian research groups: "Tools for logic programming analysis & transformation, software engineering and integration with concurrency, objects and constraints".
  • S.T.E. 96-98 (proposal for 1998): sources and bibliography
  • MURST research project 1998-2000: A coordinated project bewteen Italian research groups: "Formal systems for the specification, anlysis, verification, synthesis, and transformation of software systems".
  • MURST research project 1999-2000: A coordinated project bewteen Italian research groups: "Saladin: Software Architectures and Languages to coordinate Distributed Mobile Components"

Useful links

[ Previous Page | About DISI | About Genova | WWW index ]

Visits since 1/1/2000

Please send suggestions and comments to:
Viviana Mascardi mascardi@disi.unige.it

Last Updated: 22 May 2003