Università di Torino

Alberto Martelli's Home Page 

Current address:
Dipartimento di Informatica
UniversitÓ degli Studi di Torino
Corso Svizzera, 185
I-10149 Torino (ITALY)

e-mail: mrt@di.unito.it
Tel.:      +39 011 670 67 31
Fax.:     +39 011 75 16 03

Alberto Martelli received a degree in Electrical Engineering from the Politecnico of Milan in 1967. From 1968 to 1981 he was with the Istituto di Elaborazione dell'Informazione of the National Research Council in Pisa. Since November 1981 is full professor of Computer Science at the University of Torino, where he was director of the Dipartimento di Informatica from 1984 to 1989, and chairman of the PhD program in Computer Science from 1988 to 1995. He was head of a group in the ESPRIT BRA Project MEDLAR I and II "Mechanizing Deduction in the Logics of Practical Reasoning" (1989-95), "national coordinator" of some MURST 40% and PRIN projects, among which the project PRIN 2005 "Specification and verification of agent interaction protocols", and representative of the Turin group in the VI framework Network of Excellence REWERSE (Reasoning on the web with rules and semantics). He is Fellow of ECCAI, the European Artificial Intelligence Association. He has carried out research mainly in artificial intelligence and logic programming. In artificial intelligence he has worked initially on algorithms for heuristic search and unification. Later on he studied the semantic issues concerning nonmonotonic reasoning, in particular Truth Maintenance Systems (TMS), and techniques for reasoning about actions and change, mainly by making use of modal logic. In particular he has worked on the development of a theory of actions based on Dynamic Linear Time Temporal Logic (DLTL), a simple combination of temporal logic of linear time and of dynamic logic, which allows to describe temporal properties of complex actions. He has also worked on extensions logic programming languages to deal with hypothetical and non-monotonic reasoning, and to reason about actions. The outcome of these research activities is a modal logic programming language to reason about actions, which allows to define complex actions (procedures), to represent incomplete states and to deal with sensing actions. The most recent research interests are in the area of specification and verification of properties of multiagent systems and web services, with the goal of using the above mentioned logic based formalisms and tools to specify agent interactions and to prove their properties.  

   My publications

[Group's HOME] [Department's HOME]

Last update: Nov 13, 2012