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

Материал из Циклопедии
Перейти к навигации Перейти к поиску

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

англ. Georg Gottlob
Файл:Georg gottlob-official3.png


Дата рождения
30 июня 1956 года
Место рождения
Вена, Австрия








Сайт

cs.ox.ac.uk/people/georg.gottlob

Георг Готтлоб ([Нет даты!]) — австрийско-итальянский учёный в области информатики, специалист по теории баз данных, логике и искусственному интеллекту. Профессор информатики в Калабрийском университете, ранее — профессор Оксфордского университета[1][2][3][4][5][6]. Член Лондонского королевского общества (2010).

Биография[править]

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

В настоящее время Готтлоб является профессором Калабрийского университета в Италии, к которому он присоединился в 2023 году[7][8]. До этого он был профессором информатики на факультете информатики Оксфордского университета, где помог создать исследовательскую группу по информационным системам. Он также является членом Колледжа Святого Иоанна в Оксфорде. Ранее он был профессором информатики в Венском техническом университете, где до сих пор занимает должность адъюнкта. В мае 2010 года он был избран членом Лондонского королевского общества. Он является одним из основателей Оксфордского института Мана.

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

В области искусственного интеллекта он наиболее известен своими ранними работами по сложности немонотонных логик[10][11] и по (обобщённым) гипердревесным декомпозициям[12][13], структуре для получения разрешимых структурных классов задач удовлетворения ограничений и обобщению понятия древесной декомпозиции из теории графов. Эта работа также оказала влияние на теорию баз данных, поскольку известно, что проблема оценки конъюнктивных запросов в реляционных базах данных эквивалентна задаче удовлетворения ограничений[14]. Его работа над языками запросов XML (в частности, XPath) помогла создать теоретико-сложностные основы этой области[15][16][17].

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

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

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

Примечания[править]

  1. ↑ (2007) «Georg Gottlob speaks out». ACM SIGMOD Record 36 (2): 27–33. DOI:10.1145/1328854.1328860.
  2. ↑ Шаблон:Scopus
  3. ↑ (2006) «The DLV system for knowledge representation and reasoning». ACM Transactions on Computational Logic 7 (3): 499. DOI:10.1145/1149114.1149117.
  4. ↑ (2001) «Complexity and expressive power of logic programming». ACM Computing Surveys 33 (3): 374. DOI:10.1145/502807.502810.
  5. ↑ (1997) «Disjunctive datalog». ACM Transactions on Database Systems 22 (3): 364. DOI:10.1145/261124.261126.
  6. ↑ (1995) «The complexity of logic-based abduction». Journal of the ACM 42: 3–42. DOI:10.1145/200836.200838.
  7. ↑ L'esordio di Georg Gottlob all'Unical: "Équipe fantastica e grandi potenzialità"it-IT. Corriere della Calabria (2023-09-15). Проверено 25 августа 2026.
  8. ↑ Da Oxford alla Calabria: il re dell'AI sceglie l'Italiaen-US. La Voce di New York (2023-09-18). Проверено 25 августа 2026.
  9. ↑ Stefano Ceri, Georg Gottlob, and Letizia Tanca: Logic programming and databases. Springer-Verlag, 1990. ISBN 9783642839542
  10. ↑ (1992) «Complexity Results for Nonmonotonic Logics». Journal of Logic and Computation 2 (3): 397–425. DOI:10.1093/logcom/2.3.397.
  11. ↑ Eiter T., Gottlob G. On the complexity of propositional knowledge base revision, updates, and counterfactuals // Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems - PODS '92. — 1992. — P. 261. — ISBN 978-0897915199.
  12. ↑ (1995) «Identifying the Minimal Transversals of a Hypergraph and Related Problems». SIAM Journal on Computing 24 (6): 1278. DOI:10.1137/S0097539793250299.
  13. ↑ (2002) «Hypertree Decompositions and Tractable Queries». Journal of Computer and System Sciences 64 (3): 579. DOI:10.1006/jcss.2001.1809.
  14. ↑ (2000) «Conjunctive-Query Containment and Constraint Satisfaction». Journal of Computer and System Sciences 61 (2): 302–332. DOI:10.1006/jcss.2000.1713.
  15. ↑ (2012) «OXPath: A language for scalable data extraction, automation, and crawling on the deep web». The VLDB Journal 22: 47–72. DOI:10.1007/s00778-012-0286-6.
  16. ↑ (2005) «Efficient algorithms for processing XPath queries». ACM Transactions on Database Systems 30 (2): 444. DOI:10.1145/1071610.1071614.
  17. ↑ (2005) «The complexity of XPath query evaluation and XML typing». Journal of the ACM 52 (2): 284. DOI:10.1145/1059513.1059520.
Рувики

Одним из источников, использованных при создании данной статьи, является статья из википроекта «Рувики» («ruwiki.ru») под названием «Готтлоб, Георг», расположенная по адресу:

—https://ru.ruwiki.ru/wiki/Готтлоб,_Георг

Материал указанной статьи полностью или частично использован в Циклопедии по лицензии CC-BY-SA 4.0 и более поздних версий.

Всем участникам Рувики предлагается прочитать материал «Почему Циклопедия?».

Источник — http://cyclowiki.org/w/index.php?title=Готтлоб,_Георг&oldid=2730336