Георг Готтлоб - Georg Gottlob

Георг Готтлоб
Георг готтлоб-official3.png
Родился (1956-06-30) 30 июня 1956 г. (возраст 64 года)[1]
Вена, Австрия
НациональностьАвстрийский и итальянский
Альма-матерВенский технологический университет
Награды
Научная карьера
Поля
Учреждения
ТезисMehrwertige Logik - Aufbau und Anwendung in der Informatik  (1981)
ДокторантКурт Кристиан[5]
Докторанты
Интернет сайтcs.ox.ac.Великобритания/люди/ georg.gottlob

Георг Готтлоб ФРС австрийский ученый-компьютерщик, работающий в области теория баз данных, логика, и искусственный интеллект и является профессором Информатика на Оксфордский университет.[4][6][7][8][9][10][11][12][13]

Образование

Готтлоб получил степень бакалавра и доктора компьютерных наук в Венский технологический университет в 1981 г.

Карьера и исследования

Готтлоб в настоящее время возглавляет профессор информатики в Оксфордский университет, факультет компьютерных наук, где он помог создать исследовательскую группу информационных систем. Он также является членом Колледж Святого Иоанна, Оксфорд. Ранее он был профессором информатики в Венский технологический университет, где он до сих пор занимает вспомогательную должность. Он был избран членом Королевское общество в мае 2010 г.[3] Он является одним из основателей Oxford-Man Institute.

Он опубликовал более 250 научных статей в областях вычислительная логика, теория баз данных, и искусственный интеллект, и один учебник по логическому программированию и базам данных.[14]

В районе искусственный интеллект, он наиболее известен своими влиятельными ранними работами по сложности немонотонных логик[15][16] и дальше (обобщенные) разложения гипердерева,[17][18] основу для получения послушных структурных классов удовлетворение ограничений проблемы и обобщение понятия разложение дерева от теория графов. Эта работа также оказала существенное влияние на теорию баз данных, поскольку известно, что проблема оценки конъюнктивные запросы на реляционные базы данных эквивалентно задаче удовлетворения ограничений.[19] Его недавняя работа над XML языки запросов (особенно XPath ) помог создать теоретические основы сложности в этой области.[20][21][22]

Награды и награды

Готтлоб получил множество наград и наград, включая избрание в Королевское общество в 2010 году. Его номинация на Королевское общество читает:

Георг Готтлоб внес фундаментальный вклад как в искусственный интеллект, так и в системы баз данных. Его исследования были сосредоточены на алгоритмических и логических аспектах представления знаний, запросов к базам данных и, в последнее время, на обработке веб-данных. Его работа привела к изобретению нескольких эффективных алгоритмов для удовлетворение ограничений, извлечение веб-данных и база данных обработка запросов, некоторые из которых сейчас широко используются. Он разработал общую основу для основных принципов искусственного интеллекта и баз данных. В своей работе по прояснению внутренней сложности проблем в этих областях Готтлоб решил открытые проблемы в вычислительная логика, немонотонное рассуждение и теория баз данных.[23]

Готтлоб также был назначен членом ECCAI. [1] в 2002 г. и получил почетные доктора от Клагенфуртский университет (2016) и Венский университет (2020).

использованная литература

  1. ^ "ГОТТЛОБ, проф. Георг". Who's Who 2014, A&C Black, отпечаток Bloomsbury Publishing plc, 2014; онлайн-издание, Oxford University Press.(требуется подписка)
  2. ^ "Стипендиаты ACM". Ассоциация компьютерной техники. 2009 г.. Получено 24 мая 2010.
  3. ^ а б «Новые стипендиаты Королевского общества на 2010 год». Оксфордский университет. 21 мая 2010. Архивировано с оригинал 27 мая 2010 г.. Получено 24 мая 2010.
  4. ^ а б Георг Готтлоб публикации, проиндексированные Google ученый
  5. ^ а б Георг Готтлоб на Проект "Математическая генеалогия"
  6. ^ Георг Готтлоб страница профиля автора на ACM Цифровая библиотека
  7. ^ Уинслетт, М. (2007). "Георг Готтлоб высказывается". Запись ACM SIGMOD. 36 (2): 27–33. Дои:10.1145/1328854.1328860. S2CID  20605617. Архивировано из оригинал (PDF) 11 июня 2011 г.
  8. ^ Публикации Георга Готтлоба индексируется Scopus библиографическая база данных. (требуется подписка)
  9. ^ Leone, N .; Pfeifer, G .; Faber, W .; Eiter, T .; Gottlob, G .; Perri, S .; Скарчелло, Ф. (2006). «Система DLV для представления знаний и рассуждений». Транзакции ACM по вычислительной логике. 7 (3): 499. arXiv:cs / 0211004. Дои:10.1145/1149114.1149117. S2CID  1189466.
  10. ^ Данцин, Э .; Eiter, T .; Готтлоб, Г.; Воронков, А. (2001). «Сложность и выразительность логического программирования». Опросы ACM Computing. 33 (3): 374. CiteSeerX  10.1.1.28.4997. Дои:10.1145/502807.502810. S2CID  518049.
  11. ^ Георг Готтлоб в DBLP Сервер библиографии Отредактируйте это в Викиданных
  12. ^ Eiter, T .; Gottlob, G .; Маннила, Х. (1997). «Дизъюнктивный журнал данных». Транзакции ACM в системах баз данных. 22 (3): 364. Дои:10.1145/261124.261126. S2CID  8755376.
  13. ^ Eiter, T .; Готтлоб, Г. (1995). «Сложность логического похищения». Журнал ACM. 42: 3–42. Дои:10.1145/200836.200838. S2CID  14167261.
  14. ^ Стефано Чери, Георг Готтлоб и Летиция Танка: логическое программирование и базы данных. Springer-Verlag, 1990. ISBN  9783642839542
  15. ^ Готтлоб, Г. (1992). «Результаты сложности для немонотонной логики». Журнал логики и вычислений. 2 (3): 397–425. Дои:10.1093 / logcom / 2.3.397.
  16. ^ Eiter, T .; Готтлоб, Г. (1992). «О сложности ревизии, обновлений и опровержений базы пропозициональных знаний». Материалы одиннадцатого симпозиума ACM SIGACT-SIGMOD-SIGART по принципам систем баз данных - PODS '92. п. 261. Дои:10.1145/137097.137886. ISBN  978-0897915199. S2CID  674242.
  17. ^ Eiter, T .; Готтлоб, Г. (1995). «Идентификация минимальных трансверсалей гиперграфа и связанные с этим задачи». SIAM Журнал по вычислениям. 24 (6): 1278. CiteSeerX  10.1.1.37.883. Дои:10.1137 / S0097539793250299.
  18. ^ Gottlob, G .; Leone, N .; Скарчелло, Ф. (2002). «Разложения гипердерева и управляемые запросы». Журнал компьютерных и системных наук. 64 (3): 579. arXiv:cs / 9812022. Дои:10.1006 / jcss.2001.1809. S2CID  121575202.
  19. ^ Колайтис, Phokion G .; Варди, Моше Ю. (2000). «Сдерживание конъюнктивного запроса и удовлетворение ограничений». Журнал компьютерных и системных наук. 61 (2): 302–332. Дои:10.1006 / jcss.2000.1713.
  20. ^ Furche, T .; Gottlob, G .; Grasso, G .; Schallhart, C .; Продавцы, А. (2012). «OXPath: язык для масштабируемого извлечения данных, автоматизации и сканирования в глубокой сети». Журнал VLDB. 22: 47–72. Дои:10.1007 / s00778-012-0286-6. S2CID  14542107.
  21. ^ Gottlob, G .; Koch, C .; Пихлер, Р. (2005). «Эффективные алгоритмы обработки запросов XPath». Транзакции ACM в системах баз данных. 30 (2): 444. CiteSeerX  10.1.1.18.9591. Дои:10.1145/1071610.1071614. S2CID  904373.
  22. ^ Gottlob, G .; Koch, C .; Pichler, R .; Сегуфин, Л. (2005). «Сложность оценки запросов XPath и типизации XML». Журнал ACM. 52 (2): 284. CiteSeerX  10.1.1.598.1938. Дои:10.1145/1059513.1059520. S2CID  6253858.
  23. ^ "EC / 2010/17: Gottlob, Georg. Библиотека и архивный каталог". Лондон: Королевское общество. Архивировано из оригинал 21 марта 2014 г.