Dov Gabbay

Lógico israelí (nacido en 1945)

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 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 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] En 2005, College Publications publicó un Festschrift de dos volúmenes en su honor. ^[5]

Posiciones regulares

• 1968–1970 – Instructor, Universidad Hebrea de Jerusalén
• 1970–1973 – Profesor adjunto 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 Informática, Imperial College of Science, Technology and Medicine , Londres
• 1998-presente – Profesor de Informática, Profesor de Filosofía, Profesor Augustus De Morgan de Lógica, King's College, Londres
• 2009-presente – Profesor especial de la Universidad Bar-Ilan
• 2015–2017 – Profesor de Lógica, Ashkelon Academic College

Escritos selectos

• Samson Abramsky , Dov M. Gabbay , TSE Maibaum. Manual de lógica en informática, vols. 1-5. Clarendom Press, 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, Lluis Vila (eds). Manual de razonamiento temporal en inteligencia artificial. Elsevier, 2005.
• Dov M. Gabbay: Fundamentos teóricos para el razonamiento no monótono en sistemas expertos. En: Apt KR (ed) Logics and Models of Concurrent Systems. Serie NATO ASI (Serie F: Ciencias de la computación y de 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. Clarendon Press, Oxford, 1996. ISBN 9780198538332 
• Dov M. Gabbay. Fibring Logics. Clarendon Press, 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 y Jonathan Stavi. Sobre el análisis temporal de la imparcialidad. POPL'80: Actas del 7º Simposio anual SIGPLAN-SIGACT de la 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 la 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 Matemática
2. "Sitio web oficial". 25 de enero de 2019. Consultado el 26 de diciembre de 2020 .
3. [1] ^{[ enlace roto ]}
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

• Página de inicio