Alberto Martelli's Home Page
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
|