2022W

• Bachelor Thesis / 184.691 / PR
• Doctoral & Master Students Seminar / 181.223 / SE
• Introduction to Logical Methods in Computer Science / 184.766 / VO
• Orientation Bachelor with Honors of Informatics and Business Informatics / 180.767 / SE
• Project in Computer Science 1 / 184.688 / PR
• Project in Computer Science 2 / 184.689 / PR
• Research and Career Planning for Doctoral Students / 184.778 / VU
• Research and Career Planning for Doctoral Students / 195.098 / VU
• Research Seminar LogiCS / 184.767 / SE

2023S

• Bachelor Thesis / 184.691 / PR
• Doctoral & Master Students Seminar / 181.223 / SE
• Project in Computer Science 1 / 184.688 / PR
• Project in Computer Science 2 / 184.689 / PR
• Research Seminar LogiCS / 184.767 / SE

• Heuristic Intelligence
  2013 – 2016 / Austrian Research Promotion Agency (FFG)
• Large-Scale Probabilistic Information Integration from Web Tables
  2007 – 2009 / Austrian Research Promotion Agency (FFG)
• Query Induction for Visual Web Data Extraction
  2005 – 2008 / Austrian Science Fund (FWF)
• Complementary Approaches to Constraint Satisfaction
  2004 – 2006 / Austrian Science Fund (FWF)
• CoLogNet - Network of Excellence in Computational Logic
  2002 – 2008 / European Commission
• Games and Automata for Synthesis and Validation
  2002 – 2007 / European Commission

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.

2017

• Swift Logic for Big Data and Knowledge Graphs / L. Bellomarini, G. Gottlob, A. Pieris, E. Sallinger / Talk: 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia (invited); 2017-08-19 - 2017-08-25; in: "26th International Joint Conferences on Artificial Intelligence Organization", (2017), 2 - 10
• Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability / G. Gottlob, R. Pichler, E. Sallinger / Talk: AMW - Alberto Mendelzon International Workshop on Foundations of Data Management, Montevideo, Uruguay; 2017-06-07 - 2017-06-09; in: "11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, AMW 2017", E. Sallinger (ed.); CEUR Workshop Proceedings / CEUR-WS.org, 1912 (2017), ISSN: 1613-0073; 1 - 5
• Preface of the Special Issue in Memoriam Helmut Veith / G. Gottlob, T. Henzinger, G. Weissenbacher / Formal Methods in System Design, 51 (2017), 2; 267 - 269

2016

• Semantic Acyclicity Under Constraints / P. Barceló, G. Gottlob, A. Pieris / Poster: 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS 2016, San Fracisco, CA, USA; 2016-06-26 - 2016-07-20; in: "Proceedings of the 35th {ACM} {SIGMOD-SIGACT-SIGAI} Symposium on Principles of Database Systems, {PODS} 2016, San Francisco, CA, USA, June 26 - July 01, 2016", T. Milo, W. Tang (ed.); ACM, (2016), ISBN: 978-1-4503-4191-2; 343 - 354
• A Datalog-Based Language for Querying RDF Graphs / M. Arenas, G. Gottlob, A. Pieris / Talk: 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama; 2016-05-08 - 2016-05-10; in: "Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016", R. Pichler, A. da Silva (ed.); CEUR Workshop Proceedings, 1644 (2016), Paper ID 17, 4 pages
• Semantic Acyclicity Under Constraints / P. Barceló, G. Gottlob, A. Pieris / Talk: 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama; 2016-05-08 - 2016-05-10; in: "Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016", R. Pichler, A. da Silva (ed.); CEUR Workshop Proceedings, 1644 (2016), Paper ID 6, 5 pages

2015

• Recent Advances in Datalog+/- / G. Gottlob, M. Morak, A. Pieris / Talk: 11th International Summer School Reasoning Web 2015, Berlin, Germany (invited); 2015-07-31 - 2015-08-04; in: "Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31 - August 4, 2015, Tutorial Lectures.", Springer, Lecture Notes in Computer Science Volume 9203 2015 (2015), ISBN: 978-3-319-21767-3; 193 - 217
• Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations / G. Gottlob, M. Manna, A. Pieris / Talk: 28th International Workshop on Description Logics, Athens,Greece; 2015-06-07 - 2015-06-10; in: "Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015", CEUR Workshop Proceedings, 1350 (2015), 4 pages
• Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability / G. Gottlob, R. Pichler, E. Sallinger / Talk: Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia; 2015-05-31 - 2015-06-04; in: "Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015", T. Milo, D. Calvanese (ed.); ACM, (2015), ISBN: 978-1-4503-2757-2; 65 - 77
• Chase Termination for Guarded Existential Rules / M. Calautti, G. Gottlob, A. Pieris / Talk: Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia; 2015-05-31 - 2015-06-04; in: "Proceedings of the 34th ACM Symposium on Principles of Database Systems, PODS 2015, Melbourne, Victoria, Australia, May 31 - June 4, 2015", T. Milo, D. Calvanese (ed.); ACM, (2015), ISBN: 978-1-4503-2757-2; 91 - 103
• Chase Termination for Guarded Existential Rules / M. Calautti, G. Gottlob, A. Pieris / Talk: 9th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2015), Lima, Peru; 2015-05-06 - 2015-05-08; in: "Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6 - 8, 2015", A. Cali, M. Vidal (ed.); CEUR Workshop Proceedings, 1378 (2015), Paper ID 28, 6 pages
• Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/- / G. Gottlob, O. Orsi, A. Pieris / in: "Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015", 9202; Springer LNCS, 2015, (invited), ISBN: 978-3-319-21541-9, 35 - 53
• Polynomial Rewritings for Linear Existential Rules / G. Gottlob, M. Manna, A. Pieris / in: "Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015", AAAI Press, 2015, ISBN: 978-1-57735-738-4, 2992 - 2998
• Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue / G. Gottlob, A. Pieris / in: "roceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015", AAAI Press, 2015, ISBN: 978-1-57735-738-4, 2999 - 3007

2014

• Expressiveness of guarded existential rule languages / G. Gottlob, S. Rudolph, M. Simkus / Talk: ACM Symposium on Principles of Database Systems (PODS), Snowbird, UT, USA; 2014-06-22 - 2014-06-27; in: "Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS'14", R. Hull, M. Grohe (ed.); ACM Press, (2014), ISBN: 978-1-4503-2375-8; 27 - 38

2013

• Marco Cadoli's Work on Nonmonotonic Reasoning / T. Eiter, G. Gottlob / Intelligenza Artificiale, 7 (2013), 1; 7 - 17

2012

• Datalog and Its Extensions for Semantic Web Databases / G. Gottlob, O. Orsi, A. Pieris, M. Simkus / Talk: Reasoning Web, International Summer School, Wien (invited); 2012-09-03 - 2012-09-08; in: "Reasoning Web: Semantic Technologies for Advanced Query Answering", T. Eiter, T. Krennwallner (ed.); Springer LNCS, 7487 (2012), ISBN: 978-3-642-33157-2; 54 - 77

2010

• Combining Semantic Web search with the power of inductive reasoning / C. d´Amato, N. Fanizzi, B. Fazzinga, G. Gottlob, T. Lukasiewicz / Talk: International Conference on Scalable Uncertainty Management (SUM), Toulouse, France; 2010-09-27 - 2010-09-29; in: "Proceedings of the 4th International Conference on Scalable Uncertainty Management (SUM 2010)", A. Deshpande, A. Hunter (ed.); Springer LNCS, 6379 (2010), ISBN: 978-3-642-15950-3; 137 - 150
• Datalog+/-: A family of logical knowledge representation and query languages for new applications / A. Cali, G. Gottlob, T. Lukasiewicz, B. Marnette, A. Pieris / Keynote Lecture: Symposium on Logic in Computer Science (LICS), Edinburgh, United Kingdom (invited); 2010-07-11 - 2010-07-14; in: "Proceedings of the 25th Symposium on Logic in Computer Science (LICS 2010)", J.-P. Jouannaud (ed.); IEEE Computer Society, (2010), ISBN: 978-0-7695-4114-3; 228 - 242
• Ontological reasoning with F-Logic Lite and its extensions / A. Cali, G. Gottlob, M. Kifer, T. Lukasiewicz, A. Pieris / Talk: Twenty-Fourth AAAI Conference on Artificial Intelligence, Atlanta, Georgia, USA; 2010-07-11 - 2010-07-15; in: "Proceedings of the 24th National Conference on Artificial Intelligence (AAAI 2010)", M. Fox, D. Poole (ed.); AAAI Press, (2010), ISBN: 978-1-57735-463-5; 1660 - 1665
• Inductive reasoning and Semantic Web search / C. d´Amato, F. Esposito, N. Fanizzi, B. Fazzinga, G. Gottlob, T. Lukasiewicz / Talk: 25th ACM Symposium on Applied Computing (SAC 2010), Sierre, Switzerland; 2010-03-22 - 2010-03-26; in: "Proceedings of the 25th ACM Symposium on Applied Computing (SAC 2010)", S. Shin, S. Ossowski, M. Schumacher, M. Palakal, C. Hung (ed.); ACM, (2010), ISBN: 978-1-60558-638-0; 1446 - 1447
• Semantic Web search based on ontological conjunctive queries / B. Fazzinga, G. Gianforme, G. Gottlob, T. Lukasiewicz / Talk: International Symposium on Foundations of Information and Knowledge Systems (FoIKS), Sofia, Bulgaria; 2010-02-14 - 2010-02-19; in: "Proceedings of the 6th International Symposium on Foundations of Information and Knowledge Systems (FoIKS 2010)", H. Prade, S. Link (ed.); Springer LNCS, 5956 (2010), ISBN: 978-3-642-11828-9; 153 - 172
• The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey / T. Eiter, G. Gottlob, T. Schwentick / in: "Fields of Logic and Computation: Essays Dedicated to Yuri Gurevich on the Occasion of his 70th Birthday", A. Blass, N Dershowitz, W. Reisig (ed.); Springer LNCS, Heidelberg (LNCS 6300), 2010, (invited), ISSN: 0302-9743, 227 - 250
• Datalog extensions for tractable query answering over ontologies / A. Cali, G. Gottlob, T. Lukasiewicz / in: "Semantic Web Information Management: A Model-Based Perspective", R. De Virgilio, F. Giunchiglia, L. Tanca (ed.); Springer, Heidelberg, 2010, (invited), ISBN: 978-3-642-04328-4, 249 - 279

2009

• Combining Semantic Web Search with the Power of Inductive Reasoning / C. d´Amato, N. Fanizzi, B. Fazzinga, G. Gottlob, T. Lukasiewicz / Talk: Workshop on Uncertainty Reasoning for the Semantic Web (URSW), Washington DC, USA; 2009-10-26; in: "Proceedings of the Fifth International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2009)", F. Bobillo, P. da Costa, C. d´Amato, N. Fanizzi, K.B. Laskey, K.J. Laskey, T. Lukasiewicz, T. Martin, N. Nickles, M. Pool, S. Smrz (ed.); CEUR-Proceedings, 527 (2009), ISSN: 1613-0073; 15 - 26
• Normalization and Optimization of Schema Mappings / G. Gottlob, R. Pichler, V. Savenkov / Talk: Very Large Databases (VLDB), Lyon, Frankreich; 2009-08-24 - 2009-08-28; in: "Proceedings of the 35thInt. Conf. on Very Large Data Bases", H. V. Jagadish (ed.); VLDB Endowment, Vol. 2, Nr. 1 (2009), Paper ID 923, 12 pages
• Tractable Query Answering over Ontologies with Datalog+- / A. Cali, G. Gottlob, T. Lukasiewicz / Talk: International Workshop on Description Logics (DL), Oxford, UK; 2009-07-27 - 2009-07-30; in: "Proceedings of the 22nd International Workshop on Description Logics (DL 2009)", B. Cuenca Grau, I. Horrocks, B. Motik, U. Sattler (ed.); CEUR workshop proceedings, 477 (2009), ISSN: 1613-0073; 46:1 - 46:12
• A General Datalog-Based Framework for Tractable Query Answering over Ontologies / A. Cali, G. Gottlob, T. Lukasiewicz / Talk: ACM Symposium on Principles of Database Systems (PODS), Providence, Rhode Island, USA; 2009-06-29 - 2009-07-02; in: "Proceedings of the 28th ACM Symposium on Principles of Database Systems (PODS 2009)", J. Paredaens, S. Jianwen (ed.); ACM Press, (2009), ISBN: 978-1-60558-553-6; 77 - 86
• Datalog±: A Unified Approach to Ontologies and Integrity Constraints / A. Cali, G. Gottlob, T. Lukasiewicz / Keynote Lecture: Italian Symposium on Databases (SEBD), Camogli, Italy (invited); 2009-06-21 - 2009-06-24; in: "Proceedings of the 17th Italian Symposium on Advanced Database Systems (SEBD 2009)", V. De Antonellis, S. Castano, B. Catania, G. Guerrini (ed.); Seneca Edizioni, Torino, Italia (2009), ISBN: 978-88-6122-154-3; 5 - 6
• A General Datalog-Based Framework for Tractable Query Answering over Ontologies / A. Cali, G. Gottlob, T. Lukasiewicz / Talk: Italian Symposium on Databases (SEBD), Camogli, Italy; 2009-06-21 - 2009-06-24; in: "Proceedings of the 17th Italian Symposium on Advanced Database Systems (SEBD 2009)", V. De Antonellis, S. Castano, B. Catania, G. Guerrini (ed.); Seneca Edizioni, Torino, Italia (2009), ISBN: 978-88-6122-154-3; 29 - 36
• Datalog±: A Unified Approach to Ontologies and Integrity Constraints / A. Cali, G. Gottlob, T. Lukasiewicz / Keynote Lecture: International Conference on Database Theory (ICDT), Saint-Petersburg, Russia (invited); 2009-03-23 - 2009-03-26; in: "Proceedings of the 12th International Conference on Database Theory (ICDT 2009)", R. Fagin (ed.); ACM International Conference Proceeding Series, 361 (2009), 14 - 30
• Alternation as a Programming Paradigm / W. Dvorak, G. Gottlob, R. Pichler, S. Woltran / Report No. DBAI-TR-2009-64, 2009; 28 pages

2008

• Heuristic Methods for Hypertree Decomposition / A. Dermaku, T. Ganzow, G. Gottlob, B. J. McMahan, N. Musliu, M. Samer / Keynote Lecture: MICAI 2008: 7th Mexican International Conference on Artificial Intelligence, Mexico (invited); 2008-10-27 - 2008-10-31; in: "Lecture Notes in Computer Scienc, MICAI 2008: Advances in Artificial Intelligence", Springer, 5317 (2008), 1 - 11
• Query Answering in the Description Logic Horn-SHIQ / T. Eiter, G. Gottlob, M. Ortiz de la Fuente, M. Simkus / Talk: European Conference on Logics in Artificial Intelligence (JELIA), Dresden, Germany; 2008-09-28 - 2008-10-01; in: "Logics in Artificial Intelligence (JELIA 08)", S. Hölldobler, C. Lutz, H. Wansing (ed.); Lecture Notes in Artificial Intelligence, 5293 (2008), ISBN: 978-3-540-87802-5; 166 - 179
• Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation / G. Gottlob, R. Pichler, F. Wei / Talk: The Twenty-Third AAAI Conference on Artificial Intelligence and the Twentieth Innovative Applications of Artificial Intelligence Conference, Chicago, USA; 2008-07-13 - 2008-07-17; in: "AAAI-08/IAAI-08 Proceedings", A. Cohn, D. M. Hamilton (ed.); AAAI Press, Volume 3 (2008), ISBN: 978-1-57735-368-3; 1541 - 1547
• Computational Aspects of Monotone Dualization: A Brief Survey / T. Eiter, K. Makino, G. Gottlob / Discrete Applied Mathematics, 156 (2008), 11; 2035 - 2049
• From Web Search to Semantic Web Search / B. Fazzinga, G. Gianforme, G. Gottlob, T. Lukasiewicz / Report for TU Wien. Institut für Informationssysteme 184/3, Abteilung für Wissensbasierte Systeme; Report No. INFSYS RR-1843-08-11, 2008; 27 pages

2007

• Foundations of Rule-Based Query / F. Bry, N. Eisinger, T. Eiter, T. Furche, G. Gottlob, C. Ley, B. Linse, R. Pichler, F. Wei / Talk: Third International Summer School 2007, Dresden, Germany; 2007-09-03 - 2007-09-07; in: "Reasoning Web", Lecture Notes in Computer Science, 4636 (2007), ISBN: 978-3-540-74613-3; 1 - 153
• Monadic Datalog over Finite Structures with Bounded Treewidth / G. Gottlob, R. Pichler, F. Wei / Talk: PODS 2007, Beijing, China; 2007-06-11 - 2007-06-13; in: "Proceedings of the Twenty-Sixth ACM SIGMOD-SIGACT-SIGART -Symposium on Principles of Database Systems (PODS 2007)", P. Kolaitis (ed.); ACM, (2007), ISBN: 978-1-59593-685-1; 165 - 174
• The Lixto Systems Applications in Business Intelligence and Semantic Web / R. Baumgartner, O. Frölich, G. Gottlob / Keynote Lecture: 4th European Semantic Web Conference (ESWC 2007), Innsbruck, Österreich; 2007-06-03 - 2007-06-07; in: "Lecture Notes in Computer Science", Springer-Verlag, 4519 (2007), ISBN: 978-3-540-72666-1; 16 - 26

2006

• The Lixto Project: Exploring New Frontiers of Web Data Extraction / J. Carme, M. Ceresna, O. Froelich, G. Gottlob, T. Hassan, M. Herzog, W. Holzinger, B. Krüpl / Keynote Lecture: BNCOD 2006, Belfast, Northern Ireland, UK; 2006-07-18 - 2006-07-20; in: "Flexible and Efficient Information Handling, 23rd British National Conference on Databases, BNCOD 23", D. Bell, J. Hong (ed.); Springer, LNCS 4042 (2006), ISBN: 3-540-35969-9; 1 - 15
• Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning / G. Gottlob, R. Pichler, F. Wei / Talk: Twenty-First National Conference on Artificial Intelligence, Boston, Massachusetts, USA; 2006-07-16 - 2006-07-20; in: "Proceeding of the Twenty-First National Conference on Artificial Intelligence", The AAAI Press, (2006), 250 - 256
• Tractable Database Design through Bounded Treewidth / G. Gottlob, R. Pichler, F. Wei / Talk: PODS 2006, Chicago, USA; 2006-06-26 - 2006-06-28; in: "Proceedings of the Twenty-Fifth ACM SIGMOND-SIGACT-SIGART Symposium on Principles of Database Systems", ACM Press, (2006), ISBN: 1-59593-318-2; 124 - 133
• Data Exchange: Computing Cores in Polynomial Time / G. Gottlob, A. Nash / Talk: PODS 2006, Chicago, USA; 2006-06-26 - 2006-06-28; in: "Proceedings of the Twenty-Fifth ACM SIGMOND-SIGACT-SIGART Symposium on Principles of Database Systems", ACM Press, (2006), ISBN: 1-59593-318-2; 40 - 49
• A Formal Comparison of Visual Web Wrapper Generators / G. Gottlob, C. Koch / Talk: SOFSEM 2006, Merin, Tschech. Republik (invited); 2006-01-21 - 2006-01-27; in: "Theory and Practice of Computer Science", Springer, LNCS 3831 (2006), ISBN: 3-540-31198-x; 30 - 48
• The DLV System for knowledge representation and reasoning / N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, S. Perri, F. Scarcello / ACM Transactions on Computational Logic, Vol. 7 (2006), 3; 499 - 562
• Reasoning Under Minimal Upper Bounds in Propositional Logic / T. Eiter, G. Gottlob / Theoretical Computer Science, 369 (2006), 82 - 115
• Conjunctive Queries over Trees / G. Gottlob, C. Koch, K. Schulz / Journal of the ACM, Vol. 53 (2006), 2; 238 - 272
• Computational Aspects of Monotone Dualization: A Brief Survey / T. Eiter, K. Makino, G. Gottlob / Report for INFSYS RR-1843-06-01, Institut fuer Informationssysteme, Technische Universitaet Wien; Report No. INFSYS RR-1843-06-01, 2006

2005

• The Personal Publications Reader / F. Abel, R. Baumgartner, A. Brooks, C. Enzi, G. Gottlob, N. Henze, M. Herzog, M. Kriesell, W. Nejdl, K. Tomaschewski / Talk: 4th International Semantic Web Conference, ISWC 2005, Galway, Irland; 2005-11-08 - 2005-11-10; in: "The Semantic Web - ISWC 2005", LNCS, 3729 (2005), ISBN: 3-540-29754-5; 1050 - 1053
• The Complexity of Quantified Constraint Satifaction Problems under Structural Restrictions / G. Gottlob, G. Greco, F. Scarcello / Talk: IJCAI-05, Edinburgh, Scotland; 2005-07-30 - 2005-08-05; in: "IJCAI-05 Proceedings", Professional Book Center, (2005), ISBN: 0-938075-93-4; 150 - 155
• Information Extraction for the Semantic Web / R. Baumgartner, T. Eiter, G. Gottlob, M. Herzog, C. Koch / Talk: First International Summer School Reasoning Web 2005, Msida, Malta; 2005-07-25 - 2005-07-29; in: "Reasoning Web", Springer, LNCS 3564 (2005), ISBN: 3-540-27828-1; 275 - 289
• Hypertree Decompositions: Structure, Algorithms, and Applications / G. Gottlob, M. Grohe, N. Musliu, M. Samer, F. Scarcello / Talk: International Workshop on Graph-Theoretic Concepts in Computer Science (WG), Metz, France; 2005-06-23 - 2005-06-25; in: "Proceedings of the 31st International Workshop on Graph-Theoretic Concepts in Computer Science", D. Kratsch (ed.); Springer-Verlag Berlin Heidelberg, Lecture Notes in Computer Science Vol. 3787 (2005), ISBN: 3-540-31000-2; 1 - 15
• Computing Cores for Data Exchange: New Algorithms and Practical Solutions / G. Gottlob / Talk: PODS 2005, Baltimore, USA (invited); 2005-06-13 - 2005-06-15; in: "Proceedings of the Twenty-fourth ACM SIGMOND-SIGACT-SIGART Symposium on Principles of Database Systems", ACM, Inc., New York (2005), ISBN: 1-59593-062-0; 148 - 159
• Integrating Semi-structured Data into Business Applications: A Web Intelligence Example / R. Baumgartner, O. Froelich, G. Gottlob, M. Herzog, P. Lehmann / Talk: KMBI 2005 (Knowledge Management and Business Intelligence), Kaiserslautern, Deutschland (invited); 2005-04-10 - 2005-04-13; in: "Professional Knowledge Management", K.-D. Althof, A. Dengel, R. Bergmann, M. Nick, T. Roth-Berghofer (ed.); Springer, Berlin Heidelberg (2005), ISBN: 3-540-30465-7; 469 - 482
• Web Data Extraction for Business Intelligence: the Lixto Approach / R. Baumgartner, O. Froelich, G. Gottlob, P. Harz, M. Herzog, P. Lehmann / Talk: 11. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme, Karlsruhe, Deutschland (invited); 2005-03-02 - 2005-03-04; in: "Datenbanksysteme in Business, Technologie und Web (BTW)", LNI, Series of the Gesellschaft für Informatik, P-65 (2005), ISBN: 3-88579-394-6; 48 - 65
• Online-Datenextraktion und -Integration für Bibliotheks- und Verlagskataloge / R. Baumgartner, O. Froelich, G. Gottlob, M. Herzog / in: "Festschrift für Peter Kubalek zum 60. Geburtstag", H. Hrusa (ed.); issued by: Bibliothek Technik Recht; Manz, Wien, 2005, (invited), ISBN: 3-214-00389-5, 13 - 24
• Complexity of Nested Circumscription and Nested Abnormality Theories / M. Cadoli, T. Eiter, G. Gottlob / ACM Transactions on Computational Logic, 6 (2005), 2; 232 - 272
• Reasoning Under Minimal Upper Bounds in Propositional Logic / T. Eiter, G. Gottlob / Report for TU Wien, Institut fuer Informationssysteme, INFSYS RR-1843-05-06; 2005; 42 pages

2004

• Annotating the Legacy Web with Lixto / R. Baumgartner, G. Gottlob, M. Herzog, W. Slany / Talk: ISWC 2004, Hiroshima, Japan; 2004-11-09 - 2004-11-11
• Second-Order Logic over Finite Structures - Report on a Research Programme / G. Gottlob / Talk: Second International Joint Conference, IJCAR 2004, Cork, Irland (invited); 2004-07-04 - 2004-07-08; in: "Automated reasoning", Springer-Verlag, (2004), ISBN: 3-540-22345-2; 229 - 243
• Conjunctive Queries over Trees / G. Gottlob, C. Koch, K. Schulz / Talk: PODS 2004, Paris, Frankreich (invited); 2004-06-14 - 2004-06-16; in: "Proceedings of the Twenty-third ACM SIGMOND-SIGACT-SIGART Symposium on Principles of Database Systems", Association for Computing Machinery, Inc. (ACM), New York (2004), ISBN: 1-58113-858-x; 189 - 200
• The_Lixto_Data_Extraction_Project_-_Back_and_Forth_between_Theory_and_Practice / G. Gottlob, C. Koch, R. Baumgartner, M. Herzog, S. Flesca / Talk: PODS 2004, Paris, Frankreich (invited); 2004-06-14 - 2004-06-16; in: "Proceedings of the Twenty-third ACM SIGMOND-SIGACT-SIGART Symposium on Principles of Database Systems", Association for Computing Machinery, Inc. (ACM), New York (2004), ISBN: 1-58113-858-x; 1 - 12
• Generating Wrappers for Web Information Sources / R. Baumgartner, S. Flesca, G. Gottlob, M. Herzog / Talk: Logic Based Information Agents, Dagstuhl, Deutschland (invited); 2004-04-18 - 2004-04-23
• Hypergraph Transversals / G. Gottlob / Talk: Third International Symposium, FoIKS 2004, Vienna, Austria (invited); 2004-02-17 - 2004-02-20; in: "Foundations of Information and Knowledge", Springer - Verlag Heidelberg, Lecture Notes in Computer Science (2004), ISBN: 3-540-20965-4; 1 - 5
• Interactively Adding Web Service Interfaces to Existing Web Applications / R. Baumgartner, G. Gottlob, M. Herzog, W. Slany / Talk: International Symposium on Applications and the Internet, Tokyo, Japan; 2004-01-26 - 2004-01-31; in: "Proceedings of the 2004 International Symposium on Applications and the Internet (SAINT 2004)", IEEE, (2004), ISBN: 0-7695-2068-5; 74 - 80
• Logic-based Web Information Extraction / G. Gottlob, C. Koch / ACM SIGMOD Record, Vol. 33 (2004), 2; 87 - 94
• Monadic Datalog and the Expressive Power of Languages Web Information Extraction / G. Gottlob, C. Koch / Journal of the ACM, 51 (2004), 1; 74 - 113
• Existential second-order logic over graphs: Charting the tractability frontier / G. Gottlob, P. Kolaitis, T. Schwentick / Journal of the ACM, 51 (2004), 2; 312 - 362
• Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width / G. Gottlob, R. Pichler / SIAM JOURNAL ON COMPUTING, Volume 33 (2004), Number 2; 351 - 378

2003

• Web information Extracton with Lixto: Visual Logic and Expressive Power / G. Gottlob, R. Baumgartner, S. Flesca, M. Herzog, C. Koch / Talk: DISI Seminar, Genua, Italien (invited); 2003-11-24 - 2003-11-26
• Web information Extraction with Lixto: Visual Logic and Expressive Power / G. Gottlob / Talk: The 2003 IEEE/WIC International Conference on Web Intelligence (WI 2003), Halifax, Kanada (invited); 2003-10-13 - 2003-10-16
• Xpath Query Processing / G. Gottlob, C. Koch / Talk: The 9th International Workshop on Data Base Programming Languages, Potsdam, Deutschland (invited); 2003-09-06 - 2003-09-08
• Multiagent Compromises, Joint Fixpoints and Stable Models / F. Buccafurri, G. Gottlob / Talk: 2003 Joint Conference on Declarative Programming, Reggio Calabria, Italien; 2003-09-03 - 2003-09-05; in: "Proceedings of the 2003 Joint Conference on Declarative Programming", (2003), 180 - 192
• Monadic Second order Logic and Logic Programming over Tree-Structured Data / G. Gottlob / Talk: 2003 Joint Conference on Declarative Programming, Reggio Calabria, Italien (invited); 2003-09-03 - 2003-09-05
• Visual Programming of Web Data Aggregation Applications / R. Baumgartner, G. Gottlob, M. Herzog / Talk: IIWeb-03: IJCAI-03 Workshop on Information Integration on the Web, Acapulco, Mexiko; 2003-08-09 - 2003-08-10; in: "Information Integration on the Web (IIWeb-03)", S. Kambhampati, C. Knoblock (ed.); (2003), 137 - 142
• Pure Nash Equilibria: Hard and Easy Games / G. Gottlob, G. Greco, F. Scarcello / Talk: 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 03), Bloomington, USA; 2003-06-20 - 2003-06-22; in: "Proceedings of the 9th conference on Theoretical Aspects of Rationality and Knowledge", (2003), 215 - 229
• The Complexity of XPath Query Evaluation / G. Gottlob, C. Koch, R. Pichler / Talk: ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, San Diego, USA (invited); 2003-06-09 - 2003-06-11; in: "Proceedings of the 22nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems", F. Neven (ed.); ACM Press, (2003), ISBN: 1-58113-670-6; 179 - 190
• Existential Second-Order Logic over Graphs: Charting the Tractability Frontier / G. Gottlob / Talk: Model Theory Workshop FMT'03, Bedlewo, Polen (invited); 2003-03-31 - 2003-04-04
• Web Information Acquisition with Lixto Suite: A Demonstration / R. Baumgartner, M. Ceresna, G. Gottlob, M. Herzog, V. Zigo / Poster: 19th International Conference on Data Engineering, Bangalore, India; 2003-03-05 - 2003-03-08; in: "Proceedings 19th International Conference on Data Engineering", IEEE Computer Society, (2003), ISBN: 0-7803-7665-x; 747 - 749
• XPath Query Evaluation: Improving Time and Space Efficiency / G. Gottlob, C. Koch, R. Pichler / Talk: 19th International Conference on Data Engineering, Bangalore, Indien; 2003-03-05 - 2003-03-08; in: "Proceedings on the ICDE 2003", (2003), 379 - 390
• Enabling Systems to access Web Data - Novel Wrapper and Data Aggregation Technology / G. Gottlob, M. Herzog / Talk: Ninth International Conference on Computer Aided Systems Theory - EUROCAST 2003, Las Palmas de Gran Canaria, Spanien (invited); 2003-02-24 - 2004-02-28; in: "Procedings of the Ninth International Conference on Computer Aided Systems Theory", IUCTC Universidad de Las Palmas de Gran Canaria, (2003), ISBN: 84-688-0820-2; 1 - 3
• Enabling Systems to Access Web Data-Novel Wrapper and Data Aggregation Technology / G. Gottlob / Talk: Ninth International Conference on Computer Aided Systems Theory - EUROCAST 2003, Las Palmas de Gran Canaria, Spain (invited); 2003-02-24 - 2003-02-28
• Semantic Markup of News Items with Lixto / R. Baumgartner, S. Eichholz, S. Flesca, G. Gottlob, M. Herzog / in: "Annotation for the Semantic Web", S. Handschuh, S. Staab (ed.); issued by: Frontiers in Artificial Intelligence and Applications; IOS Press Ohmsha, 2003, ISBN: 1-58603-345-x, 63 - 78
• On the Complexity of single-rule datalog Queries / G. Gottlob, C. Papadimitriou / Information and Computation, 183 (2003), 1; 104 - 122
• New Results on Monotone Dualization and Generating Hypergraph Transversals / T. Eiter, G. Gottlob, K. Makino / SIAM JOURNAL ON COMPUTING, 32 (2003), 2; 514 - 537
• XPath Processing in a Nutshell / G. Gottlob, C. Koch, R. Pichler / ACM SIGMOD Record, Issue 1 (2003), Volume 32; 12 - 19
• Lixto - Halfway to the Semantic Web / R. Baumgartner, G. Gottlob, M. Herzog / ÖGAI Journal, 1 (2003), 19 - 24

2002

• Efficient Algortihms for Processing XPath Queries / G. Gottlob / Talk: Ludwig-Maximilian-Universität, München, Deutschland (invited); 2002-12-20
• Monadic Query Languages over Semistructured Data / G. Gottlob / Talk: Ludwig-Maximilian-Universität, München, Deutschland (invited); 2002-12-20
• Web Information Extraction On half-way to the Semantic Web / G. Gottlob / Talk: Universität Prag, Prag, Tschechien (invited); 2002-11-19
• Monadic Query Languages over Semstructured Data / G. Gottlob / Talk: Institut für mathematische Logik, Freiburg, Albert-Ludwigs-Universität Freiburg, Deutschland (invited); 2002-10-20 - 2002-10-21
• Building Dynamic Information Portals - A Case Study in the Agrarian Domain / R. Baumgartner, G. Gottlob, M. Herzog, T. Wiedemair / Talk: Intelligent Systems, Information Society 2002, Ljubljana, Slovenia (invited); 2002-10-14 - 2002-10-18; in: "Proc. on Intelligent Systems, Information Society 2002", M. Bohanec, M. Gams (ed.); Proc. A of Information Society 2002 (2002), ISBN: 961-6303-41-4; 5 - 11
• The DLV System / N. Leone, G. Pfeifer, W. Faber, F. Calimeri, T. Dell´Armi, T. Eiter, G. Gottlob, G. Ianni, G. Ielpa, C. Koch, S. Perri, A. Polleres / Poster: 8th European Conference on Artificial Intelligence, JELIA 2002, Cosenza, Italy (invited); 2002-09-23 - 2002-09-26; in: "Logics in Artificial Intelligence", S. Flesca, S. Greco, N. Leone, G. Ianni (ed.); Lecture Notes in Artificial Intelligence, Springer, 2424 (2002), ISBN: 3-540-44190-5; 537 - 540
• Efficient Algorithms for Processing XPath Queries / G. Gottlob, C. Koch, R. Pichler / Talk: 28th international Conference on Very Large Data Bases 2002, Hong Kong SAR, China; 2002-08-20 - 2002-08-23; in: "Proceedings of the 28th international Conference on Very Large Data Bases 2002", P. Bernstein, Y. Ioannidis, R. Ramakrishnan, D. Papadias (ed.); Morgan Kaufmann Publishers, (2002), ISBN: 1-55860-869-9; 95 - 106
• Monadic Queries over Tree-Structured Data / G. Gottlob, C. Koch / Talk: 17th Annual IEEE Symposium on Logic in Computer Science (LIC'S02), Copenhagen, Denmark (invited); 2002-07-22 - 2002-07-25; in: "Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (LIC'S02)", G. Plotkin (ed.); IEEE Computer Society, (2002), ISBN: 0-7695-1483-9; 189 - 202
• Monadic Datalog and the Expressive Power of Languages for Web Information Extraction. / G. Gottlob, C. Koch / Talk: Twenty-first ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2002), Madison, Wisconsin, USA (invited); 2002-06-03 - 2002-06-06; in: "Proceedings of the Twenty-first ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems", S. Abiteboul (ed.); (2002), ISBN: 1-58113-507-6; 17 - 28
• Visual Data Extraction Through Visual Logic Programming / G. Gottlob / Talk: 9th International Workshop on Non-Monotonic Reasoning (NMR'2002), Toulouse, France (invited); 2002-04-19 - 2002-04-21; in: "Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR'2002)", S. Benferhat, E. Giunchiglia (ed.); (2002), 4
• Hypertree Decompositions / G. Gottlob / Talk: Symposium on the Effectiveness of Logic in Computer Science, Saarbrücken, Deutschland (invited); 2002-03-04 - 2002-03-06
• Multiagent Compromises, Joint Fixpoints, and Stable Models / F. Buccafurri, G. Gottlob / in: "LNAI 2407/Computational Logic: Logic Programming and Beyond", A. Kakas, F. Sadri (ed.); Springer, Berlin, 2002, ISBN: 3-540-43959-5, 561 - 585
• Schule, Internet und Öffentlichkeit / L. Carlotta, G. Gottlob / in: "Internet und Öffentlichkeit", A. von Liechtenstein (ed.); WUV Universitätsverlag, Wien, 2002, ISBN: 3-85114-667-0, 213 - 226
• Propositional Default Logics Made Easier: Computational Complexity of Model Checking / R. Baumgartner, G. Gottlob / Theoretical Computer Science, 289 (2002), 591 - 627
• On the Complexity of Single-Rule Datalog Queries / G. Gottlob, C. Papadimitriou / Information and Computation, 177 (2002)
• Computing LOGCFL certificates / G. Gottlob, N. Leone, F. Scarcello / Theoretical Computer Science, 270 (2002), 1-2; 761 - 777
• Datalog LITE: a deductive query language with linear time model checking / G. Gottlob, E. Grädel, H. Veith / ACM Transactions on Computational Logic, Volume 3 (2002), 1; 42 - 79
• Hypertree Decompositions and Tractable Queries / G. Gottlob, N. Leone, F. Scarcello / Journal of Computer and System Sciences, Vol. 64 (2002), 3; 579 - 627
• Fixed-parameter complexity in AI and nonmonotonic reasoning / G. Gottlob, F. Scarcello, M. Sideri / Artificial Intelligence, Volume 138 (2002), 1-2; 55 - 86
• Hypergraph Transversal Computation and Related Problems in Logic and AI / T. Eiter, G. Gottlob / in: "Logics in Artificial Intelligence, LNAI 2424", S. Flesca, S. Greco, N. Leone, G. Ianni (ed.); Springer, Cosenza, Italy, 2002, ISBN: 3-540-44190-5, 549 - 564
• New Results on Monotone Dualization and Generating Hypergraph Transversals / T. Eiter, G. Gottlob, K. Makino / in: "Proceedings of the 34th annual ACM Symposium on Theory of computing", J. Reif (ed.); ACM Press, New York, NY, USA, 2002, ISBN: 1-58113-495-9, 14 - 22
• The DLV System for Knowledge Representation and Reasoning (INFSYS RR-1843-02-14) / N. Leone, G. Pfeifer, W. Faber, T. Eiter, G. Gottlob, C. Koch, C. Mateis, S. Perri, F. Scarcello / Report for Institut f. Informationssysteme, TU Wien; 2002
• Complexity of Nested Circumscription and Nested Abnormality Theories / M. Cadoli, T. Eiter, G. Gottlob / Report for Institut f. Informationssysteme, TU Wien; 2002
• New Results on Monotone Dualization and Generating Hypergraph Transversals (INFSYS RR-1843-02-05) / T. Eiter, G. Gottlob, K. Makino / Report for Institut f. Informationssysteme, TU Wien; 2002

2001

• Second-Order Logic over Strings: Regular and Non-Regular Fragments / T. Eiter, G. Gottlob, T. Schwentick / Talk: International Conference on Developments in Language Theory (DLT), Vienna, Austria; 2001-07-16 - 2001-07-21; in: "Proceedings Fifth International Conference on Developments in Language Theory (DLT 2001). Revised Papers", W. Kuich et al. (ed.); Springer, (2002), ISBN: 3-540-43453-4; 37 - 56

2000

• A comparison of structural CSP decomposition methods / G. Gottlob, N. Leone, F. Scarcello / Artificial Intelligence, 124 (2000), 243 - 282

1999

• Künstliche Intelligenz / J. Dorn, G. Gottlob / in: "Informatik-Handbuch", issued by: P. Rechenberg und G. Pomberger; Oldenbourg Verlag, 1999, (invited), 975 - 998

Note: Due to the rollout of TU Wien’s new publication database, the list below may be slightly outdated. Once APIs for the new database have been released, everything will be up to date again.

2016

• A Scale-Invariant Spatial Graph Model / Doctoral Thesis by F. Mocnik / Supervisor, Reviewer: A. Frank, G. Gottlob; Department für Geodäsie und Geoinformation, 2016; oral examination: 2016-01-19

2010

• Nonmonotonic Logic Programs with Function Symbols / Doctoral Thesis by M. Simkus / Supervisor, Reviewer: T. Eiter, G. Gottlob; Institut fuer Informationssysteme - AB Wissensbasierte Systeme, 2010; oral examination: 2010-06-02
• User-Guided Information Extraction from Print-Oriented Documents / Doctoral Thesis by T. Hassan / Supervisor, Reviewer: G. Gottlob, G. Kappel; Institut für Informationssysteme, 2010; oral examination: 2010-05-31

2008

• Hypertree Decompositions for Optimal Winner Determination in Combinatorial Auctions / Master Thesis by E. Lebedeva / Supervisor: G. Gottlob, N. Musliu, W. Schafhauser; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008; final examination: 2008-03
• Die Communication Center Management Plattform, Eine Webapplikation zur Hardwaresteuerung/-überwachung / Master Thesis by M. Kulnigg / Supervisor: G. Gottlob, M. Herzog; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2008

2007

• Contributions to Large-Scale Information Acquisition from the Web / Doctoral Thesis by W. Gatterbauer / Supervisor, Reviewer: G. Gottlob, R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; oral examination: 2007-09-25
• Architecture and Security in Networked Virtual Environments / Doctoral Thesis by C. Schallhart / Supervisor, Reviewer: G. Gottlob, H. Veith; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; oral examination: 2007-06-12
• A new Tabu Search Framework and it's Application / Master Thesis by M. Mörz / Supervisor: G. Gottlob, N. Musliu; Institut für Informationssysteme 184/2, 2007; final examination: 2007-03-13
• Telecommunication and the Next Generation Web: Introducing ENUM to the Semantic Web / Doctoral Thesis by K. Reichinger / Supervisor, Reviewer: G. Gottlob, J. Dorn; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; oral examination: 2007-01-16
• A Light-weight Processing Model for Interactive Web Information Acquisition / Doctoral Thesis by V. Zigo / Supervisor, Reviewer: G. Gottlob, G. Kappel; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; oral examination: 2007-01-16
• Generalized Hypertree Decomposition based on Hypergraph Partitioning / Master Thesis by A. Dermaku / Supervisor: G. Gottlob, N. Musliu; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; final examination: 2007-01-09
• Using Licto for Abstract Automation of Web Applications / Master Thesis by C. Semturs / Supervisor: G. Gottlob; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2007; final examination: 2007-01-09

2006

• A Scalable Special - Purpose Metasearch Engine / Doctoral Thesis by O. Jaura / Supervisor, Reviewer: G. Gottlob, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2006; oral examination: 2006-06-20
• Business Intelligence in the Logistic Domain using Visual Information Extraction / Doctoral Thesis by J. A. Díaz Prado / Supervisor, Reviewer: G. Gottlob, R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanker & Artificial Intelligence, 2006; oral examination: 2006-04-26
• Optimierung von Geschäftsprozessen durch integrierte Wrapper-Technologien mit Anwendungsbeispielen aus den Bereichen Mobile Services, Competitive Intelligence und dem Verlagswesen / Doctoral Thesis by O. Frölich / Supervisor, Reviewer: G. Gottlob, G. Kappel; Institut für Informationssysteme, 2006; oral examination: 2006-03-14
• New Heuristic Methods for Tree Decompositions and Generalized Hypertree Decompositions / Master Thesis by W. Schafhauser / Supervisor: G. Gottlob, N. Musliu; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2006
• A Generic Web Service Client and its Usage in the Lixto Transformation Server / Master Thesis by R. Weiss / Supervisor: G. Gottlob, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2006

2005

• Requirements andSystem Design for Next Generation Web Data Extraction and Integration / Doctoral Thesis by G. Ledermüller / Supervisor, Reviewer: G. Gottlob, R. Pichler; Institut für Informationssysteme, Arbeitsbereich Datenbanker & Artificial Intelligence, 2005; oral examination: 2005-11-22
• Supervised Learning of Wrappers from Structured Data Sources / Doctoral Thesis by M. Ceresna / Supervisor, Reviewer: G. Gottlob, C. Koch; Institut für Informationssysteme, Datenbanken & Artificial Intelligence, 2005; oral examination: 2005-06-21
• Semantic Information in Document Retrieval Systems / Master Thesis by M. Domig / Supervisor: G. Gottlob; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2005
• Effiziente Programmierung Template-basierter Webapplikationen / Master Thesis by M. Strenn / Supervisor: G. Gottlob; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2005
• Semantic Content Integration for LBScult - An Architecture for a Location Based Service Platform in the Cultural Heritage Domain / Master Thesis by B. Peißl / Supervisor: G. Gottlob, R. Baumgartner; Institut für Informationssysteme, 2005
• Entwicklung einer Datenbank für die kaufmännische Abteilung der Kraftwerksunion (Siemens) unter Berücksichtigung der Qualitätsanforderungen nach ISO 9001 / Master Thesis by B. Ege / Supervisor: G. Gottlob; Institut für Informationssysteme, AB Datenbanken & Artificial Intelligence, 2005

2004

• Reasoning about Specifications in Model Checking / Doctoral Thesis by M. Samer / Supervisor, Reviewer: H. Veith, G. Gottlob; Institut für Informationssysteme, 2004
• Cryptographic Watermarking / Doctoral Thesis by S. Katzenbeisser / Supervisor, Reviewer: H. Veith, G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2004
• Constraint Solving for Model-based Engineering Applications using Relational Aggrigation / Doctoral Thesis by F. Seelisch / Supervisor, Reviewer: G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2004
• Interfaces zwischen XML-Datemodellen, basierend auf der Software Lixto, und relationalen Datenbanken / Master Thesis by C. Summerer / Supervisor: G. Gottlob, R. Baumgartner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 2004
• Integration of Web Services into Lixto Transformation Server / Master Thesis by C. Tratter / Supervisor: G. Gottlob; Institut für Informatonssysteme, ARGR DAtenbanken & Artificial Intelligence, 2004
• XML-basierte Entwicklungsumgebungen für einfache Web-Applikationen und Prototypen im Umfeld medizinischer Forschungsaufgaben / Master Thesis by P. Freidl / Supervisor: G. Gottlob, R. Baumgartner; Institut für Informationsysteme, ARGR Datenbaken & Artificial Intelligence, 2004

2003

• Heuristic Hypertree Decomposition / Doctoral Thesis by T. Korimort / Supervisor, Reviewer: G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2003
• A machine translation system based on the interlingua method, using ESPERANTO as the interlingua, in conbination with sentence patterns / Doctoral Thesis by E. Fütty / Supervisor, Reviewer: G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2003
• Advances in Answer Set Planning / Doctoral Thesis by A. Polleres / Supervisor, Reviewer: T. Eiter, G. Gottlob; Institut für Informationssysteme, 2003
• Vergleich von Open-Source-Datenbanksystemen: SAP DB, PostgreSQL und MySQL / Master Thesis by V. Krammer / Supervisor: G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2003
• Database Migration from Oracle to SQL Server / Master Thesis by K. Dotchkov / Supervisor: G. Gottlob; Institut für Informationssysteme, ARGR Datenbanken & Artificial Intelligence, 2003
• Generisches Entwickeln mittels PHP und M4 SQL am Beispiel einer Backoffile-Datenbank / Master Thesis by C. Gruber / Supervisor: G. Gottlob; Institut für Informationssysteme, 2003
• Efficient Implementation of Telecommunication Support Tools Based on Database Systems / Master Thesis by T. Györgyfalvay / Supervisor: G. Gottlob; Institut für Informationssysteme, 2003
• Eine webbasierte Übungsumgebung: Ein webbasiertes e-learning Tool im Bereich von Datenbanksystemen mit den Schwerpunkten "minimale Überdeckung", Schlüsselsuche und 3. Normalform / Master Thesis by A. Corradini / Supervisor: G. Gottlob, G. Pfeifer; für Informationssysteme, 2003
• Multi-Platform Publishing / Master Thesis by A. Burner / Supervisor: G. Gottlob, M. Herzog; Institut für Informationssysteme, 2003

2002

• Zero-Latency Data Warehousing - Toward an Integrated Analysis Environment with Minimized Latency for Data Propagations. / Doctoral Thesis by R. Bruckner / Supervisor, Reviewer: A. Tjoa, G. Gottlob; Institut für Softwaretechnik & Interaktive Systeme (E188), 2002
• Declarative Logic-Programming Components for Information Agents / Doctoral Thesis by M. Fink / Supervisor, Reviewer: T. Eiter, G. Gottlob; Institut für Informationssysteme, 2002
• Declarative Logic Programming for Representing Evolving Nonmonotonic Knowledge Bases / Doctoral Thesis by G. Sabbatini / Supervisor, Reviewer: T. Eiter, G. Gottlob; Institut für Informationssysteme, 2002
• A rapid application development environment for XML-based data flow applications / Doctoral Thesis by M. Herzog / Supervisor, Reviewer: G. Gottlob; Institut für Informationssysteme, 2002
• Location Based Services / Master Thesis by T. Gattringer / Supervisor: M. Herzog, G. Gottlob; Institut für Informationssysteme, 2002
• MACE - Verifiying Agent Programs / Master Thesis by T. Wiedemair / Supervisor: G. Gottlob; Institut für Informationssysteme, 2002
• Test Automation - A Case Study / Master Thesis by A. Waser / Supervisor: G. Gottlob; Institut für Informationssysteme, 2002
• Portal Integration of XML-based Information Sources, A Case Study with InfoPipes and Jetspeed / Master Thesis by J. Zhu / Supervisor: G. Gottlob; Institut für Informationssysteme, 2002
• Extracting Tourism Information from the Web / Master Thesis by E. Schwab / Supervisor: G. Gottlob; Institut für Informationssysteme, 2002
• Visual Composition of XML Queries / Master Thesis by G. Ledermüller / Supervisor: G. Gottlob; Institut für Informationssyssteme, 2002
• "Extreme Testing" Komponententest in den "agilen" Softwareentwicklungsmethoden / Master Thesis by M. Jovanovic / Supervisor: G. Gottlob; Institut für Informationssysteme, 2002

2001

• Contributions to Visual Path Following and Knowledge-Based Robot Motion Planning / Doctoral Thesis by G. Kracher / Supervisor, Reviewer: G. Gottlob; Institut für Informationssysteme, 2001

1999

• Analyse der Verwandtschaft von Texten durch sprachunabhängige Methoden / Master Thesis by M. Winkler / Supervisor: K. Seyr, G. Gottlob; Institut für Informationssysteme, 1999

1996

• Wissenserwerb für die Konfiguration von technischen Anlagen mittels Constraint-Satisfaction-Techniken / Master Thesis by T. Rümmele / Supervisor: G. Gottlob, M. Stumptner; Institut für Informationssysteme, Arbeitsbereich Datenbanken & Artificial Intelligence, 1996

• 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

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 .