Dov Gabbay

Lógico israelí (nacido en 1945)

Dov M. Gabbay ( / ɡ ə ˈ b eɪ / ; 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, incluido el Handbook of Philosophical Logic (con Franz Guenthner ), el Handbook of Logic in Computer Science] (con Samson Abramsky y TSE Maibaum ) y el Handbook de Lógica en Inteligencia Artificial y Programación Lógica (con CJ Hogger y JA Robinson ).

Es conocido por su trabajo pionero sobre lógica en informática e inteligencia artificial, especialmente la aplicación de lógicas temporales (ejecutables) en 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 teoría de sistemas deductivos etiquetados.

Es presidente y fundador de varios congresos internacionales, ejecutivo de la Fundación Europea de Lógica, Lenguaje e Información y presidente del International IGPL Logic Group. 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 nueva editorial académica sin fines de lucro , destinada a competir con las principales editoriales costosas a precios asequibles y sin exigir 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]

Puestos regulares

• 1968–1970 – Instructor, Universidad Hebrea de Jerusalén
• 1970–1973 – Profesor asistente de Filosofía, Universidad de Stanford
• 1973–1975 – Profesor asociado de Filosofía, Universidad de Stanford
• 1975–1977 – Profesor asociado, Universidad Bar-Ilan
• 1977–1983: Profesora de Lógica Lady Davis, Universidad Bar-Ilan
• 1983–1998 – Profesor de Computación, Imperial College of Science, Technology and Medicine , Londres
• 1998-presente: Profesor de Computación, Profesor de Filosofía, Profesor de Lógica Augustus De Morgan, King's College, Londres
• 2009-presente - Profesor especial Universidad Bar-Ilan
• 2015–2017 – Profesor de Lógica, Ashkelon Academic College

Escritos seleccionados

• Samson Abramsky , Dov M. Gabbay , TSE Maibaum. Manual de lógica en informática, volúmenes 1-5. Prensa de Clarendom, Oxford, 1992–2000.
• Artur S. d'Avila Garcez , Luis C. Lamb, Dov Gabbay. Razonamiento cognitivo neurosimbólico. Springer, 2009. ISBN  978-3540732457
• Michael D. Fisher, Dov M. Gabbay, Lluís Vila (eds). Manual de razonamiento temporal en inteligencia artificial. Elsevier, 2005.
• Dov M. Gabbay: Fundamentos teóricos del razonamiento no monótono en sistemas expertos. En: Apt KR (ed) Lógicas y modelos de sistemas concurrentes. Serie ASI de la OTAN (Serie F: Ciencias de la computación y los sistemas), vol 13. Springer, Berlín, Heidelberg, págs. 439–457, 1985.
• Dov M. Gabbay (ed.). ¿Qué es un sistema lógico? Estudios de Lógica y Computación, Oxford University Press, 1994.
• Dov M. Gabbay. Sistemas deductivos etiquetados, vol.1. Prensa de Clarendon, Oxford, 1996. ISBN 9780198538332 
• Dov M. Gabbay. Lógicas de fibras. Prensa de Clarendon, Oxford, 1998. ISBN 9780191590108 
• Dov M. Gabbay, Ian Hodkinson, Mark Reynolds: Lógica temporal: fundamentos matemáticos y aspectos computacionales, vol. 1. Clarendon Press, Oxford, 1994. ISBN 978-0198537694 
• Dov M. Gabbay, Agi Kurucz, Frank Wolter, Michael Zakharyaschev: Lógicas modales multidimensionales: teoría y aplicaciones. Holanda Septentrional, 2003.
• Dov M. Gabbay, Amir Pnueli , Saharon Shelah , Jonathan Stavi. Sobre el análisis temporal de la equidad. POPL'80: Actas del séptimo simposio anual SIGPLAN-SIGACT ACM sobre principios de lenguajes de programación, enero de 1980, páginas 163–173, ACM Press.
• Dov M. Gabbay y John Woods . Relevancia de la agenda: un estudio sobre pragmática formal. Holanda Septentrional, 2003.
• Ruth M. Kempson , Wilfried Meyer-Viol, Dov M. Gabbay: Sintaxis dinámica: el flujo de comprensión del lenguaje Archivado el 27 de mayo de 2019 en Wayback Machine . Blackwell, 2000. ISBN 978-0-631-17612-1 

Referencias

1. Dov Gabbay en el Proyecto de genealogía de matemáticas
2. "Sitio web oficial". 25 de enero de 2019 . Consultado el 26 de diciembre de 2020 .
3. [1] ^{[ enlace muerto ]}
4. "Publicaciones universitarias - Quiénes somos". www.collegepublications.co.uk .
5. Sergei Artemov, Artur d'Avila Garcez, Luís C. Lamb, Howard Barringer y John Woods (2005). ¡Se los mostraremos! Ensayos en honor a Dov Gabbay. vol. 1, vol. 2 . Londres: Federación Internacional de Lógica Computacional, Publicaciones universitarias. ISBN 9781904987123.{{cite book}}: Mantenimiento CS1: varios nombres: lista de autores ( enlace )

Enlaces externos

• pagina de inicio