Georg Gottlob

Georg Gottlob (né le à Vienne) est un informaticien autrichien. Il travaille principalement dans les domaines de la théorie des bases de données, de la logique et de l'intelligence artificielle. Il est professeur à l'université d'Oxford.

Georg Gottlob
Biographie
Naissance
Nationalité
Domicile
Formation
Activités
Autres informations
A travaillé pour
Membre de
Maître
Curt Christian (d)
Site web
Distinctions
Liste détaillée
Bourse Wolfson
Prix Cardinal-Innitzer (d)
Wittgenstein-Prize ()
ACM Fellow ()
Médaille Lovelace ()

Biographie

Georg Gottlob effectue des études en informatique à l'Université technique de Vienne et obtient son doctorat en 1981[1] sous la direction de Curt Christian avec une thèse intitulée Mehrwertige Logik - Aufbau und Anwendung in der Informatik. Depuis 1988, il est professeur d'informatique à l'Université technique de Vienne, où il occupe toujours un poste d'enseignant en tant que professeur adjoint. En 2006, il est nommé professeur à Oxford. Il est membre du St Anne's College. Il cofonde le Information Systems Research Group au sein du laboratoire d'informatique de l'Université d'Oxford.

Recherche

Gottlob a publié plus de 200 articles scientifiques, ainsi qu'un manuel sur la programmation logique et les bases de données[2]

Dans le domaine de l'intelligence artificielle, il est surtout connu pour ses premiers travaux influents sur la complexité des logiques non monotones[3],[4] et sur la décomposition généralisée en hyper-arbres[5],[6] un cadre pour obtenir des classes structurelles tractables de problèmes satisfaction de contraintes, et une généralisation de la notion de décomposition en arbre en théorie des graphes.

Ces travaux ont également eu un impact important dans la théorie des bases de données, puisque l'évaluation de requêtes conjonctives dans les bases de données relationnelles est équivalent au problème de la satisfaction des contraintes[7] Ses travaux sur XML (notamment XPath) ont contribué aux études de complexité dans ce domaine[8],[9],[10].

Récompenses et distinctions

Adhésions et distinctions académiques
Prix

Références

  1. (en) « Georg Gottlob », sur le site du Mathematics Genealogy Project
  2. Stefano Ceri, Georg Gottlob et Letizia Tanca, Logic programming and databases, Springer-Verlag, coll. « Surveys in Computer Science », , xiii, + 284 (ISBN 978-3-642-83954-2 et 978-3-642-83952-8).
  3. G. Gottlob, « Complexity Results for Nonmonotonic Logics », Journal of Logic and Computation, vol. 2, no 3, , p. 397–425 (DOI 10.1093/logcom/2.3.397)
  4. T. Eiter et G. Gottlob, « 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, , p. 261–273 (ISBN 978-0897915199, DOI 10.1145/137097.137886, S2CID 674242)
  5. T. Eiter et G. Gottlob, « Identifying the Minimal Transversals of a Hypergraph and Related Problems », SIAM Journal on Computing, vol. 24, no 6, , p. 1278 (DOI 10.1137/S0097539793250299, CiteSeerx 10.1.1.37.883)
  6. G. Gottlob, N. Leone et F. Scarcello, « Hypertree Decompositions and Tractable Queries », Journal of Computer and System Sciences, vol. 64, no 3, , p. 579 (DOI 10.1006/jcss.2001.1809, arXiv cs/9812022, S2CID 121575202)
  7. Phokion G. Kolaitis et Moshe Y. Vardi, « Conjunctive-Query Containment and Constraint Satisfaction », Journal of Computer and System Sciences, vol. 61, no 2, , p. 302–332 (DOI 10.1006/jcss.2000.1713)
  8. T. Furche, G. Gottlob, G. Grasso, C. Schallhart et A. Sellers, « OXPath: A language for scalable data extraction, automation, and crawling on the deep web », The VLDB Journal, vol. 22, , p. 47–72 (DOI 10.1007/s00778-012-0286-6, S2CID 14542107)
  9. G. Gottlob, C. Koch et R. Pichler, « Efficient algorithms for processing XPath queries », ACM Transactions on Database Systems, vol. 30, no 2, , p. 444 (DOI 10.1145/1071610.1071614, S2CID 904373, CiteSeerx 10.1.1.18.9591)
  10. Georg Gottlob, Christoph Koch, Reinhard Pichler et Luc Segoufin, « The complexity of XPath query evaluation and XML typing », Journal of the ACM, vol. 52, no 2, , p. 284–335 (ISSN 0004-5411, DOI 10.1145/1059513.1059520).
  11. science.orf.at: Informatiker Gottlob: Fellow der Royal Society (21 mai 2010)

Liens externes

  • Portail de l’informatique
  • Portail de l'informatique théorique
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.