PeopleofSuperintelligence

Researcher

Dov M. Gabbay

Also known as Dov Gabbay

Dov M. Gabbay is a researcher in logic and computer science whose work connects formal reasoning with artificial intelligence. He earned a Hebrew University PhD on non-classical logics in 1969, then worked at Stanford, Bar-Ilan, Imperial College and King's College London. He helped produce handbooks on logic in AI, coauthored a 2009 book on neural-symbolic reasoning, and coauthored a 2025 study of forgetting in abstract argumentation. He is an Emeritus Professor of Computer Science at King's College London.

Born
1945
Works
1,147
Citations
19,842
h-index
66
Badges

Publication numbers from OpenAlex, as of 22 October 2026.

Timeline

  1. 1945–1975

    A PhD and early posts

    He is born in 1945 and grows up in Israel. He studies mathematics and physics at Hebrew University, completing a PhD on non-classical logics in 1969. He moves to Stanford in 1970 and returns to Bar-Ilan University in 1975.

  2. 1982–1998

    Logic at Imperial College

    During a visit to Imperial College in 1982, he works with Bob Kowalski on Logic Programming and turns to logic in computer science. In 1983, he becomes Professor of Computing at Imperial College, where he stays for 15 years.

  3. 1992

    Handbooks for logic and AI

    In 1992, he teams up with colleagues to produce handbooks on logic in computer science and logic in AI. The project begins a collection that systematizes logic across its interdisciplinary subdomains.

  4. 1998–2011

    Professor at King's College

    In 1998, he joins King's College London as Professor of Computing, Professor of Philosophy, and Augustus De Morgan Professor of Logic. He becomes emeritus in 2011.

  5. 2001

    Humboldt Research Award

    In 2001, a Humboldt Research Award supports his work on the logical and algorithmic foundations of goal-directed reasoning, with Jörg Siekmann at DFKI Saarbrücken as host.

  6. 2009

    Neural-symbolic reasoning

    With Artur S. d’Avila Garcez and Luís C. Lamb, he coauthors Neural-Symbolic Cognitive Reasoning in 2009. The book presents neural-network models that integrate learning from experience with reasoning.

  7. 2025

    Forgetting in abstract argumentation

    In 2025, he coauthors “Forgetting in Abstract Argumentation: Limits and Possibilities” in the Journal of Artificial Intelligence Research. The paper studies desirable properties of forgetting operators and identifies limits across prominent argumentation semantics.

  8. As of October 2026

    Emeritus Professor at King's

    As of October 2026, he is an Emeritus Professor of Computer Science at King's College London.

Career

  1. Since 1998King's College LondonProfessor of Computing; Professor of Philosophy; Augustus De Morgan Professor of Logic
  2. 2013–2015University of Manchester
  3. 2008–2012Institut des Sciences de l'Information et de leurs Interactions
  4. 2008–2023University of Luxembourg
  5. 1992–1995Max Planck Society
  6. 1992–1997University of London
  7. 1992–1997Max Planck Institute for Informatics
  8. 1982–1998Imperial College LondonProfessor of Computing
  9. 1975–1998Bar-Ilan University
  10. 1970–1975Stanford University
  11. 1970–1972Hebrew University of Jerusalem

Education

  1. 1969Hebrew University of JerusalemPhD

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

  1. The median h-index is 48 at universities and 14 at frontier AI labsIncludes King's College London. The median h-index is 48 at universities and 14 at frontier AI labs. We compare publishing careers, recent citations, dual appointments and job moves across 2,420 university researchers and 308 frontier-lab researchers.
  2. Companies supply the most prior-work hires at 7 of the 9 frontier AI labsIncludes King's College London. Our estimates of the organizations where 550 people worked directly before joining 9 frontier AI labs across 620 career transitions, comparing the main feeder organizations per lab.
  3. 20% of people at companies who shape AI also hold a university role, led by Google and Stanford UniversityIncludes Stanford University. We estimate that 539 of the 6,766 people with a known current organization (8%) hold both a university role and a company role, including 20% of people at companies and 13% of people at universities.
  4. More people shaping AI studied at Massachusetts Institute of Technology than at any other institutionIncludes King's College London. We estimate where the people shaping AI studied and where their careers led. Massachusetts Institute of Technology leads with 467 former students, including 291 recorded doctorates.

Colleagues

People named in this biography, and people with dated positions at the same organization in the same years.

Sources and credits

Photo: We have no published photo of Dov M. Gabbay yet. Send us a free-licensed photo.

  1. Dov Gabbay - A short biographical sketch iloaf.org. Checked 21 October 2026.
  2. Prof. Dr. Dov M. Gabbay humboldt-foundation.de. Checked 21 October 2026.
  3. Neural-Symbolic Cognitive Reasoning - Artur S. D'Avila Garcez, Luís C. Lamb, Dov M. Gabbay - Google Books books.google.com. Checked 21 October 2026.
  4. Forgetting in Abstract Argumentation: Limits and Possibilities kclpure.kcl.ac.uk. Checked 21 October 2026.
  5. Dov Gabbay | King's College London kcl.ac.uk. Checked 21 October 2026.