Georg Gottlob
Em.O.Univ.Prof. Dipl.-Ing. Dr.techn.
Research Focus
- Information Systems Engineering: 20%
- Logic and Computation: 80%
Research Areas
- Database Theory, Complexity in Artificial Intelligence and logic programming, Semistructured Data, XML, Data Extraction and Integration, Complexity Theory, Finite Model Theory and Descriptive Complexity, Problem decomposition techniques based on graphs and hypergraphs, Computational Logic, Knowledge Representation and Reasoning, Constraint Satisfaction Problems
About
Basic Research in Computer Science, in particular "Database Theory and Knowledge Representation"; applied Research on Web data extraction
Role
-
Emerit. Professor
Databases and Artificial Intelligence, E192-02
Courses
2024W
- Bachelor Thesis / 184.691 / PR
- Doctoral & Master Students Seminar / 181.223 / SE
- Generative AI / 194.154 / VU
- Project in Computer Science 1 / 192.021 / PR
- Project in Computer Science 2 / 192.022 / PR
- Research and Career Planning for Doctoral Students / 184.778 / VU
- Research Seminar LogiCS / 184.767 / SE
2025S
- Project in Computer Science 1 / 192.021 / PR
- Project in Computer Science 2 / 192.022 / PR
- Research and Career Planning for Doctoral Students / 184.778 / VU
Projects
-
Heuristic Intelligence
2013 – 2016 / Austrian Research Promotion Agency (FFG) -
Large-Scale Probabilistic Information Integration from Web Tables
2007 – 2009 / Austrian Research Promotion Agency (FFG)
Publication: 51836 -
Query Induction for Visual Web Data Extraction
2005 – 2008 / Austrian Science Fund (FWF)
Publication: 51357 -
Complementary Approaches to Constraint Satisfaction
2004 – 2006 / Austrian Science Fund (FWF)
Publications: 169638 / 50997 / 51013 / 51014 / 51046 / 51362 / 51669 / 51799 / 51823 -
CoLogNet - Network of Excellence in Computational Logic
2002 – 2008 / European Commission -
Games and Automata for Synthesis and Validation
2002 – 2007 / European Commission
Publication: 51038
Publications
2024
-
Fuzzy Datalog∃ over Arbitrary t-Norms
/
Lanzinger, M., Sferrazza, S., Wałęga, P., & Gottlob, G. (2024). Fuzzy Datalog∃ over Arbitrary t-Norms. In N. Bjørner, M. Heule, & A. Voronkov (Eds.), Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning (pp. 426–444). https://doi.org/10.29007/cngw
Projects: DeConquer (2023–2027) / KnowledgeGraph (2020–2028) / SustainGraph (2023–2025) -
Fast parallel hypertree decompositions in logarithmic recursion depth
/
Gottlob, G., Lanzinger, M., Okulmus, C., & Pichler, R. (2024). Fast parallel hypertree decompositions in logarithmic recursion depth. ACM Transactions on Database Systems, 49(1), 1–43. https://doi.org/10.1145/3638758
Download: OA PDF (1.11 MB)
Projects: DeConquer (2023–2027) / HyperTrac (2018–2022) / KnowledgeGraph (2020–2028) / SustainGraph (2023–2025)
2023
-
Fractional covers of hypergraphs with bounded multi-intersection
/
Gottlob, G., Lanzinger, M., Pichler, R., & Razgon, I. (2023). Fractional covers of hypergraphs with bounded multi-intersection. Theoretical Computer Science, 979, Article 114204. https://doi.org/10.1016/j.tcs.2023.114204
Download: Paper (460 KB)
Projects: DeConquer (2023–2027) / HyperTrac (2018–2022) -
SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog
/
Angles, R., Gottlob, G., Pavlović, A., Pichler, R., & Sallinger, E. (2023). SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog. Proceedings of the VLDB Endowment, 16(13), 4240–4253. https://doi.org/10.14778/3625054.3625061
Download: PDF (837 KB)
Projects: KnowledgeGraph (2020–2028) / SustainGraph (2023–2025)
2022
-
Fast and parallel decomposition of constraint satisfaction problems
/
Gottlob, G., Okulmus, C., & Pichler, R. (2022). Fast and parallel decomposition of constraint satisfaction problems. Constraints, 27, 284–326. https://doi.org/10.1007/s10601-022-09332-1
Project: HyperTrac (2018–2022) -
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations
/
Lanzinger, M., Sferrazza, S., & Gottlob, G. (2022). MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations. Theory and Practice of Logic Programming, 22(5), 678–692. https://doi.org/10.1017/S1471068422000199
Project: HyperTrac (2018–2022) -
Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth
/
Gottlob, G., Lanzinger, M., Okulmus, C., & Pichler, R. (2022). Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth. In Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (pp. 325–336). Association for Computing Machinery. https://doi.org/10.1145/3517804.3524153
Project: HyperTrac (2018–2022) - Democratizing Financial Knowledge Graph Construction by Mining Massive Brokerage Research Reports / Cheng, Z., Wu, L., Thomas Lukasiewicz, Emanuel Sallinger, & Georg Gottlob. (2022). Democratizing Financial Knowledge Graph Construction by Mining Massive Brokerage Research Reports. In M. Ramanath & T. Palpanas (Eds.), Proceedings of the Workshops of the EDBT/ICDT 2022 Joint Conference. http://hdl.handle.net/20.500.12708/192765
-
New Perspectives for Fuzzy Datalog (Extended Abstract)
/
Lanzinger, M., Sferrazza, S., & Gottlob, G. (2022). New Perspectives for Fuzzy Datalog (Extended Abstract). In Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR} 2022) (pp. 42–47). http://hdl.handle.net/20.500.12708/175762
Download: PDF (1.17 MB)
Project: HyperTrac (2018–2022)
2021
-
Distributed Company Control in Company Shareholding Graphs
/
Gulino, A., Ceri, S., Gottlob, G., Sallinger, E., & Bellomarini, L. (2021). Distributed Company Control in Company Shareholding Graphs. In 2021 IEEE 37th International Conference on Data Engineering (ICDE). ICDE 2021 - 37th {IEEE} International Conference on Data Engineering, Chania, Greece. https://doi.org/10.1109/icde51399.2021.00294
Project: KnowledgeGraph (2020–2028) -
Fast and Parallel Decomposition of Constraint Satisfaction Problems
/
Gottlob, G., Okulmus, C., & Pichler, R. (2021). Fast and Parallel Decomposition of Constraint Satisfaction Problems. In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. IJCAI 2020, Yokohama, Japan. https://doi.org/10.24963/ijcai.2020/161
Project: HyperTrac (2018–2022) -
Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems
/
Chen, H., Gottlob, G., Lanzinger, M., & Pichler, R. (2021). Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems. In Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence. IJCAI 2020, Yokohama, Japan. https://doi.org/10.24963/ijcai.2020/239
Project: HyperTrac (2018–2022) -
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings
/
Fischl, W., Gottlob, G., Longo, D. M., & Pichler, R. (2021). HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings. ACM Journal on Experimental Algorithmics, 26, 1–40. https://doi.org/10.1145/3440015
Project: HyperTrac (2018–2022)
2020
-
An Evolutionary Algorithm for Rule Learning over Knowledge Graphs
/
Wu, L., Sallinger, E., Sherkhonov, E., Vahdati, S., & Gottlob, G. (2020). An Evolutionary Algorithm for Rule Learning over Knowledge Graphs. In Proceedings of the International Workshop on Knowledge Representation and Representation Learning co-located with the 24th European Conference on Artificial Intelligence {(ECAI} 2020), Virtual Event, September, 2020 (pp. 52–59). http://hdl.handle.net/20.500.12708/58744
Project: KnowledgeGraph (2020–2028) - Fractional Covers of Hypergraphs with BoundedMulti-Intersection / Gottlob, G., Lanzinger, M., Pichler, R., & Razgon, I. (2020). Fractional Covers of Hypergraphs with BoundedMulti-Intersection. In 45th International Symposium on Mathematical Foundations of Computer Science August 24-28, 2020, Prague (Czech Republic) (pp. 1–14). https://doi.org/10.4230/LIPIcs.MFCS.2020.41
- Complexity Analysis of General and Fractional Hypertree Decompositions / Gottlob, G., Lanzinger, M., Pichler, R., & Razgon, I. (2020). Complexity Analysis of General and Fractional Hypertree Decompositions (p. 54). arXiv. https://doi.org/10.48550/arXiv.2002.05239
-
The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions
/
Gottlob, G., Lanzinger, M., Longo, D. M., Okulmus, C., & Pichler, R. (2020). The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions. In Integration of Constraint Programming, Artificial Intelligence, and Operations Research (pp. 3–21). Springer. https://doi.org/10.1007/978-3-030-58942-4_1
Project: HyperTrac (2018–2022)
2019
- VADA: an architecture for end user informed data preparation / Konstantinou, N., Abel, E., Bellomarini, L., Bogatu, A. T., Civili, C., Irfanie, E., Köhler, M., Lacramioara, M., Sallinger, E., Fernandes, A. A. A., Gottlob, G., Keane, J. A., & Paton, N. W. (2019). VADA: an architecture for end user informed data preparation. Journal Of Big Data, 6(74). https://doi.org/10.1186/s40537-019-0237-9
- Vadalog: Recent Advances and Applications / Gottlob, G., Sallinger, E., & Pieris, A. (2019). Vadalog: Recent Advances and Applications. In Logics in Artificial Intelligence 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings. JELIA 2019 - 16th Edition of the European Conference on Logics in Artificial Intelligence, Rende, Kalbrien, Italy. Springer. https://doi.org/10.1007/978-3-030-19570-0_2
-
Parallel Computation of Generalized Hypertree Decompositions
/
Gottlob, G., Pichler, R., & Okulmus, C. (2019). Parallel Computation of Generalized Hypertree Decompositions. In Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{’{o}}n, Paraguay, June 3-7, 2019 (pp. 1–5). CEUR-WS.org. http://hdl.handle.net/20.500.12708/57860
Project: HyperTrac (2018–2022) -
HyperBench: {A} Benchmark and Tool for Hypergraphs and Empirical Findings
/
Fischl, W., Gottlob, G., Longo, D. M., & Pichler, R. (2019). HyperBench: {A} Benchmark and Tool for Hypergraphs and Empirical Findings. In Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{’{o}}n, Paraguay, June 3-7, 2019.}, (pp. 1–5). CEUR-WS.org. http://hdl.handle.net/20.500.12708/55517
Project: HyperTrac (2018–2022) -
Semantic Width Revisited (Extended Abstract)
/
Gottlob, G., Lanzinger, M., & Pichler, R. (2019). Semantic Width Revisited (Extended Abstract). In Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, Asunci{’{o}}n, Paraguay, June 3-7, 2019 (pp. 1–5). CEUR-WS.org. http://hdl.handle.net/20.500.12708/55515
Project: HyperTrac (2018–2022) - The Space-Efficient Core of Vadalog / Berger, G., Gottlob, G., Pieris, A., & Sallinger, E. (2019). The Space-Efficient Core of Vadalog. In Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS ’19. SIGMOD/PODS 2019 - 38th Symposium on Principles of Database Systems 2019, Amsterdam, Netherlands (the). https://doi.org/10.1145/3294052.3319688
- Datalog: Bag Semantics via Set Semantics / Bertossi, L., Gottlob, G., & Pichler, R. (2019). Datalog: Bag Semantics via Set Semantics. In P. Barcelo & M. Calutti (Eds.), 22nd International Conference on Database Theory, {ICDT} 2019 (pp. 16:1-16:19). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. https://doi.org/10.4230/LIPIcs.ICDT.2019.16
-
HyperBench
/
Fischl, W., Longo, D. M., Gottlob, G., & Pichler, R. (2019). HyperBench. In Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS ’19. SIGMOD/PODS 2019 - 38th Symposium on Principles of Database Systems 2019, Amsterdam, Netherlands (the). ACM. https://doi.org/10.1145/3294052.3319683
Project: HyperTrac (2018–2022) - Fixed-Parameter Tractable Fragments Of Conjunctive Queries And Constraint Satisfaction Problems / Lanzinger, M., Gottlob, G., & Pichler, R. (2019). Fixed-Parameter Tractable Fragments Of Conjunctive Queries And Constraint Satisfaction Problems. In noch nicht bekannt (pp. 1–2). http://hdl.handle.net/20.500.12708/57793
2018
- The Impact of Active Domain Predicates on Guarded Existential Rules / Gottlob, G., Pieris, A., & Šimkus, M. (2018). The Impact of Active Domain Predicates on Guarded Existential Rules. Fundamenta Informaticae, 159(1–2), 123–146. https://doi.org/10.3233/fi-2018-1660
- General and Fractional Hypertree Decompositions: Hard and Easy Cases (extended abstract) / Fischl, W., Gottlob, G., & Pichler, R. (2018). General and Fractional Hypertree Decompositions: Hard and Easy Cases (extended abstract). In Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management (pp. 1–4). {CEUR} Workshop Proceedings. http://hdl.handle.net/20.500.12708/55500
-
General and Fractional Hypertree Decompositions: Hard and Easy Cases
/
Fischl, W., Gottlob, G., & Pichler, R. (2018). General and Fractional Hypertree Decompositions: Hard and Easy Cases. In Proceedings of the 37th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems (pp. 17–32). ACM. https://doi.org/10.1145/3196959.3196962
Projects: FAIR (2013–2018) / HyperTrac (2018–2022)
2017
-
Answer Set Programming with External Source Access
/
Eiter, T., Kaminski, T. D., Redl, C., Schüller, P., & Weinzierl, A. (2017). Answer Set Programming with External Source Access. In G. Ianni, D. Lembo, L. Bertossi, W. Faber, B. Glimm, G. Gottlob, & S. Staab (Eds.), Reasoning Web. Semantic Interoperability on the Web : 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures. Springer. https://doi.org/10.1007/978-3-319-61033-7_7
Download: PDF (662 KB) - Preface of the Special Issue in Memoriam Helmut Veith / Gottlob, G., Henzinger, T. A., & Weissenbacher, G. (2017). Preface of the Special Issue in Memoriam Helmut Veith. Formal Methods in System Design, 51(2), 267–269. https://doi.org/10.1007/s10703-017-0307-6
-
Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability
/
Gottlob, G., Pichler, R., & Sallinger, E. (2017). Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability. In E. Sallinger (Ed.), 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, AMW 2017 (pp. 1–5). CEUR Workshop Proceedings / CEUR-WS.org. http://hdl.handle.net/20.500.12708/57055
Projects: FAIR (2013–2018) / HINT (2012–2017) -
Swift Logic for Big Data and Knowledge Graphs
/
Bellomarini, L., Gottlob, G., Pieris, A., & Sallinger, E. (2017). Swift Logic for Big Data and Knowledge Graphs. In Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, Non-EU. https://doi.org/10.24963/ijcai.2017/1
Projects: FAIR (2013–2018) / HINT (2012–2017)
2016
-
The Impact of Active Domain Predicates on Guarded Existential Rules
/
Gottlob, G., Pieris, A., & Šimkus, M. (2016). The Impact of Active Domain Predicates on Guarded Existential Rules. In M. M. Ortiz de la Fuente & S. Schlobach (Eds.), Web Reasoning and Rule Systems (pp. 94–110). Lecture Notes in Computer Science / Springer. https://doi.org/10.1007/978-3-319-45276-0_8
Projects: HINT (2012–2017) / START (2014–2022) -
A Datalog-Based Language for Querying RDF Graphs
/
Arenas, M., Gottlob, G., & Pieris, A. (2016). A Datalog-Based Language for Querying RDF Graphs. In R. Pichler & A. S. da Silva (Eds.), Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016 (p. 4). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/56548
Projects: HINT (2012–2017) / SEE (2012–2016) / START (2014–2022) -
Semantic Acyclicity Under Constraints
/
Barcelo, P., Gottlob, G., & Pieris, A. (2016). Semantic Acyclicity Under Constraints. In T. Milo & W.-C. Tang (Eds.), Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. ACM. https://doi.org/10.1145/2902251.2902302
Projects: HINT (2012–2017) / SEE (2012–2016) / START (2014–2022) -
Semantic Acyclicity Under Constraints
/
Barceló, P., Gottlob, G., & Pieris, A. (2016). Semantic Acyclicity Under Constraints. In R. Pichler & A. S. da Silva (Eds.), Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016 (p. 5). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/56547
Projects: HINT (2012–2017) / SEE (2012–2016) / START (2014–2022)
2015
-
Function Symbols in Tuple-Generating Dependencies
/
Gottlob, G., Pichler, R., & Sallinger, E. (2015). Function Symbols in Tuple-Generating Dependencies. In T. Milo & D. Calvanese (Eds.), Proceedings of the 34th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. ACM. https://doi.org/10.1145/2745754.2745756
Projects: HINT (2012–2017) / SEE (2012–2016) / START (2014–2022) -
Chase Termination for Guarded Existential Rules
/
Calautti, M., Gottlob, G., & Pieris, A. (2015). Chase Termination for Guarded Existential Rules. In T. Milo & D. Calvanese (Eds.), Proceedings of the 34th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. ACM. https://doi.org/10.1145/2745754.2745773
Projects: HINT (2012–2017) / SEE (2012–2016) / START (2014–2022) -
Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations
/
Gottlob, G., Manna, M., & Pieris, A. (2015). Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations. In Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015 (p. 4). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/56410
Project: START (2014–2022) -
Chase Termination for Guarded Existential Rules
/
Calautti, M., Gottlob, G., & Pieris, A. (2015). Chase Termination for Guarded Existential Rules. In A. Cali & M.-E. Vidal (Eds.), Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015 (p. 6). CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/56099
Projects: HINT (2012–2017) / SEE (2012–2016) / START (2014–2022) -
Binary Frontier-Guarded ASP with Function Symbols
/
Šimkus, M. (2015). Binary Frontier-Guarded ASP with Function Symbols. In N. Bassiliades, G. Gottlob, F. Sadri, A. Paschke, & D. Roman (Eds.), Rule Technologies: Foundations, Tools, and Applications (pp. 311–327). Springer LNCS. https://doi.org/10.1007/978-3-319-21542-6_20
Projects: HINT (2012–2017) / Hybride Wissensbasen (2008–2012) / SEE (2012–2016) - Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/- / Gottlob, G., Orsi, G., & Pieris, A. (2015). Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-. In Rule Technologies: Foundations, Tools, and Applications (pp. 35–53). Springer LNCS. https://doi.org/10.1007/978-3-319-21542-6_3
-
Polynomial Rewritings for Linear Existential Rules
/
Gottlob, G., Manna, M., & Pieris, A. (2015). Polynomial Rewritings for Linear Existential Rules. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015 (pp. 2992–2998). AAAI Press. http://hdl.handle.net/20.500.12708/56412
Project: START (2014–2022) -
Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue
/
Gottlob, G., & Pieris, A. (2015). Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue. In roceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015 (pp. 2999–3007). AAAI Press. http://hdl.handle.net/20.500.12708/56411
Project: START (2014–2022) -
Recent Advances in Datalog+/-
/
Gottlob, G., Morak, M., & Pieris, A. (2015). Recent Advances in Datalog+/-. In Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures. (pp. 193–217). Springer. http://hdl.handle.net/20.500.12708/56288
Project: START (2014–2022)
2014
-
Nested Regular Path Queries in Description Logics (Extended Abstract)
/
Bienvenu, M., Calvanese, D., Ortiz de la Fuente, M. M., & Simkus, M. (2014). Nested Regular Path Queries in Description Logics (Extended Abstract). In G. Gottlob & J. Perez (Eds.), Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management. CEUR Workshop Proceedings. http://hdl.handle.net/20.500.12708/55386
Projects: FAIR (2013–2018) / SEE (2012–2016) / SemDat (2012–2016) -
Expressiveness of guarded existential rule languages
/
Gottlob, G., Rudolph, S., & Simkus, M. (2014). Expressiveness of guarded existential rule languages. In R. Hull & M. Grohe (Eds.), Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. ACM Press. https://doi.org/10.1145/2594538.2594556
Projects: FAIR (2013–2018) / HINT (2012–2017) -
Planning and Change in Graph Structured Data under Description Logics Constraints
/
Ahmetaj, S., Calvanese, D., Ortiz de la Fuente, M. M., & Simkus, M. (2014). Planning and Change in Graph Structured Data under Description Logics Constraints. In G. Gottlob & J. Perez (Eds.), Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management. CEUR-Proceedings. http://hdl.handle.net/20.500.12708/55930
Projects: FAIR (2013–2018) / SEE (2012–2016) / SemDat (2012–2016) -
Combined Complexity of Repair Checking and Consistent Query Answering
/
Arming, S., Pichler, R., & Sallinger, E. (2014). Combined Complexity of Repair Checking and Consistent Query Answering. In G. Gottlob & J. Perez (Eds.), Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias, Colombia, June 4-6, 2014 (p. 6). CEUR. http://hdl.handle.net/20.500.12708/55791
Project: HINT (2012–2017) -
On the Hardness of Counting the Solutions of SPARQL Queries
/
Pichler, R., & Skritek, S. (2014). On the Hardness of Counting the Solutions of SPARQL Queries. In G. Gottlob & J. Perez (Eds.), Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management (p. 6). CEUR-WS. http://hdl.handle.net/20.500.12708/55783
Project: SEE (2012–2016)
2013
-
Loop Elimination for Database Updates
/
Savenkov, V., Pichler, R., & Koch, C. (2013). Loop Elimination for Database Updates. In G. Gottlob, G. Grasso, D. Olteanu, & C. Schallhart (Eds.), Big Data (pp. 48–61). Springer. https://doi.org/10.1007/978-3-642-39467-6_8
Project: HINT (2012–2017) - Marco Cadoli's Work on Nonmonotonic Reasoning / Eiter, T., & Gottlob, G. (2013). Marco Cadoli’s Work on Nonmonotonic Reasoning. Intelligenza Artificiale, 7(1), 7–17. http://hdl.handle.net/20.500.12708/155845
- Lossless Horizontal Decomposition with Domain Constraints on Interpreted Attributes / Feinerer, I., Guagliardo, P., & Franconi, E. (2013). Lossless Horizontal Decomposition with Domain Constraints on Interpreted Attributes. In G. Gottlob, G. Grasso, D. Olteanu, & C. Schallhart (Eds.), Big Data (pp. 77–91). Lecture Notes in Computer Science. https://doi.org/10.1007/978-3-642-39467-6_10
2012
- Datalog and Its Extensions for Semantic Web Databases / Gottlob, G., Orsi, G., Pieris, A., & Šimkus, M. (2012). Datalog and Its Extensions for Semantic Web Databases. In T. Eiter & T. Krennwallner (Eds.), Reasoning Web - Semantic Technologies for Advanced Query Answering 8th International Summer School 2012, Vienna, Austria, September 3-8, 2012. Proceedings (pp. 54–77). Springer LNCS. https://doi.org/10.1007/978-3-642-33158-9_2
2011
- Normalization and optimization of schema mappings / Gottlob, G., Pichler, R., & Savenkov, V. (2011). Normalization and optimization of schema mappings. The VLDB Journal. https://doi.org/10.1007/s00778-011-0226-x
- Equivalence between Extended Datalog Programs. A Brief Survey / Woltran, S. (2011). Equivalence between Extended Datalog Programs. A Brief Survey. In O. de Moor, G. Gottlob, T. Furche, & A. Sellers (Eds.), Datalog Reloaded (pp. 106–119). Springer. http://hdl.handle.net/20.500.12708/53954
-
First-Order Encodings of Modular Nonmonotonic Logic Programs
/
Dao-Tran, M., Eiter, T., Fink, M., & Krennwallner, T. (2011). First-Order Encodings of Modular Nonmonotonic Logic Programs. In O. de Moor, G. Gottlob, T. Furche, & A. Sellers (Eds.), Datalog Reloaded, 1st International Workshop on Datalog 2010 (pp. 59–77). Springer. http://hdl.handle.net/20.500.12708/53303
Projects: HEX-Programme (2008–2012) / IncMan (2009–2012)
2010
- Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications / Calì, A., Gottlob, G., Lukasiewicz, T., Marnette, B., & Pieris, A. (2010). Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications. In J.-P. Jouannaud (Ed.), 2010 25th Annual IEEE Symposium on Logic in Computer Science. IEEE Computer Society. https://doi.org/10.1109/lics.2010.27
- Ontological reasoning with F-Logic Lite and its extensions / Cali, A., Gottlob, G., Kifer, M., Lukasiewicz, T., & Pieris, A. (2010). Ontological reasoning with F-Logic Lite and its extensions. In M. Fox & D. Poole (Eds.), Proceedings of the 24th National Conference on Artificial Intelligence (AAAI 2010) (pp. 1660–1665). AAAI Press. http://hdl.handle.net/20.500.12708/53559
- Bounded treewidth as a key to tractability of knowledge representation and reasoning / Gottlob, G., Pichler, R., & Wei, F. (2010). Bounded treewidth as a key to tractability of knowledge representation and reasoning. Artificial Intelligence, 174(1), 105–132. https://doi.org/10.1016/j.artint.2009.10.003
- Tractable database design and datalog abduction through bounded treewidth / Gottlob, G., Pichler, R., & Wei, F. (2010). Tractable database design and datalog abduction through bounded treewidth. Information Systems, 35(3), 278–298. https://doi.org/10.1016/j.is.2009.09.003
- Monadic datalog over finite structures of bounded treewidth / Gottlob, G., Pichler, R., & Wei, F. (2010). Monadic datalog over finite structures of bounded treewidth. ACM Transactions on Computational Logic, 12(1), 1–48. https://doi.org/10.1145/1838552.1838555
- Datalog extensions for tractable query answering over ontologies / Cali, A., Gottlob, G., & Lukasiewicz, T. (2010). Datalog extensions for tractable query answering over ontologies. In R. De Virgilio, F. Giunchiglia, & L. Tanca (Eds.), Semantic Web Information Management: A Model-Based Perspective (pp. 249–279). Springer. http://hdl.handle.net/20.500.12708/27045
- The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey / Eiter, T., Gottlob, G., & Schwentick, T. (2010). The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey. In A. Blass, N. Dershowitz, & W. Reisig (Eds.), Fields of Logic and Computation (pp. 227–250). Springer LNCS. https://doi.org/10.1007/978-3-642-15025-8_13
- Semantic Web search based on ontological conjunctive queries / Fazzinga, B., Gianforme, G., Gottlob, G., & Lukasiewicz, T. (2010). Semantic Web search based on ontological conjunctive queries. In S. Link & H. Prade (Eds.), Foundations of Information and Knowledge Systems (pp. 153–172). Springer LNCS. https://doi.org/10.1007/978-3-642-11829-6_12
- Combining Semantic Web search with the power of inductive reasoning / d´Amato, C., Fanizzi, N., Fazzinga, B., Gottlob, G., & Lukasiewicz, T. (2010). Combining Semantic Web search with the power of inductive reasoning. In A. Deshpande & A. Hunter (Eds.), Scalable Uncertainty Management (pp. 137–150). Springer LNCS. https://doi.org/10.1007/978-3-642-15951-0_17
- Inductive reasoning and semantic web search / d’Amato, C., Esposito, F., Fanizzi, N., Fazzinga, B., Gottlob, G., & Lukasiewicz, T. (2010). Inductive reasoning and semantic web search. In S. Shin, S. Ossowski, M. Schumacher, M. J. Palakal, & C.-C. Hung (Eds.), Proceedings of the 2010 ACM Symposium on Applied Computing - SAC ’10. ACM. https://doi.org/10.1145/1774088.1774397
2009
-
Alternation as a programming paradigm
/
Dvořák, W., Gottlob, G., Pichler, R., & Woltran, S. (2009). Alternation as a programming paradigm. In A. Porto & F. J. Lopez-Fraguas (Eds.), Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP ’09. ACM Press. https://doi.org/10.1145/1599410.1599419
Project: TTPC (2008–2012) - Combining Semantic Web Search with the Power of Inductive Reasoning / d´Amato, C., Fanizzi, N., Fazzinga, B., Gottlob, G., & Lukasiewicz, T. (2009). Combining Semantic Web Search with the Power of Inductive Reasoning. In F. Bobillo, P. C. G. da Costa, C. d´Amato, N. Fanizzi, K. B. Laskey, K. J. Laskey, T. Lukasiewicz, T. Martin, M. Nickles, M. Pool, & P. Smrz (Eds.), Proceedings of the Fifth International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2009) (pp. 15–26). CEUR-Proceedings. http://hdl.handle.net/20.500.12708/53024
- Tractable Query Answering over Ontologies with Datalog+- / Cali, A., Gottlob, G., & Lukasiewicz, T. (2009). Tractable Query Answering over Ontologies with Datalog+-. In B. Cuenca Grau, I. Horrocks, B. Motik, & U. Sattler (Eds.), Proceedings of the 22nd International Workshop on Description Logics (DL 2009) (pp. 46:1-46:12). CEUR workshop proceedings. http://hdl.handle.net/20.500.12708/53039
- A general datalog-based framework for tractable query answering over ontologies / Calì, A., Gottlob, G., & Lukasiewicz, T. (2009). A general datalog-based framework for tractable query answering over ontologies. In J. Paredaens & S. Jianwen (Eds.), Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS ’09. ACM Press. https://doi.org/10.1145/1559795.1559809
- A General Datalog-Based Framework for Tractable Query Answering over Ontologies / Cali, A., Gottlob, G., & Lukasiewicz, T. (2009). A General Datalog-Based Framework for Tractable Query Answering over Ontologies. In V. De Antonellis, S. Castano, B. Catania, & G. Guerrini (Eds.), Proceedings of the 17th Italian Symposium on Advanced Database Systems (SEBD 2009) (pp. 29–36). Seneca Edizioni. http://hdl.handle.net/20.500.12708/53032
- Datalog±: A Unified Approach to Ontologies and Integrity Constraints / Cali, A., Gottlob, G., & Lukasiewicz, T. (2009). Datalog±: A Unified Approach to Ontologies and Integrity Constraints. In V. De Antonellis, S. Castano, B. Catania, & G. Guerrini (Eds.), Proceedings of the 17th Italian Symposium on Advanced Database Systems (SEBD 2009) (pp. 5–6). Seneca Edizioni. http://hdl.handle.net/20.500.12708/53031
- Datalog±: A Unified Approach to Ontologies and Integrity Constraints / Cali, A., Gottlob, G., & Lukasiewicz, T. (2009). Datalog±: A Unified Approach to Ontologies and Integrity Constraints. In R. Fagin (Ed.), Proceedings of the 12th International Conference on Database Theory (ICDT 2009) (pp. 14–30). ACM International Conference Proceeding Series. http://hdl.handle.net/20.500.12708/53030
-
Normalization and Optimization of Schema Mappings
/
Gottlob, G., Pichler, R., & Savenkov, V. (2009). Normalization and Optimization of Schema Mappings. In H. V. Jagadish (Ed.), Proceedings of the 35#^{th}Int. Conf. on Very Large Data Bases (p. 12). VLDB Endowment. http://hdl.handle.net/20.500.12708/52806
Project: SODI (2009–2013) - Alternation as a Programming Paradigm / Dvorak, W., Gottlob, G., Pichler, R., & Woltran, S. (2009). Alternation as a Programming Paradigm (DBAI-TR-2009-64). http://hdl.handle.net/20.500.12708/35631
2008
- Heuristic Methods for Hypertree Decomposition / Dermaku, A., Ganzow, T., Gottlob, G., McMahan, B. J., Musliu, N., & Samer, M. (2008). Heuristic Methods for Hypertree Decomposition. In MICAI 2008: Advances in Artificial Intelligence (pp. 1–11). Springer. https://doi.org/10.1007/978-3-540-88636-5_1
- Computational Aspects of Monotone Dualization: A Brief Survey / Eiter, T., Makino, K., & Gottlob, G. (2008). Computational Aspects of Monotone Dualization: A Brief Survey. Discrete Applied Mathematics, 156(11), 2035–2049. https://doi.org/10.1016/j.dam.2007.04.017
- Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation / Gottlob, G., Pichler, R., & Wei, F. (2008). Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation. In A. Cohn & D. M. Hamilton (Eds.), AAAI-08/IAAI-08 Proceedings (pp. 1541–1547). AAAI Press. http://hdl.handle.net/20.500.12708/52641
- Query Answering in the Description Logic Horn-SHIQ / Eiter, T., Gottlob, G., Ortiz, M., & Šimkus, M. (2008). Query Answering in the Description Logic Horn-SHIQ. In S. Hölldobler, C. Lutz, & H. Wansing (Eds.), Logics in Artificial Intelligence: 11th European Conference, JELIA 2008, Dresden, Germany, September 28-October 1, 2008. Proceedings (pp. 166–179). Lecture Notes in Artificial Intelligence. https://doi.org/10.1007/978-3-540-87803-2_15
- From Web Search to Semantic Web Search / Fazzinga, B., Gianforme, G., Gottlob, G., & Lukasiewicz, T. (2008). From Web Search to Semantic Web Search (INFSYS RR-1843-08-11). http://hdl.handle.net/20.500.12708/35362
2007
- The Lixto Systems Applications in Business Intelligence and Semantic Web / Baumgartner, R., Frölich, O., & Gottlob, G. (2007). The Lixto Systems Applications in Business Intelligence and Semantic Web. In The Semantic Web: Research and Applications (pp. 16–26). Springer-Verlag. https://doi.org/10.1007/978-3-540-72667-8_3
- Efficient Datalog Abduction through Bounded Treewidth / Gottlob, G., Pichler, R., & Wei, F. (2007). Efficient Datalog Abduction through Bounded Treewidth. In Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence (p. 6). AAAI Press. http://hdl.handle.net/20.500.12708/51837
- Foundations of Rule-Based Query / Bry, F., Eisinger, N., Eiter, T., Furche, T., Gottlob, G., Ley, C., Linse, B., Pichler, R., & Wei, F. (2007). Foundations of Rule-Based Query. In Reasoning Web (pp. 1–153). Lecture Notes in Computer Science. http://hdl.handle.net/20.500.12708/51850
- Monadic Datalog over Finite Structures with Bounded Treewidth / Gottlob, G., Pichler, R., & Wei, F. (2007). Monadic Datalog over Finite Structures with Bounded Treewidth. In P. G. Kolaitis (Ed.), Proceedings of the Twenty-Sixth ACM SIGMOD-SIGACT-SIGART -Symposium on Principles of Database Systems (PODS 2007) (pp. 165–174). ACM. http://hdl.handle.net/20.500.12708/51822
2006
- Reasoning Under Minimal Upper Bounds in Propositional Logic / Eiter, T., & Gottlob, G. (2006). Reasoning Under Minimal Upper Bounds in Propositional Logic. Theoretical Computer Science, 369, 82–115. http://hdl.handle.net/20.500.12708/173436
- Conjunctive Queries over Trees / Gottlob, G., Koch, C., & Schulz, K. U. (2006). Conjunctive Queries over Trees. Journal of the ACM, VOL. 53(2), 238–272. http://hdl.handle.net/20.500.12708/173400
- The DLV System for knowledge representation and reasoning / Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Perri, S., & Scarcello, F. (2006). The DLV System for knowledge representation and reasoning. ACM Transactions on Computational Logic, VOL. 7(3), 499–562. http://hdl.handle.net/20.500.12708/173399
- The Lixto Project: Exploring New Frontiers of Web Data Extraction / Carme, J., Ceresna, M., Froelich, O., Gottlob, G., Hassan, T., Herzog, M., Holzinger, W., & Krüpl, B. (2006). The Lixto Project: Exploring New Frontiers of Web Data Extraction. In D. Bell & J. Hong (Eds.), Flexible and Efficient Information Handling, 23rd British National Conference on Databases, BNCOD 23 (pp. 1–15). Springer. http://hdl.handle.net/20.500.12708/51533
- Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning / Gottlob, G., Pichler, R., & Wei, F. (2006). Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning. In Proceeding of the Twenty-First National Conference on Artificial Intelligence (pp. 250–256). The AAAI Press. http://hdl.handle.net/20.500.12708/51474
- Data Exchange: Computing Cores in Polynomial Time / Gottlob, G., & Nash, A. (2006). Data Exchange: Computing Cores in Polynomial Time. In Proceedings of the Twenty-Fifth ACM SIGMOND-SIGACT-SIGART Symposium on Principles of Database Systems (pp. 40–49). ACM Press. http://hdl.handle.net/20.500.12708/51364
- Tractable Database Design through Bounded Treewidth / Gottlob, G., Pichler, R., & Wei, F. (2006). Tractable Database Design through Bounded Treewidth. In Proceedings of the Twenty-Fifth ACM SIGMOND-SIGACT-SIGART Symposium on Principles of Database Systems (pp. 124–133). ACM Press. http://hdl.handle.net/20.500.12708/51363
-
A Formal Comparison of Visual Web Wrapper Generators
/
Gottlob, G., & Koch, C. (2006). A Formal Comparison of Visual Web Wrapper Generators. In Theory and Practice of Computer Science (pp. 30–48). Springer. http://hdl.handle.net/20.500.12708/51357
Project: Weblearn (2005–2008) - Computational Aspects of Monotone Dualization: A Brief Survey / Eiter, T., Makino, K., & Gottlob, G. (2006). Computational Aspects of Monotone Dualization: A Brief Survey (INFSYS RR-1843-06-01). http://hdl.handle.net/20.500.12708/33067
2005
- Complexity of Nested Circumscription and Nested Abnormality Theories / Cadoli, M., Eiter, T., & Gottlob, G. (2005). Complexity of Nested Circumscription and Nested Abnormality Theories. ACM Transactions on Computational Logic, 6(2), 232–272. http://hdl.handle.net/20.500.12708/173369
- Online-Datenextraktion und -Integration für Bibliotheks- und Verlagskataloge / Baumgartner, R., Froelich, O., Gottlob, G., & Herzog, M. (2005). Online-Datenextraktion und -Integration für Bibliotheks- und Verlagskataloge. In H. Hrusa (Ed.), Festschrift für Peter Kubalek zum 60. Geburtstag (pp. 13–24). Manz. http://hdl.handle.net/20.500.12708/25361
- Web Data Extraction for Business Intelligence: the Lixto Approach / Baumgartner, R., Froelich, O., Gottlob, G., Harz, P., Herzog, M., & Lehmann, P. (2005). Web Data Extraction for Business Intelligence: the Lixto Approach. In Datenbanksysteme in Business, Technologie und Web (BTW) (pp. 48–65). LNI, Series of the Gesellschaft für Informatik. http://hdl.handle.net/20.500.12708/51176
- The Personal Publications Reader / Abel, F., Baumgartner, R., Brooks, A., Enzi, C., Gottlob, G., Henze, N., Herzog, M., Kriesell, M., Nejdl, W., & Tomaschewski, K. (2005). The Personal Publications Reader. In The Semantic Web - ISWC 2005 (pp. 1050–1053). LNCS. http://hdl.handle.net/20.500.12708/51155
- Integrating Semi-structured Data into Business Applications: A Web Intelligence Example / Baumgartner, R., Froelich, O., Gottlob, G., Herzog, M., & Lehmann, P. (2005). Integrating Semi-structured Data into Business Applications: A Web Intelligence Example. In K.-D. Althof, A. Dengel, R. Bergmann, M. Nick, & T. Roth-Berghofer (Eds.), Professional Knowledge Management (pp. 469–482). Springer. http://hdl.handle.net/20.500.12708/51154
-
The Complexity of Quantified Constraint Satifaction Problems under Structural Restrictions
/
Gottlob, G., Greco, G., & Scarcello, F. (2005). The Complexity of Quantified Constraint Satifaction Problems under Structural Restrictions. In IJCAI-05 Proceedings (pp. 150–155). Professional Book Center. http://hdl.handle.net/20.500.12708/51046
Project: Hypertree (2004–2006) - Information Extraction for the Semantic Web / Baumgartner, R., Eiter, T., Gottlob, G., Herzog, M., & Koch, C. (2005). Information Extraction for the Semantic Web. In Reasoning Web (pp. 275–289). Springer. http://hdl.handle.net/20.500.12708/51025
-
Hypertree Decompositions: Structure, Algorithms, and Applications
/
Gottlob, G., Grohe, M., Musliu, N., Samer, M., & Scarcello, F. (2005). Hypertree Decompositions: Structure, Algorithms, and Applications. In D. Kratsch (Ed.), Proceedings of the 31st International Workshop on Graph-Theoretic Concepts in Computer Science (pp. 1–15). Springer-Verlag Berlin Heidelberg. http://hdl.handle.net/20.500.12708/51014
Project: Hypertree (2004–2006) -
Computing Cores for Data Exchange: New Algorithms and Practical Solutions
/
Gottlob, G. (2005). Computing Cores for Data Exchange: New Algorithms and Practical Solutions. In Proceedings of the Twenty-fourth ACM SIGMOND-SIGACT-SIGART Symposium on Principles of Database Systems (pp. 148–159). ACM, Inc. http://hdl.handle.net/20.500.12708/51013
Project: Hypertree (2004–2006) - Reasoning Under Minimal Upper Bounds in Propositional Logic / Eiter, T., & Gottlob, G. (2005). Reasoning Under Minimal Upper Bounds in Propositional Logic. http://hdl.handle.net/20.500.12708/33042
2004
- Annotating the Legacy Web with Lixto / Baumgartner, R., Gottlob, G., Herzog, M., & Slany, W. (2004). Annotating the Legacy Web with Lixto. ISWC 2004, Hiroshima, Japan, Austria. http://hdl.handle.net/20.500.12708/84273
- Generating Wrappers for Web Information Sources / Baumgartner, R., Flesca, S., Gottlob, G., & Herzog, M. (2004). Generating Wrappers for Web Information Sources. Logic Based Information Agents, Dagstuhl, Deutschland, Austria. http://hdl.handle.net/20.500.12708/84272
2003
- Web information Extracton with Lixto: Visual Logic and Expressive Power / Gottlob, G., Baumgartner, R., Flesca, S., Herzog, M., & Koch, C. (2003). Web information Extracton with Lixto: Visual Logic and Expressive Power. DISI Seminar, Genua, Italien, Austria. http://hdl.handle.net/20.500.12708/84226
- Monadic Second order Logic and Logic Programming over Tree-Structured Data / Gottlob, G. (2003). Monadic Second order Logic and Logic Programming over Tree-Structured Data. 2003 Joint Conference on Declarative Programming, Reggio Calabria, Italien, Austria. http://hdl.handle.net/20.500.12708/84219
- Xpath Query Processing / Gottlob, G., & Koch, C. (2003). Xpath Query Processing. The 9#^{th} International Workshop on Data Base Programming Languages, Potsdam, Deutschland, Austria. http://hdl.handle.net/20.500.12708/84218
- Web information Extraction with Lixto: Visual Logic and Expressive Power / Gottlob, G. (2003). Web information Extraction with Lixto: Visual Logic and Expressive Power. The 2003 IEEE/WIC International Conference on Web Intelligence (WI 2003), Halifax, Kanada, Austria. http://hdl.handle.net/20.500.12708/84217
- Enabling Systems to Access Web Data-Novel Wrapper and Data Aggregation Technology / Gottlob, G. (2003). Enabling Systems to Access Web Data-Novel Wrapper and Data Aggregation Technology. Ninth International Conference on Computer Aided Systems Theory - EUROCAST 2003, Las Palmas de Gran Canaria, Spain, Austria. http://hdl.handle.net/20.500.12708/84163
- Existential Second-Order Logic over Graphs: Charting the Tractability Frontier / Gottlob, G. (2003). Existential Second-Order Logic over Graphs: Charting the Tractability Frontier. Model Theory Workshop FMT’03, Bedlewo, Polen, Austria. http://hdl.handle.net/20.500.12708/84162
2002
- Hypertree Decompositions / Gottlob, G. (2002). Hypertree Decompositions. Symposium on the Effectiveness of Logic in Computer Science, Saarbrücken, Deutschland, Austria. http://hdl.handle.net/20.500.12708/84103
- Efficient Algortihms for Processing XPath Queries / Gottlob, G. (2002). Efficient Algortihms for Processing XPath Queries. Ludwig-Maximilian-Universität, München, Deutschland, Austria. http://hdl.handle.net/20.500.12708/84102
- Monadic Query Languages over Semistructured Data / Gottlob, G. (2002). Monadic Query Languages over Semistructured Data. Ludwig-Maximilian-Universität, München, Deutschland, Austria. http://hdl.handle.net/20.500.12708/84100
- Monadic Query Languages over Semstructured Data / Gottlob, G. (2002). Monadic Query Languages over Semstructured Data. Institut für mathematische Logik, Freiburg, Albert-Ludwigs-Universität Freiburg, Deutschland, Austria. http://hdl.handle.net/20.500.12708/84099
- Web Information Extraction On half-way to the Semantic Web / Gottlob, G. (2002). Web Information Extraction On half-way to the Semantic Web. Universität Prag, Prag, Tschechien, Austria. http://hdl.handle.net/20.500.12708/84087
- The DLV System for Knowledge Representation and Reasoning (INFSYS RR-1843-02-14) / Leone, N., Pfeifer, G., Faber, W., Eiter, T., Gottlob, G., Koch, C., Mateis, C., Perri, S., & Scarcello, F. (2002). The DLV System for Knowledge Representation and Reasoning (INFSYS RR-1843-02-14). http://hdl.handle.net/20.500.12708/32798
- Complexity of Nested Circumscription and Nested Abnormality Theories / Cadoli, M., Eiter, T., & Gottlob, G. (2002). Complexity of Nested Circumscription and Nested Abnormality Theories. http://hdl.handle.net/20.500.12708/32796
- New Results on Monotone Dualization and Generating Hypergraph Transversals (INFSYS RR-1843-02-05) / Eiter, T., Gottlob, G., & Makino, K. (2002). New Results on Monotone Dualization and Generating Hypergraph Transversals (INFSYS RR-1843-02-05). http://hdl.handle.net/20.500.12708/32794
Supervisions
2024
-
Comparative Analysis of Retrieval Augmented Generator and Traditional Large Language Models
/
Oroz, T. (2024). Comparative Analysis of Retrieval Augmented Generator and Traditional Large Language Models [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2024.118825
Download: PDF (1.59 MB)
2023
-
On the potential of structural decomposition of database and AI problems
/
Longo, D. M. (2023). On the potential of structural decomposition of database and AI problems [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.116747
Download: PDF (2.08 MB) -
Robustness analysis of continuous-depth neural networks
/
Neubauer, S. (2023). Robustness analysis of continuous-depth neural networks [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2023.115404
Download: PDF (1.89 MB)
2022
-
A Recommender system for scientific referees based on bibliographic databases and KGs
/
Pachinger, P. S. (2022). A Recommender system for scientific referees based on bibliographic databases and KGs [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2022.94880
Download: PDF (5.21 MB)
2021
-
Reasoning in knowledge graphs: Methods and techniques
/
Jahn, R. (2021). Reasoning in knowledge graphs: Methods and techniques [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2021.82944
Download: PDF (1.94 MB)
2019
-
Static analysis for ontology-mediated querying
/
Berger, G. (2019). Static analysis for ontology-mediated querying [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2019.67802
Download: PDF (2.06 MB)
2018
-
Exploiting new types of structure for fixed-parameter tractability
/
Eiben, E. (2018). Exploiting new types of structure for fixed-parameter tractability [Dissertation, Technische Universität Wien]. reposiTUm. https://doi.org/10.34726/hss.2018.55516
Download: PDF (2.26 MB) - Information management : dependencies in research, teaching and business / Sallinger, E. (2018). Information management : dependencies in research, teaching and business [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/79499
2010
-
User-guided information extraction from print-oriented documents
/
Hassan, T. (2010). User-guided information extraction from print-oriented documents [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-31713
Download: PDF (6.87 MB)
2009
- Wrapper adaptation and generic wrappers / Chandradoss, R. J. (2009). Wrapper adaptation and generic wrappers [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/177810
2008
-
Einbindung von automatisiert extrahierten Webdaten in Internet Portalen
/
Steiner, L. (2008). Einbindung von automatisiert extrahierten Webdaten in Internet Portalen [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-25206
Download: PDF (2.45 MB) -
Die Communication Center Management Plattform : eine Webapplikation zur Hardwaresteuerung/-überwachung
/
Kulnigg, M. (2008). Die Communication Center Management Plattform : eine Webapplikation zur Hardwaresteuerung/-überwachung [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-26572
Download: PDF (1.98 MB) -
Hypertree decompositions for optimal winner determination in combinatorial auctions
/
Lebedeva, E. (2008). Hypertree decompositions for optimal winner determination in combinatorial auctions [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-28719
Download: PDF (778 KB)
2007
- Functional semantic analysis of Web pages on the visual layer : the REDEVILA system / Pollak, B. (2007). Functional semantic analysis of Web pages on the visual layer : the REDEVILA system [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186354
- Contributions to large-scale information acquisition from the Web / Gatterbauer, W. (2007). Contributions to large-scale information acquisition from the Web [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/179451
2006
-
Business intelligence in the logistic domain using visual information extraction
/
Díaz Prado, J. A. (2006). Business intelligence in the logistic domain using visual information extraction [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-14487
Download: PDF (4.19 MB) - Schulintranet : das Schulintranet als WCMS für die HLA Mödling in 2340 Mödling, Josef-Hyrtl-Platz 3 / Taferner, L. (2006). Schulintranet : das Schulintranet als WCMS für die HLA Mödling in 2340 Mödling, Josef-Hyrtl-Platz 3 [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/179536
-
Using Lixto for abstract automation of web applications
/
Semturs, C. (2006). Using Lixto for abstract automation of web applications [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-35806
Download: PDF (2.6 MB) -
New heuristic methods for tree decompositions and generalized hypertree decompositions
/
Schafhauser, W. (2006). New heuristic methods for tree decompositions and generalized hypertree decompositions [Master Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-96365
Download: PDF (770 KB) -
Telecommunications and the next generation web: introducing ENUM to the semantic web
/
Reichinger, K. (2006). Telecommunications and the next generation web: introducing ENUM to the semantic web [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-14322
Download: PDF (4.9 MB) -
A scalable special-purpose metasearch engine
/
Jaura, O. (2006). A scalable special-purpose metasearch engine [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-16576
Download: PDF (5.1 MB) - Optimierung von Geschäftsprozessen durch integrierte Wrapper-Technologien : mit Anwendungsbeispielen aus den Bereichen Mobile Services, Competitive Intelligence und dem Verlagswesen / Frölich, O. (2006). Optimierung von Geschäftsprozessen durch integrierte Wrapper-Technologien : mit Anwendungsbeispielen aus den Bereichen Mobile Services, Competitive Intelligence und dem Verlagswesen [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186874
- A generic web service client and its usage in the Lixto transformation server / Weiss, R. (2006). A generic web service client and its usage in the Lixto transformation server [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186852
- Schema matching and automatic web data extraction / Taroza, E. (2006). Schema matching and automatic web data extraction [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/185106
- Generalized hypertree decomposition based on hypergraph partitioning / Dermaku, A. (2006). Generalized hypertree decomposition based on hypergraph partitioning [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/181386
- A light-weight processing model for interactive Web information acquisition / Zigo, V. (2006). A light-weight processing model for interactive Web information acquisition [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/180682
- A new Tabu Search framework and it's application / Mörz, M. (2006). A new Tabu Search framework and it’s application [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/178619
2005
-
Semantic information in document retrieval systems
/
Domig, M. (2005). Semantic information in document retrieval systems [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-20530
Download: PDF (1.2 MB) -
Supervised learning of wrappers from structured data sources
/
Ceresna, M. (2005). Supervised learning of wrappers from structured data sources [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-16619
Download: PDF (4.73 MB) - Value transformation in ontology mapping / Herzog, C. P. (2005). Value transformation in ontology mapping [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/179896
- Effiziente Programmierung template-basierter Webapplikationen / Strenn, M. (2005). Effiziente Programmierung template-basierter Webapplikationen [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/179922
- Requirements and system design for next generation web data extraction and integration / Ledermüller, G. (2005). Requirements and system design for next generation web data extraction and integration [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/182956
2004
-
Constraint solving for model-based engineering applications using relational aggregation
/
Seelisch, F. (2004). Constraint solving for model-based engineering applications using relational aggregation [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-11983
Download: PDF (16.4 MB) -
Reasoning about specifications in model checking
/
Samer, M. (2004). Reasoning about specifications in model checking [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-12743
Download: PDF (10.1 MB) - Integration of Web services into the Lixto transformation server / Tratter, C. (2004). Integration of Web services into the Lixto transformation server [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/184070
- XML basierte Entwicklungsumgebungen für einfache Webapplikationen und Prototypen im Umfeld medizinischer Forschungsaufgaben / Freidl, P. (2004). XML basierte Entwicklungsumgebungen für einfache Webapplikationen und Prototypen im Umfeld medizinischer Forschungsaufgaben [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/184113
- MIKSI : an example of an application based on service oriented architecture / Balaban, A. (2004). MIKSI : an example of an application based on service oriented architecture [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/181852
- Interfaces zwischen XML-Datenmodellen, basierend auf der Software Lixto, und relationalen Datenbanken / Summerer, C. (2004). Interfaces zwischen XML-Datenmodellen, basierend auf der Software Lixto, und relationalen Datenbanken [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/177979
2003
-
Intrling. A machine translation system based on the interlingua method, using Esperanto as the interlingua, in combination with sentence patterns
/
Fütty, E. (2003). Intrling. A machine translation system based on the interlingua method, using Esperanto as the interlingua, in combination with sentence patterns [Dissertation, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-12164
Download: PDF (3.85 MB) - Database migration from Oracle to SQL server / Dotchkov, K. (2003). Database migration from Oracle to SQL server [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186763
-
Vergleich von Open-Source-Datenbanksystemen SAP DB, PostgreSQL und MySQL
/
Krammer, V. (2003). Vergleich von Open-Source-Datenbanksystemen SAP DB, PostgreSQL und MySQL [Diploma Thesis, Technische Universität Wien]. reposiTUm. https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-13702
Download: PDF (708 KB) - Entwicklung einer Datenbank für die kaufmännische Abteilung der Kraftwerksunion (Siemens) unter Berücksichtigung der Qualitätsforderungen nach ISO 9001 / Ege, B. (2003). Entwicklung einer Datenbank für die kaufmännische Abteilung der Kraftwerksunion (Siemens) unter Berücksichtigung der Qualitätsforderungen nach ISO 9001 [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/184606
- Heuristic hypertree decomposition / Korimort, T. (2003). Heuristic hypertree decomposition [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183073
- Efficient implementation of telecommunication support tools based on database systems / Györgyfalvay, T. (2003). Efficient implementation of telecommunication support tools based on database systems [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/183008
2002
- Portal integration of XML-based information sources : a case study with info pipes and jetspeed / Zhu, J. (2002). Portal integration of XML-based information sources : a case study with info pipes and jetspeed [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186285
- Visual composition of XML queries / Ledermüller, G. (2002). Visual composition of XML queries [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186238
- Location based services / Gattringer, T. (2002). Location based services [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/184642
- Extracting tourism information from the Web / Schwab, E. (2002). Extracting tourism information from the Web [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186315
- Multi-platform publishing / Burner, A. (2002). Multi-platform publishing [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/185822
- A rapid application development environment for XML-based data flow applications / Herzog, M. A. (2002). A rapid application development environment for XML-based data flow applications [Dissertation, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/180876
- Test automation : a case study / Waser, A. (2002). Test automation : a case study [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186468
- MACE : environment for verifying agent programs / Wiedemair, T. (2002). MACE : environment for verifying agent programs [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/186246
- Usenettest : ein System zur vergleichenden Bewertung von Usenet News-Servern / Böck, M. (2002). Usenettest : ein System zur vergleichenden Bewertung von Usenet News-Servern [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/184651
- Eine webbasierte Übungsumgebung : ein webbasiertes e-learning Tool im Bereich von Datenbanksystemen mit den Schwerpunkten "minimale Überdeckung", "Schlüsselsuche" und "3. Normalform" / Corradini, A. (2002). Eine webbasierte Übungsumgebung : ein webbasiertes e-learning Tool im Bereich von Datenbanksystemen mit den Schwerpunkten “minimale Überdeckung”, “Schlüsselsuche” und “3. Normalform” [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/178846
2001
- Ontologies in Lixto : research and implementation issues / Toprakkiran, S. (2001). Ontologies in Lixto : research and implementation issues [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/180028
- "Extreme testing" : Komponententest in den "agilen" Softwareentwicklungsmethoden / Jovanovic, M. (2001). “Extreme testing” : Komponententest in den “agilen” Softwareentwicklungsmethoden [Diploma Thesis, Technische Universität Wien]. reposiTUm. http://hdl.handle.net/20.500.12708/179679
Awards
-
ExtraLytics
2014 / ERC Europäischer Forschungsrat -
DIADEM: Domain-centric Intelligent Automated Data Extraction Methodology
2010 / ERC Europäischer Forschungsrat -
Full Member of the Austrian Academy of Sciences
2004 / Mitgliedschaft / Austria -
Fellow of ECCAI, the European Artificial Intelligence Society
2002 / Austria -
Best Paper Award at the 21st ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS), Madison, Wisconsin
2002 / USA -
Honorary Scientist of the Guizhou Academy of Sciences, Guyang
2000 / Mitgliedschaft -
Elected corresponding member of the Austrian National Academy of Sciences
1999 / Mitgliedschaft / Austria -
Best Paper Award at the 5th Int. Conference on Logic Programming and Nonmonotonic Reasoning, El Paso, Texas
1999 / USA -
Logik und Algorithmen
1998 / Wittgenstein-Preis / Austria -
Senior Fellow of the Christian Doppler Society
1996 / Austria -
Silbermedaille der Universität Helsinki f. wiss. Leistungen auf dem Gebiet der Informatik
1995 / Finland -
Preis der ital. Vereinigung der Elektronik-Ingenieure f. wiss. Leistungen auf dem Gebiet der Datenbanken
1988 / Italy
And more…
Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.
Until then, please visit Georg Gottlob’s research profile in TISS .