Георг Готтлоб

Георг Готтлоб
Георг Готтлоб
Рожденный	30 июня 1956 г. (67 лет) ; Вена , Австрия
Национальность	Австрийский и итальянский
Альма-матер	Венский технологический университет
Награды	Премия Витгенштейна (1998) ; Премия Королевского общества Вольфсона за заслуги в области исследований (2006 г.) ; ФАКМ (2007) ; ЕСТЬ ; МААС ; Член Леопольдины ; ФРС (2010 г.) ; Высоко цитируемый исследователь ISI ;
	Научная карьера
Поля	Алгоритмы в искусственном интеллекте и информационных системах ; Базы данных ; Теория баз данных ; Теория сложности вычислений ; Логика в информатике ;
Учреждения	Оксфордский университет ; Колледж Святого Иоанна, Оксфорд ; Оксфордский институт человека ; Венский технологический университет ;
Диссертация	Многозначная логика - структура и применение в информатике (1981)
Докторантура	Курт Кристиан
Докторанты	Стефан Зейдер ; Хельмут Фейт ;
Веб-сайт	CS .ox .и .uk /люди /Георг .слава богу

Георг Готтлоб FRS — австрийско-итальянский ученый-компьютерщик, работающий в области теории баз данных , логики и искусственного интеллекта , профессор информатики в Университете Калабрии . Он был профессором Оксфордского университета . ^[3]^[6]^[7]^[8]^[9]^[10]^[11]^[12]^[13]

Образование [ править ]

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

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

Готтлоб в настоящее время является профессором в Университете Калабрии в Италии, куда он поступил в 2023 году из-за «фантастического оборудования и большого потенциала». ^[14] что, по его мнению, есть в этом университете. ^[15] Он был профессором информатики на факультете компьютерных наук Оксфордского университета , где помог создать исследовательскую группу информационных систем. Он также является членом Колледжа Святого Иоанна в Оксфорде . Ранее он был профессором информатики в Венском технологическом университете , где до сих пор занимает должность адъюнкта. В мае 2010 года он был избран членом Королевского общества . ^[2] Он является одним из основателей Оксфордского института человека .

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

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

Награды и почести [ править ]

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

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

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

Ссылки [ править ]

^ «Стипендиаты ACM» . Ассоциация вычислительной техники. 2009 . Проверено 24 мая 2010 г.
^ Jump up to: Перейти обратно: ^а ^б «Новые стипендиаты Королевского общества на 2010 год» . Оксфордский университет. 21 мая 2010 года. Архивировано из оригинала 27 мая 2010 года . Проверено 24 мая 2010 г.
^ Jump up to: Перейти обратно: ^а ^б Публикации Георга Готтлоба , проиндексированные Google Scholar
^ Jump up to: Перейти обратно: ^а ^б Георг Готтлоб в проекте «Математическая генеалогия»
^ «ГОТТЛОБ, профессор Георг» . Who's Who 2014, A&C Black, издательство Bloomsbury Publishing plc, 2014; онлайн-издание, Oxford University Press . (требуется подписка)
^ Георга Готтлоба Страница профиля автора ACM. в цифровой библиотеке
^ Уинслетт, М. (2007). «Георг Готтлоб высказывается» . Запись ACM SIGMOD . 36 (2): 27–33. дои : 10.1145/1328854.1328860 . S2CID 20605617 . Архивировано из оригинала (PDF) 11 июня 2011 года.
^ Публикации Георга Готтлоба , индексируемые библиографической базой данных Scopus . (требуется подписка)
^ Леоне, Н.; Пфайфер, Г.; Фабер, В.; Эйтер, Т.; Готтлоб, Г.; Перри, С.; Скарчелло, Ф. (2006). «Система DLV для представления и рассуждения знаний». Транзакции ACM в вычислительной логике . 7 (3): 499. arXiv : cs/0211004 . дои : 10.1145/1149114.1149117 . S2CID 1189466 .
^ Даньцин, Э.; Эйтер, Т.; Готтлоб, Г. ; Воронков, А. (2001). «Сложность и выразительная сила логического программирования». Обзоры вычислительной техники ACM . 33 (3): 374. CiteSeerX 10.1.1.28.4997 . дои : 10.1145/502807.502810 . S2CID 518049 .
^ Георг Готтлоб на DBLP библиографическом сервере
^ Эйтер, Т.; Готтлоб, Г.; Маннила, Х. (1997). «Дизъюнктивный журнал данных» . Транзакции ACM в системах баз данных . 22 (3): 364. дои : 10.1145/261124.261126 . S2CID 8755376 .
^ Эйтер, Т.; Готтлоб, Г. (1995). «Сложность похищения, основанного на логике» . Журнал АКМ . 42 : 3–42. дои : 10.1145/200836.200838 . S2CID 14167261 .
^ «Дебют Георга Готтлоба в Unical: «Фантастическая команда и большой потенциал» » . Corriere della Calabria (на итальянском языке). 15 сентября 2023 г. Проверено 20 сентября 2023 г.
^ «От Оксфорда до Калабрии: король ИИ выбирает Италию» . Голос Нью-Йорка . 18 сентября 2023 г. Проверено 20 сентября 2023 г.
^ Стефано Чери, Георг Готтлоб и Летиция Танка: Логическое программирование и базы данных. Спрингер-Верлаг, 1990. ISBN 9783642839542
^ Готтлоб, Г. (1992). «Результаты по сложности немонотонной логики». Журнал логики и вычислений . 2 (3): 397–425. дои : 10.1093/logcom/2.3.397 .
^ Эйтер, Т.; Готтлоб, Г. (1992). «О сложности пересмотра, обновлений и контрфактов базы знаний». Материалы одиннадцатого симпозиума ACM SIGACT-SIGMOD-SIGART по принципам систем баз данных - PODS '92 . п. 261. дои : 10.1145/137097.137886 . ISBN 978-0897915199 . S2CID 674242 .
^ Эйтер, Т.; Готтлоб, Г. (1995). «Определение минимальных трансверсалей гиперграфа и связанные с этим проблемы». SIAM Journal по вычислительной технике . 24 (6): 1278. CiteSeerX 10.1.1.37.883 . дои : 10.1137/S0097539793250299 .
^ Готтлоб, Г.; Леоне, Н.; Скарчелло, Ф. (2002). «Разложение гипердерева и разрешимые запросы». Журнал компьютерных и системных наук . 64 (3): 579. arXiv : cs/9812022 . дои : 10.1006/jcss.2001.1809 . S2CID 121575202 .
^ Колайтис, Фокион Г.; Варди, Моше Ю. (2000). «Сдерживание конъюнктивного запроса и удовлетворение ограничений» . Журнал компьютерных и системных наук . 61 (2): 302–332. дои : 10.1006/jcss.2000.1713 .
^ Фурче, Т.; Готтлоб, Г.; Грассо, Г.; Шаллхарт, К.; Селлерс, А. (2012). «OXPath: язык для масштабируемого извлечения данных, автоматизации и сканирования глубокой сети». Журнал ВЛДБ . 22 : 47–72. дои : 10.1007/s00778-012-0286-6 . S2CID 14542107 .
^ Готтлоб, Г.; Кох, К.; Пихлер, Р. (2005). «Эффективные алгоритмы обработки XPath-запросов». Транзакции ACM в системах баз данных . 30 (2): 444. CiteSeerX 10.1.1.18.9591 . дои : 10.1145/1071610.1071614 . S2CID 904373 .
^ Готтлоб, Г.; Кох, К.; Пихлер, Р.; Сегуфин, Л. (2005). «Сложность оценки запросов XPath и типизации XML». Журнал АКМ . 52 (2): 284. CiteSeerX 10.1.1.598.1938 . дои : 10.1145/1059513.1059520 . S2CID 6253858 .
^ «EC/2010/17: Готтлоб, Георг. Каталог библиотек и архивов» . Лондон: Королевское общество. Архивировано из оригинала 10 июля 2019 года.

[1] «Стипендиаты ACM» . Ассоциация вычислительной техники. 2009 . Проверено 24 мая 2010 г.

[Royal_Society_Fellow-2] Jump up to: Перейти обратно: ^а ^б «Новые стипендиаты Королевского общества на 2010 год» . Оксфордский университет. 21 мая 2010 года. Архивировано из оригинала 27 мая 2010 года . Проверено 24 мая 2010 г.

[googlescholar-3] Jump up to: Перейти обратно: ^а ^б Публикации Георга Готтлоба , проиндексированные Google Scholar

[mathgene-4] Jump up to: Перейти обратно: ^а ^б Георг Готтлоб в проекте «Математическая генеалогия»

[whoswho-5] «ГОТТЛОБ, профессор Георг» . Who's Who 2014, A&C Black, издательство Bloomsbury Publishing plc, 2014; онлайн-издание, Oxford University Press . (требуется подписка)

[acm-6] Георга Готтлоба Страница профиля автора ACM. в цифровой библиотеке

[sigmod-7] Уинслетт, М. (2007). «Георг Готтлоб высказывается» . Запись ACM SIGMOD . 36 (2): 27–33. дои : 10.1145/1328854.1328860 . S2CID 20605617 . Архивировано из оригинала (PDF) 11 июня 2011 года.

[scopus-8] Публикации Георга Готтлоба , индексируемые библиографической базой данных Scopus . (требуется подписка)

[9] Леоне, Н.; Пфайфер, Г.; Фабер, В.; Эйтер, Т.; Готтлоб, Г.; Перри, С.; Скарчелло, Ф. (2006). «Система DLV для представления и рассуждения знаний». Транзакции ACM в вычислительной логике . 7 (3): 499. arXiv : cs/0211004 . дои : 10.1145/1149114.1149117 . S2CID 1189466 .

[10] Даньцин, Э.; Эйтер, Т.; Готтлоб, Г. ; Воронков, А. (2001). «Сложность и выразительная сила логического программирования». Обзоры вычислительной техники ACM . 33 (3): 374. CiteSeerX 10.1.1.28.4997 . дои : 10.1145/502807.502810 . S2CID 518049 .

[dblp-11] Георг Готтлоб на DBLP библиографическом сервере

[12] Эйтер, Т.; Готтлоб, Г.; Маннила, Х. (1997). «Дизъюнктивный журнал данных» . Транзакции ACM в системах баз данных . 22 (3): 364. дои : 10.1145/261124.261126 . S2CID 8755376 .

[13] Эйтер, Т.; Готтлоб, Г. (1995). «Сложность похищения, основанного на логике» . Журнал АКМ . 42 : 3–42. дои : 10.1145/200836.200838 . S2CID 14167261 .

[14] «Дебют Георга Готтлоба в Unical: «Фантастическая команда и большой потенциал» » . Corriere della Calabria (на итальянском языке). 15 сентября 2023 г. Проверено 20 сентября 2023 г.

[15] «От Оксфорда до Калабрии: король ИИ выбирает Италию» . Голос Нью-Йорка . 18 сентября 2023 г. Проверено 20 сентября 2023 г.

[16] Стефано Чери, Георг Готтлоб и Летиция Танка: Логическое программирование и базы данных. Спрингер-Верлаг, 1990. ISBN 9783642839542

[17] Готтлоб, Г. (1992). «Результаты по сложности немонотонной логики». Журнал логики и вычислений . 2 (3): 397–425. дои : 10.1093/logcom/2.3.397 .

[18] Эйтер, Т.; Готтлоб, Г. (1992). «О сложности пересмотра, обновлений и контрфактов базы знаний». Материалы одиннадцатого симпозиума ACM SIGACT-SIGMOD-SIGART по принципам систем баз данных - PODS '92 . п. 261. дои : 10.1145/137097.137886 . ISBN 978-0897915199 . S2CID 674242 .

[19] Эйтер, Т.; Готтлоб, Г. (1995). «Определение минимальных трансверсалей гиперграфа и связанные с этим проблемы». SIAM Journal по вычислительной технике . 24 (6): 1278. CiteSeerX 10.1.1.37.883 . дои : 10.1137/S0097539793250299 .

[20] Готтлоб, Г.; Леоне, Н.; Скарчелло, Ф. (2002). «Разложение гипердерева и разрешимые запросы». Журнал компьютерных и системных наук . 64 (3): 579. arXiv : cs/9812022 . дои : 10.1006/jcss.2001.1809 . S2CID 121575202 .

[21] Колайтис, Фокион Г.; Варди, Моше Ю. (2000). «Сдерживание конъюнктивного запроса и удовлетворение ограничений» . Журнал компьютерных и системных наук . 61 (2): 302–332. дои : 10.1006/jcss.2000.1713 .

[22] Фурче, Т.; Готтлоб, Г.; Грассо, Г.; Шаллхарт, К.; Селлерс, А. (2012). «OXPath: язык для масштабируемого извлечения данных, автоматизации и сканирования глубокой сети». Журнал ВЛДБ . 22 : 47–72. дои : 10.1007/s00778-012-0286-6 . S2CID 14542107 .

[23] Готтлоб, Г.; Кох, К.; Пихлер, Р. (2005). «Эффективные алгоритмы обработки XPath-запросов». Транзакции ACM в системах баз данных . 30 (2): 444. CiteSeerX 10.1.1.18.9591 . дои : 10.1145/1071610.1071614 . S2CID 904373 .

[24] Готтлоб, Г.; Кох, К.; Пихлер, Р.; Сегуфин, Л. (2005). «Сложность оценки запросов XPath и типизации XML». Журнал АКМ . 52 (2): 284. CiteSeerX 10.1.1.598.1938 . дои : 10.1145/1059513.1059520 . S2CID 6253858 .

[royal-25] «EC/2010/17: Готтлоб, Георг. Каталог библиотек и архивов» . Лондон: Королевское общество. Архивировано из оригинала 10 июля 2019 года.

[5]

[1]

[2]

[3]

[4]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

v т и Члены Королевского общества, избранные в 2010 году.
Fellows	Gabriel Aeppli Ian Affleck Paul Brakefield Andrea Brand Eleanor Campbell Philip Candelas Peter Cawley Nicola Susan Clayton John William Connor Russell Cowburn Gideon Davies Donald Dawson Raymond Dolan Hugh Durrant-Whyte Lyndon Evans Richard Evershed Georg Gottlob Ben Green Robert Griffiths Roger Hardie Michael Hastings Andrew Hattersley Craig Hawker Ron Hay Ian Hickson Peter Horton Jeremy Hutson Victoria Kaspi Lewis Kay Ondrej Krivanek Angus Lamond Alan Lehmann Malcolm McCulloch Robin Murray Robin Perutz Max Pettini Thomas Platts-Mills Wolf Reik Loren Rieseberg Peter Rigby Ezio Rizzardo Elizabeth Simpson Alan Smith Eric Wolff
Honorary	Melvyn Bragg
Foreign	Pascale Cossart Carl Djerassi Ludvig Faddeev Edmond H. Fischer Michael Goodchild John B. Goodenough Detlef Weigel Kurt Wüthrich

Базы данных авторитетного контроля
International	ISNI VIAF WorldCat
National	Norway France BnF data Germany Israel United States Latvia Czech Republic Netherlands
Academics	Association for Computing Machinery CiNii DBLP Google Scholar Leopoldina MathSciNet Mathematics Genealogy Project ORCID Scopus zbMATH
Other	IdRef

Образование [ править ]

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

Награды и почести [ править ]

Ссылки [ править ]

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