University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Georg Gottlob

Personal photo - Georg Gottlob
Professor Georg Gottlob FRS
Professor of Informatics
georg.gottlob@cs.ox.ac.uk
+44 1865 283504
+44 1865 273839 (fax)

Room 358, Wolfson Building, Parks Road, Oxford OX1 3QD

Interests

Algorithms and complexity of problems in the following areas: Graph and hypergraph based  computations and problem decomposition methods, database theory and query languages, semi-structured data processing, constraint satisfaction problems, games and auctions, knowledge representation and reasoning, artificial intelligence, logic programming, finite model theory, computational logic. I am also interested in both theoretical and practical aspects of web data extraction.

Biography

I am a Professor of Informatics at Oxford University and a Fellow of St John's College

I moved to Oxford from TU Vienna, Austria, in 2006, where I used to work since 1988 as a Professor of Computer Science. I currently still hold an Adjunct Professor position in Vienna, and you may look at my Vienna home page for additional information. From 2006 to 2011 I held the Chair of Computing Science at Oxford University. I then moved to the Chair of Informatics at Oxford, which I have been holding since January 2012. I am a Professorial Fellow of St John's College.

I have been helping to build up the Information Systems Group at the Department of Computer Science, University of Oxford. I am now also helping to set up a strong Algorithms group. My current research deals with algorithms and complexity issues related to graphs and hypergraphs, database query languages, and with problem decomposition methods that can be used for recognizing large classes of tractable instances of hard problems. The latter methods have applications in query optimization, in constraint satisfaction, and in game theory and electronic commerce (e.g. winner determination in combinatorial auctions). I am a founding member of the recently established Oxford-Man Institute of Quantitative Finance

Links

See my personal Web pages for more information.

Recent News

Publications

Seven Papers at CSL/LICS-2014

The 23rd EACSL Annual Conference on Computer Science Logic & the 29th Annual ACM/IEEE Symposium on Logic in Computer Science

More Details...

Selected Publications

View all

Manage publications

Stable Model Semantics for Guarded Existential Rules and Description Logics

Georg Gottlob‚ André Hernich‚ Clemens Kupke and Thomas Lukasiewicz

In Chitta Baral and Giuseppe De Giacomo, editors, Proceedings of the 14th International Conference on the Principles of Knowledge Representation and Reasoning‚ KR 2014‚ Vienna‚ Austria‚ July 20−24‚ 2014. AAAI Press. 2014.

Accepted for publication.

Query Answering under Probabilistic Uncertainty in Datalog+⁄− Ontologies

Georg Gottlob‚ Thomas Lukasiewicz‚ Maria Vanina Martinez and Gerardo I. Simari

In Annals of Mathematics and Artificial Intelligence. Vol. 69. No. 1. Pages 37−72. September, 2013.

Semantic Web Search and Inductive Reasoning

Claudia d'Amato‚ Nicola Fanizzi‚ Bettina Fazzinga‚ Georg Gottlob and Thomas Lukasiewicz

In Fernando Bobillo‚ Paulo Cesar G. da Costa‚ Claudia d'Amato‚ Nicola Fanizzi‚ Kathryn B. Laskey‚ Kenneth J. Laskey‚ Thomas Lukasiewicz‚ Matthias Nickles and Michael Pool, editors, Uncertainty Reasoning for the Semantic Web II‚ International Workshops URSW 2008−2010‚ Held at ISWC‚ and UniDL 2010‚ Held at FLoC‚ Revised Selected Papers. Vol. 7123 of Lecture Notes in Computer Science. Pages 237−261. Springer. 2013.

Info

Themes

Activities

Projects

Completed Projects

Current Students

Past Students

Personal photo - Bruno Marnette
Bruno Marnette
Personal photo - Andrew Sellers
Andrew Sellers
Personal photo - Evgenij Thorstensen
Evgenij Thorstensen