stringtranslate.com

Georg Gottlob

Georg Gottlob FRS es un informático austríaco-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 informática en el Departamento de Informática 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 todavía mantiene 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. [16]

En el área de inteligencia artificial , es más conocido por su influyente trabajo temprano sobre la complejidad de las lógicas no monótonas [17] [18] y sobre descomposiciones de hiperárboles (generalizadas), [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 a partir 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 (notablemente 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 para la Royal Society en 2010. Su nominación para la Royal Society dice:

Georg Gottlob ha hecho 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, las consultas a 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 a bases de datos , algunos de los cuales ahora se utilizan ampliamente. Ha desarrollado un núcleo común para 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 del ECCAI [1] en 2002 y recibió doctorados honorarios de la Universidad de Klagenfurt (2016) y la Universidad de Viena (2020).

Referencias

  1. ^ "ACM Fellows". Association for Computing Machinery. 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. ^ Publicaciones de Georg Gottlob indexadas por Google Scholar
  4. ^ por Georg Gottlob en el Proyecto de Genealogía Matemática
  5. ^ "GOTTLOB, Prof. Georg". Who's Who 2014, A & C Black, un sello editorial de Bloomsbury Publishing plc, 2014; edición en línea, Oxford University Press .(se requiere suscripción)
  6. ^ Página de perfil del autor Georg Gottlob en la Biblioteca Digital ACM
  7. ^ Winslett, M. (2007). "Georg Gottlob habla claro". ACM SIGMOD Record . 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 en la base de datos bibliográfica Scopus . (requiere suscripción)
  9. ^ Leone, N.; Pfeifer, G.; Faber, W.; Eiter, T.; Gottlob, G.; Perri, S.; Scarcello, F. (2006). "El sistema DLV para la representación y razonamiento del conocimiento". ACM Transactions on Computational Logic . 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". ACM Computing Surveys . 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". ACM Transactions on Database Systems . 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". Journal of Logic and Computation . 2 (3): 397–425. doi :10.1093/logcom/2.3.397.
  18. ^ Eiter, T.; Gottlob, G. (1992). "Sobre la complejidad de la revisión, actualización y contrafácticos de bases de conocimiento proposicionales". Actas del undécimo simposio ACM SIGACT-SIGMOD-SIGART sobre Principios de sistemas de bases de datos - PODS '92 . p. 261. doi :10.1145/137097.137886. ISBN 978-0897915199.S2CID674242  .​
  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.; Leone, N.; Scarcello, F. (2002). "Descomposiciones de hiperárbol 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. ^ Kolaitis, 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.; Sellers, A. (2012). "OXPath: Un lenguaje para la extracción de datos escalables, la automatización y el rastreo en la web profunda". The VLDB Journal . 22 : 47–72. doi :10.1007/s00778-012-0286-6. S2CID  14542107.
  23. ^ Gottlob, G.; Koch, C.; Pichler, R. (2005). "Algoritmos eficientes para procesar consultas XPath". ACM Transactions on Database Systems . 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 tipificación 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 la Biblioteca y Archivo". Londres: The Royal Society. Archivado desde el original el 10 de julio de 2019.