PeopleofSuperintelligence

Researcher

Alberto Martelli

Alberto Martelli is an AI researcher whose work spans practical reasoning, agent protocols and reasoning about actions. He earned an electrical-engineering degree in Milan, worked at Italy's National Research Council in Pisa, and built a long academic career at the University of Turin. His projects addressed mechanized deduction and agent interaction, while later research applied answer-set programming to action reasoning with ontologies. He is a Fellow of ECCAI and is affiliated with the University of Turin as of October 2026.

Works
159
Citations
3,029
h-index
24
Badges

Publication numbers from OpenAlex, as of 18 October 2026.

Timeline

  1. 1967–1981

    An engineering degree and Pisa research

    He earns an electrical-engineering degree from the Politecnico of Milan in 1967 and works at the National Research Council's Istituto di Elaborazione dell'Informazione in Pisa from 1968 to 1981.

  2. 1981–1995

    Professor and department director

    In 1981, he becomes a full professor of computer science at the University of Turin. He directs the Department of Computer Science from 1984 to 1989 and chairs its PhD program from 1988 to 1995.

  3. 1989–2005

    MEDLAR and PRIN projects

    From 1989 to 1995, he leads Turin's group in the MEDLAR I and II project on mechanized deduction in practical-reasoning logics. In 2005, he coordinates a national PRIN project on specifying and verifying agent-interaction protocols. From 1989 to 1994, he is responsible for a CNR subproject on systems to support intellectual work.

  4. 2008

    A computational logic day

    In 2008, a Turin event dedicates a day to him and computational logic.

  5. By 2012

    An ECCAI fellowship

    By 2012, he is a Fellow of ECCAI, the European Artificial Intelligence Association.

  6. 2021

    Reasoning about actions with ontologies

    In 2021, he and Laura Giordano and Daniele Theseider Dupré propose an answer-set approach to reasoning about actions with ontological knowledge in the lightweight EL description logic. Their method uses temporal answer sets to handle nondeterministic actions and causal rules.

  7. As of October 2026

    A University of Turin affiliation

    As of October 2026, he is affiliated with the University of Turin.

A language model matched the links in this timeline to people, organizations and papers (provisional, model-judged).

Career

  1. Since 1981University of TurinFull professor of computer science, Director
  2. 1972–1980National Research Council
  3. 1968–1981National Research Council of Italy

Education

  1. 1967Polytechnic University of MilanElectrical-engineering degree

From the biography and OpenAlex affiliations (the years of papers that list the organization), so some years are approximate.

Most-cited works

  1. An Efficient Unification Algorithm1982 · ACM Transactions on Programming Languages and Systems · 777 citations
  2. An application of heuristic search methods to edge and contour detection1976 · Communications of the ACM · 258 citations
  3. Edge detection using heuristic search methods1972 · Computer Graphics and Image Processing · 166 citations
  4. On the complexity of admissible search algorithms1977 · Artificial Intelligence · 155 citations
  5. Optimizing decision trees through heuristically guided search1978 · Communications of the ACM · 152 citations

From OpenAlex, as of 18 October 2026.

  1. The company share of AI researchers’ top papers rose from 2% to 33%Includes University of Turin. We estimate where leading AI researchers worked when their most-cited papers appeared. The company share rose from 2% in 1975–1979 to 33% in 2020–2024.
  2. More people shaping AI studied at Massachusetts Institute of Technology than at any other institutionIncludes Polytechnic University of Milan. Our estimates of where the people shaping AI studied and where their careers led, from education records in cited biographies.
  3. Stanford University trained or employed 27 of the 113 AI major-prize winners, more than any other universityIncludes Polytechnic University of Milan. Stanford University trained or employed 27 of the 113 AI major-prize winners, more than any other university. We compare doctorate and employment links for major-prize and best-paper winners.
  4. Google had the most people shaping AI every year from 2014 to 2025Our estimates of which organizations employed the most people shaping AI from 1962 to 2025, with a year-by-year chart.

Colleagues

People with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of Alberto Martelli yet. Send us a free-licensed photo.

  1. Alberto Martelli's Home Page di.unito.it. Checked 18 October 2026.
  2. Nascita del Dipartimento di Informatica storia.di.unito.it. Checked 18 October 2026.
  3. Progetto Finalizzato CNR Sistemi Informatici e Calcolo Parallelo storia.di.unito.it. Checked 18 October 2026.
  4. Il Milione 2008 / APICe apice.unibo.it. Checked 18 October 2026.
  5. Reasoning about actions with EL ontologies with temporal answer sets arxiv.org. Checked 18 October 2026.
  6. Awards | European Association for Artificial Intelligence eurai.org. Checked 18 October 2026.