Georg Gottlob FRS es un informático austriaco 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 Oxford . [4] [6] [7] [8] [9] [10] [11] [12] [13]
Georg Gottlob | |
---|---|
Nació | [1] Viena , Austria | 30 de junio de 1956
Nacionalidad | Austriaco e italiano |
alma mater | Universidad Tecnológica de Viena |
Premios |
|
Carrera científica | |
Campos | |
Instituciones |
|
Tesis | Mehrwertige Logik - Aufbau und Anwendung in der Informatik (1981) |
Asesor de doctorado | Curt Christian [5] |
Estudiantes de doctorado | |
Sitio web | cs |
Educación
Gottlob obtuvo su licenciatura y doctorado en ciencias de la computación en la Universidad Tecnológica de Viena en 1981.
Carrera e investigación
Gottlob es actualmente 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, Oxford . Anteriormente, fue profesor de informática en la Universidad Tecnológica de Viena , donde aún mantiene un puesto adjunto. Fue elegido miembro de la Royal Society en mayo de 2010. [3] 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. [14]
En el área de la inteligencia artificial , es mejor conocido por su influyente trabajo temprano sobre la complejidad de las lógicas no monotónicas [15] [16] y sobre las descomposiciones (generalizadas) de hipertrboles , [17] [18] 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. [19] Su trabajo reciente sobre lenguajes de consulta XML (especialmente XPath ) ha ayudado a crear los fundamentos teóricos de la complejidad de esta área. [20] [21] [22]
Premios y honores
Gottlob ha recibido numerosos premios y honores, incluida la elección a 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, para 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 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. [23]
Gottlob también ha sido designado becario ECCAI [1] en 2002 y recibió doctorados honorarios de la Universidad de Klagenfurt (2016) y la Universidad de Viena (2020).
Referencias
- ^ "GOTTLOB, Prof. Georg" . Quién es quién 2014, A & C Black, una impresión de Bloomsbury Publishing plc, 2014; edn en línea, Oxford University Press .(requiere suscripción)
- ^ "Becarios ACM" . Asociación de Maquinaria Informática. 2009 . Consultado el 24 de mayo de 2010 .
- ^ a b "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 .
- ^ a b Publicaciones de Georg Gottlob indexadas por Google Scholar
- ^ a b Georg Gottlob en el Proyecto de genealogía matemática
- ^ Página de perfil de autor de Georg Gottlob en laBiblioteca digital de ACM
- ^ 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.
- ^ Publicaciones de Georg Gottlob indexadas por labase de datos bibliográfica Scopus . (requiere suscripción)
- ^ Leone, 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 en lógica computacional . 7 (3): 499. arXiv : cs / 0211004 . doi : 10.1145 / 1149114.1149117 . S2CID 1189466 .
- ^ 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 .
- ^ Georg Gottlob en elservidor de bibliografía DBLP
- ^ 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 .
- ^ 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 .
- ^ Stefano Ceri, Georg Gottlob y Letizia Tanca: programación lógica y bases de datos. Springer-Verlag, 1990. ISBN 9783642839542
- ^ Gottlob, G. (1992). "Resultados de complejidad para lógicas no monotónicas". Revista de Lógica y Computación . 2 (3): 397–425. doi : 10.1093 / logcom / 2.3.397 .
- ^ Eiter, T .; Gottlob, G. (1992). "Sobre la complejidad de la revisión de la base de conocimiento proposicional, actualizaciones y contrafactuales". Actas del undécimo simposio ACM SIGACT-SIGMOD-SIGART sobre los principios de los sistemas de bases de datos - PODS '92 . pag. 261. doi : 10.1145 / 137097.137886 . ISBN 978-0897915199. S2CID 674242 .
- ^ Eiter, T .; Gottlob, G. (1995). "Identificación de las transversales mínimas de un hipergráfico y problemas relacionados". Revista SIAM de Computación . 24 (6): 1278. CiteSeerX 10.1.1.37.883 . doi : 10.1137 / S0097539793250299 .
- ^ Gottlob, G .; Leone, N .; Scarcello, F. (2002). "Descomposiciones de Hypertree y consultas tratables". Revista de Ciencias de la Computación y Sistemas . 64 (3): 579. arXiv : cs / 9812022 . doi : 10.1006 / jcss.2001.1809 . S2CID 121575202 .
- ^ 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 Sistemas . 61 (2): 302–332. doi : 10.1006 / jcss.2000.1713 .
- ^ 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". El diario VLDB . 22 : 47–72. doi : 10.1007 / s00778-012-0286-6 . S2CID 14542107 .
- ^ Gottlob, G .; Koch, C .; Pichler, R. (2005). "Algoritmos eficientes para procesar 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 .
- ^ 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 .
- ^ "EC / 2010/17: Gottlob, Georg. Catálogo de bibliotecas y archivos" . Londres: The Royal Society. Archivado desde el original el 21 de marzo de 2014.