stringtranslate.com

Dov Gabbay

Dov M. Gabbay ( nacido el 26 de octubre de 1945) es un lógico israelí . Es profesor emérito de lógica Augustus De Morgan en el Grupo de Lógica , Lenguaje y Computación del Departamento de Ciencias de la Computación del King's College de Londres .

Trabajar

Gabbay es autor de más de cuatrocientos cincuenta artículos de investigación y más de treinta monografías de investigación. Es editor de varias revistas internacionales y de muchas obras de referencia y manuales de lógica, entre ellos el Handbook of Philosophical Logic (con Franz Guenthner ), el Handbook of Logic in Computer Science (con Samson Abramsky y TSE Maibaum ) y el Handbook of Logic in Artificial Intelligence and Logic Programming (con CJ Hogger y JA Robinson ).

Es conocido por su trabajo pionero en el campo de la lógica en la informática y la inteligencia artificial, especialmente la aplicación de lógicas temporales (ejecutables) en la informática, en particular la verificación formal , los fundamentos lógicos del razonamiento no monótono y la inteligencia artificial, la introducción de lógicas de fibras y la teoría de sistemas deductivos etiquetados.

Es presidente y fundador de varias conferencias internacionales, ejecutivo de la Fundación Europea de Lógica, Lenguaje e Información y presidente del Grupo Internacional de Lógica IGPL. Es fundador y copresidente de la Federación Internacional de Lógica Computacional. [2] [3] También es uno de los cuatro fundadores y miembro del consejo durante muchos años de FoLLI, la Asociación de Lógica, Lenguaje e Información, de la que ahora está retirado. Sigue siendo miembro vitalicio.

Es cofundador, junto con Jane Spurr, de College Publications, una editorial académica de nueva creación sin ánimo de lucro , destinada a competir con las editoriales más caras a precios asequibles y que no exige la cesión de derechos de autor a los autores. [4] College Publications publicó en 2005 un Festschrift de dos volúmenes en su honor. [5]

Posiciones regulares

Escritos selectos

Referencias

  1. ^ Dov Gabbay en el Proyecto de Genealogía Matemática
  2. ^ "Sitio web oficial". 25 de enero de 2019. Consultado el 26 de diciembre de 2020 .
  3. ^ [1] [ enlace muerto ]
  4. ^ "College Publications - Acerca de nosotros". www.collegepublications.co.uk .
  5. ^ Sergei Artemov, Artur d'Avila Garcez, Luís C. Lamb, Howard Barringer y John Woods (2005). ¡ Les demostraremos! Ensayos en honor a Dov Gabbay. Vol. 1, Vol. 2. Londres: Federación Internacional de Lógica Computacional, Publicaciones Universitarias. ISBN 9781904987123.{{cite book}}: CS1 maint: varios nombres: lista de autores ( enlace )

Enlaces externos