stringtranslate.com

Georg Gottlob

Georg Gottlob FRS es un informático austriaco-italiano que trabaja en las áreas de teoría de bases de datos , lógica e inteligencia artificial y es profesor de informática en la Universidad de Calabria . Fue profesor en la Universidad de Oxford . [3] [6] [7] [8] [9] [10] [11] [12] [13]

Educación

Gottlob obtuvo su licenciatura y doctorado en informática en la Universidad Tecnológica de Viena en 1981.

Carrera e investigación

Gottlob es actualmente profesor titular en la Universidad de Calabria en Italia, donde se incorporó en 2023 debido al "Fantástico equipo y gran potencial" [14] que cree que hay en esta Universidad. [15] Fue profesor de ciencias de la computación en el Departamento de Ciencias de la Computación de la Universidad de Oxford , donde ayudó a establecer el grupo de investigación de sistemas de información. También es miembro del St John's College de Oxford . Anteriormente, fue profesor de informática en la Universidad Tecnológica de Viena , donde aún ocupa un puesto adjunto. Fue elegido miembro de la Royal Society en mayo de 2010. [2] Es miembro fundador del Oxford-Man Institute .

Ha publicado más de 250 artículos científicos en las áreas de lógica computacional , teoría de bases de datos e inteligencia artificial , y un libro de texto sobre programación lógica y bases de datos. [dieciséis]

En el área de la inteligencia artificial , es mejor conocido por sus primeros trabajos influyentes sobre la complejidad de las lógicas no monótonas [17] [18] y sobre las descomposiciones (generalizadas) de hiperárbol, [19] [20] un marco para obtener clases estructurales manejables de problemas de satisfacción de restricciones y una generalización de la noción de descomposición de árboles de la teoría de grafos . Este trabajo también ha tenido un impacto sustancial en la teoría de bases de datos, ya que se sabe que el problema de evaluar consultas conjuntivas en bases de datos relacionales es equivalente al problema de satisfacción de restricciones. [21] Su trabajo reciente sobre lenguajes de consulta XML (en particular XPath ) ha ayudado a crear las bases teóricas de la complejidad de esta área. [22] [23] [24]

Premios y honores

Gottlob ha recibido numerosos premios y honores, incluida la elección de la Royal Society en 2010. Su nominación para la Royal Society dice:

Georg Gottlob ha realizado contribuciones fundamentales tanto a la inteligencia artificial como a los sistemas de bases de datos. Su investigación se ha centrado en los aspectos algorítmicos y lógicos de la representación del conocimiento, consultas de bases de datos y, recientemente, en el procesamiento de datos web. Su trabajo ha dado como resultado la invención de varios algoritmos eficientes para la satisfacción de restricciones , la extracción de datos web y el procesamiento de consultas de bases de datos , algunos de los cuales ahora son de uso generalizado. Ha desarrollado un núcleo común a los principios subyacentes de la inteligencia artificial y las bases de datos. En su trabajo para aclarar la complejidad intrínseca de los problemas en estas áreas, Gottlob ha resuelto problemas abiertos en lógica computacional , razonamiento no monótono y teoría de bases de datos. [25]

Gottlob también fue designado miembro de la ECCAI [1] en 2002 y recibió doctorados honoris causa de la Universidad de Klagenfurt (2016) y la Universidad de Viena (2020).

Referencias

  1. ^ "Becarios ACM". Asociación para Maquinaria de Computación. 2009 . Consultado el 24 de mayo de 2010 .
  2. ^ ab "Nuevos becarios de la Royal Society para 2010". Universidad de Oxford. 21 de mayo de 2010. Archivado desde el original el 27 de mayo de 2010 . Consultado el 24 de mayo de 2010 .
  3. ^ ab Publicaciones de Georg Gottlob indexadas por Google Scholar
  4. ^ ab Georg Gottlob en el Proyecto de genealogía de matemáticas
  5. ^ "GOTTLOB, profesor Georg". Quién es quién 2014, A & C Black, un sello de Bloomsbury Publishing plc, 2014; edición en línea, Oxford University Press .(requiere suscripción)
  6. ^ Página de perfil del autor de Georg Gottlob en la Biblioteca digital ACM
  7. ^ Winslett, M. (2007). "Georg Gottlob habla". Registro ACM SIGMOD . 36 (2): 27–33. doi :10.1145/1328854.1328860. S2CID  20605617. Archivado desde el original (PDF) el 11 de junio de 2011.
  8. ^ Publicaciones de Georg Gottlob indexadas por la base de datos bibliográfica Scopus . (requiere suscripción)
  9. ^ Leona, N.; Pfeifer, G.; Faber, W.; Eiter, T.; Gottlob, G.; Perri, S.; Scarcello, F. (2006). "El sistema DLV para la representación y el razonamiento del conocimiento". Transacciones ACM sobre lógica computacional . 7 (3): 499. arXiv : cs/0211004 . doi :10.1145/1149114.1149117. S2CID  1189466.
  10. ^ Dantsin, E.; Eiter, T.; Gottlob, G.; Voronkov, A. (2001). "Complejidad y poder expresivo de la programación lógica". Encuestas de Computación ACM . 33 (3): 374. CiteSeerX 10.1.1.28.4997 . doi :10.1145/502807.502810. S2CID  518049. 
  11. ^ Georg Gottlob en el servidor de bibliografía DBLP
  12. ^ Eiter, T.; Gottlob, G.; Mannila, H. (1997). "Registro de datos disyuntivo". Transacciones ACM en sistemas de bases de datos . 22 (3): 364. doi : 10.1145/261124.261126 . S2CID  8755376.
  13. ^ Eiter, T.; Gottlob, G. (1995). "La complejidad de la abducción basada en la lógica". Revista de la ACM . 42 : 3–42. doi : 10.1145/200836.200838 . S2CID  14167261.
  14. ^ "L'esordio di Georg Gottlob all'Unical:" Équipe fantastica e grandi potenzialità"". Corriere della Calabria (en italiano). 15 de septiembre de 2023 . Consultado el 20 de septiembre de 2023 .
  15. ^ "Da Oxford alla Calabria: il re dell'AI sceglie l'Italia". La Voce di Nueva York . 18 de septiembre de 2023 . Consultado el 20 de septiembre de 2023 .
  16. ^ Stefano Ceri, Georg Gottlob y Letizia Tanca: programación lógica y bases de datos. Springer-Verlag, 1990. ISBN 9783642839542 
  17. ^ Gottlob, G. (1992). "Resultados de complejidad para lógicas no monótonas". Revista de Lógica y Computación . 2 (3): 397–425. doi : 10.1093/logcom/2.3.397.
  18. ^ Eiter, T.; Gottlob, G. (1992). "Sobre la complejidad de la revisión, actualizaciones y contrafácticos de la base de conocimientos proposicionales". Actas del undécimo simposio ACM SIGACT-SIGMOD-SIGART sobre principios de los sistemas de bases de datos - PODS '92 . pag. 261. doi : 10.1145/137097.137886. ISBN 978-0897915199. S2CID  674242.
  19. ^ Eiter, T.; Gottlob, G. (1995). "Identificación de las transversales mínimas de un hipergrafo y problemas relacionados". Revista SIAM de Computación . 24 (6): 1278. CiteSeerX 10.1.1.37.883 . doi :10.1137/S0097539793250299. 
  20. ^ Gottlob, G.; Leona, N.; Scarcello, F. (2002). "Descomposiciones de Hypertree y consultas manejables". Revista de Ciencias de la Computación y de Sistemas . 64 (3): 579. arXiv : cs/9812022 . doi :10.1006/jcss.2001.1809. S2CID  121575202.
  21. ^ Kolaítis, Phokion G.; Vardi, Moshe Y. (2000). "Contención de consultas conjuntivas y satisfacción de restricciones". Revista de Ciencias de la Computación y de Sistemas . 61 (2): 302–332. doi : 10.1006/jcss.2000.1713 .
  22. ^ Furche, T.; Gottlob, G.; Grasso, G.; Schallhart, C.; Vendedores, A. (2012). "OXPath: un lenguaje para la extracción, automatización y rastreo de datos escalables en la web profunda". La revista VLDB . 22 : 47–72. doi :10.1007/s00778-012-0286-6. S2CID  14542107.
  23. ^ Gottlob, G.; Koch, C.; Pichler, R. (2005). "Algoritmos eficientes para el procesamiento de consultas XPath". Transacciones ACM en sistemas de bases de datos . 30 (2): 444. CiteSeerX 10.1.1.18.9591 . doi :10.1145/1071610.1071614. S2CID  904373. 
  24. ^ Gottlob, G.; Koch, C.; Pichler, R.; Segoufin, L. (2005). "La complejidad de la evaluación de consultas XPath y la escritura XML". Revista de la ACM . 52 (2): 284. CiteSeerX 10.1.1.598.1938 . doi :10.1145/1059513.1059520. S2CID  6253858. 
  25. ^ "EC/2010/17: Gottlob, Georg. Catálogo de biblioteca y archivo". Londres: La Royal Society. Archivado desde el original el 10 de julio de 2019.