Dov Gabbay
 | Esta biografía de una persona viva necesita citas adicionales para su verificación . ( diciembre de 2020 ) |
Dov M. Gabbay | |
|---|---|
| Nacido | ( 26 de octubre de 1945 )26 de octubre de 1945 |
| Educación | Universidad Hebrea (licenciatura, maestría y doctorado) |
| Conocido por | Teorema de separación de Gabbay , fundamentos para el razonamiento no monótono en sistemas expertos |
| Premios | Miembro extranjero de la Royal Society of Canada (FRSC) Miembro de la Fundación Alexander von Humboldt (FAvH) |
| Carrera científica | |
| Campos | Ciencias de la computación Matemáticas Filosofía Lógica |
| Instituciones | King's College London Universidad Bar-Ilan Universidad de Luxemburgo Universidad de Manchester Imperial College London Université Paul Sabatier Ashkelon Academic College |
| Tesis | Lógicas no clásicas (1969) |
| Asesor de doctorado | Azriel Levy Michael O. Rabin [1] |
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
- 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
- ^ Dov Gabbay en el Proyecto de Genealogía Matemática
- ^ "Sitio web oficial". 25 de enero de 2019. Consultado el 26 de diciembre de 2020 .
- ^ [1] [ enlace muerto ]
- ^ "College Publications - Acerca de nosotros". www.collegepublications.co.uk .
- ^ 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
