Georg Gottlob
Professor Georg Gottlob FRS
Room
358,
Wolfson Building,
Parks Road, Oxford OX1 3QD
United Kingdom
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.
Selected Publications
-
Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity
Georg Gottlob‚ André Hernich‚ Clemens Kupke and Thomas Lukasiewicz
In Journal of the ACM. Vol. 68. No. 5. Pages 35:1–87. October, 2021.
Details about Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity | BibTeX data for Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity | Link to Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity
-
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. Pages 258−267. AAAI Press. July, 2014.
Details about Stable Model Semantics for Guarded Existential Rules and Description Logics | BibTeX data for Stable Model Semantics for Guarded Existential Rules and Description Logics | Link to Stable Model Semantics for Guarded Existential Rules and Description Logics
-
Expressive Languages for Querying the Semantic Web
Marcelo Arenas‚ Georg Gottlob and Andreas Pieris
In Georg Gottlob and Jorge Pérez, editors, Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management‚ Cartagena de Indias‚ Colombia‚ June 4−6‚ 2014. Vol. 1189 of CEUR Workshop Proceedings. CEUR−WS.org. 2014.
Details about Expressive Languages for Querying the Semantic Web | BibTeX data for Expressive Languages for Querying the Semantic Web | Link to Expressive Languages for Querying the Semantic Web
Activities
Completed Projects
- Schema Mappings and Automated Services for Data Integration and Exchange
- Wolfson Award
- Constraint Satisfaction for Configuration: Logical Fundamentals, Algorithms, and Complexity
- FOX
- DIADEM
- ExODA
- PrOQAW
- DBOnto
- VADA
- ExtraLytics
- RealPDBs