Dov Gabbay

from Wikipedia, the free encyclopedia

Dov M. Gabbay (born October 23, 1945 ) is a logician and professor emeritus from King's College London . Gabbay is particularly concerned with logic, computer science and artificial intelligence .

The logician began his scientific career at the Hebrew University of Jerusalem (1968–1970). In 1970 he was appointed to an assistant professorship in philosophy at Stanford University . In 1975 he moved to Bar-Ilan University as an associate professor , where he was appointed professor of logic in 1977. In 1983 he accepted a chair in computer science at Imperial College London. Gabbay has held the Augustus De Morgan Chair in Logic at King's College London since 1998.

Dov M. Gabbay has published over 400 scientific articles, for example the separation theorem . He is the editor of several peer-reviewed journals and of over 50 manuals on logic and its areas of application in computer science, especially artificial intelligence. He also chairs several specialist conferences and organizations, e. B. the European Foundation of Logic Language and Information, and is a co-founder of the International Federation of Computational Logic .

Works (selection)

  • Model Theory for Intuitionsitic logic , Journal for Mathematical Logic and Fundamentals of Mathematics, Vol. 18, pp. 49-54, 1972.
  • Investigations in Modal and Tense Logics with Applications , Synthesis, Vol. 92, D. Reidel, 1976.
  • with A. Garcez and K. Broda: Neural-Symbolic Learning Systems: Foundations and Applications , Springer Verlag, 2002.
  • with A. Kurucz, F. Wolter and M. Zakhryaschev: Many Dimensional Modal Logics , Elsevier, Studies in Logic, 2003.

Web links

Individual evidence

  1. ↑ List of publications, as of 2009. ( Memento of the original from June 9, 2012 in the Internet Archive ) Info: The archive link was inserted automatically and has not yet been checked. Please check the original and archive link according to the instructions and then remove this notice. (PDF; 331 kB)  @1@ 2Template: Webachiv / IABot / www.dcs.kcl.ac.uk
  2. ↑ ifcolog.net
personal data
SURNAME Gabbay, Dov
ALTERNATIVE NAMES Gabbay, Bernard Dov
BRIEF DESCRIPTION English logician and computer scientist
DATE OF BIRTH October 23, 1945