Joining Fragmented Relations in Distributed Databases. - Stefano Ceri; Georg Gottlob; Giuseppe Pelagatti (XP4.5 Workshop on Database Theory, 1983)

Implementation of a Distributed File System on a Geographic Network of Personal Computers. - S. Copelli; Georg Gottlob (DDSS, 1984)

Fast Subsumption Algorithms. - Georg Gottlob; Alexander Leitsch (European Conference on Computer Algebra (2), 1985)

Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries. - Stefano Ceri; Georg Gottlob (IEEE Trans. Software Eng., 1985)

On the Efficiency of Subsumption Algorithms - Georg Gottlob; Alexander Leitsch (J. ACM, 1985)

Interfacing Relational Databases and Prolog Efficiently. - Stefano Ceri; Georg Gottlob; Gio Wiederhold (Expert Database Conf., 1986)

Translation and Optimization of Logic Queries: The Algebraic Approach. - Stefano Ceri; Georg Gottlob; Luigi Lavazza (VLDB, 1986)

Normalization of Relations and PROLOG. - Stefano Ceri; Georg Gottlob (Commun. ACM, 1986)

Taxonomy and formal properties of distributed joins. - Stefano Ceri; Georg Gottlob; Giuseppe Pelagatti (Inf. Syst., 1986)

Optimizing Joins between Two Partitioned Relations in Distributed Databases. - Stefano Ceri; Georg Gottlob (J. Parallel Distributed Comput., 1986)

Computing Covers for Embedded Functional Dependencies. - Georg Gottlob (PODS, 1987)

Subsumption and Implication. - Georg Gottlob (Inf. Process. Lett., 1987)

On the Size of Nonredundant FD-Covers. - Georg Gottlob (Inf. Process. Lett., 1987)

The Algres Project. - Stefano Ceri; Stefano Crespi-Reghizzi; Georg Gottlob; F. Lamperti; Luigi Lavazza; Letizia Tanca; Roberto V. Zicari (EDBT, 1988)

Closed World Databases Opened Through Null Values. - Georg Gottlob; Roberto V. Zicari (VLDB, 1988)

Properties and Update Semantics of Consistent Views. - Georg Gottlob; Paolo Paolini; Roberto V. Zicari (ACM Trans. Database Syst., 1988)

ALGRES: An Extended Relational Database System for the Specification and Prototyping of Complex Applications. - Filippo Cacace; Stefano Ceri; Stefano Crespi-Reghizzi; Georg Gottlob; Gianfranco Lamperti; Luigi Lavazza; Letizia Tanca; Roberto V. Zicari (CA(i)SE, 1989)

On the Interaction between Transitive Closure and Functional Dependencies. - Georg Gottlob; Michael Schrefl; Markus Stumptner (MFDBS, 1989)

Magic Semi-Joins. - Stefano Ceri; Georg Gottlob; Letizia Tanca; Gio Wiederhold (Inf. Process. Lett., 1989)

What you Always Wanted to Know About Datalog (And Never Dared to Ask). - Stefano Ceri; Georg Gottlob; Letizia Tanca (IEEE Trans. Knowl. Data Eng., 1989)

Efficient Database Access from Prolog. - Stefano Ceri; Georg Gottlob; Gio Wiederhold (IEEE Trans. Software Eng., 1989)

Logic Programming and Databases - Stefano Ceri; Georg Gottlob; Letizia Tanca (Springer, 1990)

Physical Impossibility Instead of Fault Models. - Gerhard Friedrich; Georg Gottlob; Wolfgang Nejdl (AAAI, 1990)

Hypothesis Classification, Abductive Diagnosis and Therapy. - Gerhard Friedrich; Georg Gottlob; Wolfgang Nejdl (Expert Systems in Engineering, 1990)

Semantics of Object-Oriented Data Models - The Evolving Algebra Approach. - Georg Gottlob; Gerti Kappel; Michael Schrefl (East/West Database Workshop, 1990)

Investigations on Armstrong relations, dependency inference, and excluded functional dependencies. - Georg Gottlob; Leonid Libkin (Acta Cybern., 1990)

Towards a Theory of the Repair Process. - Gerhard Friedrich; Georg Gottlob; Wolfgang Nejdl (EPIA, 1991)

On the Complexity of Clause Condensing. - Georg Gottlob (ÖGAI, 1991)

Complexity of Propositional Knowledge Base Revision. - Thomas Eiter; Georg Gottlob (CNKBS, 1992)

Formaiizing the Repair Process. - Gerhard Friedrich; Georg Gottlob; Wolfgang Nejdl (ECAI, 1992)

The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic. - Georg Gottlob (ECAI Workshop on Knowledge Representation and Reasoning, 1992)

Complexity Results for Logic-Based Abduction. - Thomas Eiter; Georg Gottlob (Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992)

An Efficient Method for Eliminating Varying Predicates from a Circumscription. - Marco Cadoli; Thomas Eiter; Georg Gottlob (Artif. Intell., 1992)

On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. - Thomas Eiter; Georg Gottlob (Artif. Intell., 1992)

Selective Inheritance of Attribute Values in Relational Databases. - Georg Gottlob; Michael Schrefl; Markus Stumptner (Discret. Appl. Math., 1992)

Reasoning with parsimonious and moderately grounded expansions. - Thomas Eiter; Georg Gottlob (Fundam. Informaticae, 1992)

Complexity Results for Nonmonotonic Logics. - Georg Gottlob (J. Log. Comput., 1992)

Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information. - Thomas Eiter; Georg Gottlob; Yuri Gurevich (IJCAI, 1993)

Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (Invited Talk Abstract). - Georg Gottlob (LPNMR, 1993)

Complexity Aspects of Various Semantics for Disjunctive Databases. - Thomas Eiter; Georg Gottlob (PODS, 1993)

Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics. - Thomas Eiter; Georg Gottlob (ILPS, 1993)

Removing Redundancy from a Clause. - Georg Gottlob; Christian G. Fermüller (Artif. Intell., 1993)

Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete. - Thomas Eiter; Georg Gottlob (Theor. Comput. Sci., 1993)

Disjunctive Logic Programming over Finite Structures. - Thomas Eiter; Georg Gottlob; Heikki Mannila (GI Jahrestagung, 1994)

Causal Models of Disjunctive Logic Programs. - Jürgen Dix; Georg Gottlob; V. Wiktor Marek (ICLP, 1994)

Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics. - Thomas Eiter; Georg Gottlob; Heikki Mannila (IS/KI, 1994)

From Carnap's Modal Logic to Autoepistemic Logic. - Georg Gottlob (JELIA, 1994)

Adding Disjunction to Datalog. - Thomas Eiter; Georg Gottlob; Heikki Mannila (PODS, 1994)

Complexity and Expressive Power of Disjunctive Logic Programming. - Georg Gottlob (ILPS, 1994)

Cumulative Default Logic: Finite Characterization, Algorithms, and Complexity. - Georg Gottlob; Mingyi Zhang 002 (Artif. Intell., 1994)

Formalizing the Repair Process - Extended Report. - Gerhard Friedrich; Georg Gottlob; Wolfgang Nejdl (Ann. Math. Artif. Intell., 1994)

Relativized Logspace and Generalized Quantifiers over Finite Structures - Georg Gottlob (LICS, 1995)

Complexity Results for Abductive Logic Programming. - Thomas Eiter; Georg Gottlob; Nicola Leone (LPNMR, 1995)

Second Order Logic and the Weak Exponential Hierarchies. - Georg Gottlob; Nicola Leone; Helmut Veith (MFCS, 1995)

The Evolving Algebra Semantics of Class and Role Hierarchies. - Georg Gottlob; Gerti Kappel; Michael Schrefl (Semantics in Databases, 1995)

On the Computational Cost of Disjunctive Logic Programming: Propositional Case. - Thomas Eiter; Georg Gottlob (Ann. Math. Artif. Intell., 1995)

The Complexity of Logic-Based Abduction. - Thomas Eiter; Georg Gottlob (J. ACM, 1995)

NP Trees and Carnap's Modal Logic. - Georg Gottlob (J. ACM, 1995)

Translating Default Logic into Standard Autoepistemic Logic. - Georg Gottlob (J. ACM, 1995)

Identifying the Minimal Transversals of a Hypergraph and Related Problems. - Thomas Eiter; Georg Gottlob (SIAM J. Comput., 1995)

The Complexity of Default Reasoning under the Stationary Fixed Point Semantics - Georg Gottlob (Inf. Comput., 1995)

Collapsing Oracle-Tape Hierarchies. - Georg Gottlob (CCC, 1996)

The PARK Semantics for Active Rules. - Georg Gottlob; Guido Moerkotte; V. S. Subrahmanian (EDBT, 1996)

Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract). - Georg Gottlob (KR, 1996)

Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems. - Thomas Eiter; Georg Gottlob; Yuri Gurevich (Ann. Pure Appl. Log., 1996)

Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations. - Jürgen Dix; Georg Gottlob; V. Wiktor Marek (Fundam. Informaticae, 1996)

Approximating the Stable Model Semantics is Hard. - Georg Gottlob; Miroslaw Truszczynski (Fundam. Informaticae, 1996)

The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. - Thomas Eiter; Georg Gottlob (J. Comput. Syst. Sci., 1996)

Mächtigkeit von Logikprogrammierung über Datenbanken. - Thomas Eiter; Georg Gottlob (Künstliche Intell., 1996)

A Non-Ground Realization of the Stable and Well-Founded Semantics. - Georg Gottlob; Sherry Marcus; Anil Nerode; Gernot Salzer; V. S. Subrahmanian (Theor. Comput. Sci., 1996)

Extending Object-Oriented Systems with Roles. - Georg Gottlob; Michael Schrefl; Brigitte Röck (ACM Trans. Inf. Syst., 1996)

Generalized Quantifiers in Logic Programs. - Thomas Eiter; Georg Gottlob; Helmut Veith (ESSLLI, 1997)

The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic. - Thomas Eiter; Georg Gottlob (FCT, 1997)

Modular Logic Programming and Generalized Quantifiers. - Thomas Eiter; Georg Gottlob; Helmut Veith (LPNMR, 1997)

The dlv System: Model Generator and Advanced Frontends (system description). - Simona Citrigno; Thomas Eiter; Wolfgang Faber 001; Georg Gottlob; Christoph Koch 001; Nicola Leone; Cristinel Mateis; Gerald Pfeifer; Francesco Scarcello (WLP, 1997)

Semantics and Complexity of Abduction from Default Theories. - Thomas Eiter; Georg Gottlob; Nicola Leone (Artif. Intell., 1997)

Well-Founded Semantics for Default Logic. - Gerhard Brewka; Georg Gottlob (Fundam. Informaticae, 1997)

Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions. - Thomas Eiter; Georg Gottlob (J. Log. Program., 1997)

Relativized Logspace and Generalized Quantifiers over Finite Ordered Structures. - Georg Gottlob (J. Symb. Log., 1997)

On the Indiscernibility of Individuals in Logic Programming. - Thomas Eiter; Georg Gottlob; Nicola Leone (J. Log. Comput., 1997)

Abduction from Logic Programs: Semantics and Complexity. - Thomas Eiter; Georg Gottlob; Nicola Leone (Theor. Comput. Sci., 1997)

Default Logic as a Query Language. - Marco Cadoli; Thomas Eiter; Georg Gottlob (IEEE Trans. Knowl. Data Eng., 1997)

Disjunctive Datalog. - Thomas Eiter; Georg Gottlob; Heikki Mannila (ACM Trans. Database Syst., 1997)

On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic. - Thomas Eiter; Georg Gottlob (J. Symb. Log., 1998)

Capturing Relativized Complexity Classes without Order. - Anuj Dawar; Georg Gottlob; Lauri Hella (Math. Log. Q., 1998)

On Tractable Queries and Constraints. - Georg Gottlob; Nicola Leone; Francesco Scarcello (DEXA, 1999)

On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases. - Robert Baumgartner; Georg Gottlob (IJCAI, 1999)

Enhancing Model Checking in Verification by AI Techniques. - Francesco Buccafurri; Thomas Eiter; Georg Gottlob; Nicola Leone (Artif. Intell., 1999)

Succinctness as a Source of Complexity in Logical Formalisms. - Georg Gottlob; Nicola Leone; Helmut Veith (Ann. Pure Appl. Log., 1999)

On the Complexity of Some Inductive Logic Programming Problems. - Georg Gottlob; Nicola Leone; Francesco Scarcello (New Gener. Comput., 1999)

On the Complexity of Theory Curbing. - Thomas Eiter; Georg Gottlob (LPAR, 2000)

A comparison of structural CSP decomposition methods. - Georg Gottlob; Nicola Leone; Francesco Scarcello (Artif. Intell., 2000)

Complexity results for some eigenvector problems. - Thomas Eiter; Georg Gottlob (Int. J. Comput. Math., 2000)

Existential second-order logic over strings. - Thomas Eiter; Yuri Gurevich; Georg Gottlob (J. ACM, 2000)

Report on PODS 2000. - Georg Gottlob (SIGACT News, 2000)

Second-Order Logic over Strings: Regular and Non-regular Fragments. - Thomas Eiter; Georg Gottlob; Thomas Schwentick (Developments in Language Theory, 2001)

Complexity of Nested Circumscription and Abnormality Theories. - Marco Cadoli; Thomas Eiter; Georg Gottlob (IJCAI, 2001)

Visual Web Information Extraction with Lixto. - Robert Baumgartner; Sergio Flesca; Georg Gottlob (Semannot@K-CAP 2001, 2001)

The Elog Web Extraction Language. - Robert Baumgartner; Sergio Flesca; Georg Gottlob (LPAR, 2001)

Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto. - Robert Baumgartner; Sergio Flesca; Georg Gottlob (LPNMR, 2001)

Hypertree Decompositions: A Survey. - Georg Gottlob; Nicola Leone; Francesco Scarcello (MFCS, 2001)

The Lixto Wrapper Generation Tool. - Georg Gottlob (SEBD, 2001)

InfoPipes: A Flexible Framework for M-Commerce Applications. - Marcus Herzog; Georg Gottlob (TES, 2001)

Supervised Wrapper Generation with Lixto. - Robert Baumgartner; Sergio Flesca; Georg Gottlob (VLDB, 2001)

Complexity and expressive power of logic programming. - Evgeny Dantsin; Thomas Eiter; Georg Gottlob; Andrei Voronkov (ACM Comput. Surv., 2001)

Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models. - Georg Gottlob; Reinhard Pichler (Inf. Comput., 2001)

The complexity of acyclic conjunctive queries. - Georg Gottlob; Nicola Leone; Francesco Scarcello (J. ACM, 2001)

On ACTL Formulas Having Linear Counterexamples. - Francesco Buccafurri; Thomas Eiter; Georg Gottlob; Nicola Leone (J. Comput. Syst. Sci., 2001)

Multiagent Compromises, Joint Fixpoints, and Stable Models. - Francesco Buccafurri; Georg Gottlob (Computational Logic: Logic Programming and Beyond, 2002)

Combining hypertree, bicomp, and hinge decomposition. - Georg Gottlob; Martin Hutle; Franz Wotawa (ECAI, 2002)

Hypergraph Transversal Computation and Related Problems in Logic and AI. - Thomas Eiter; Georg Gottlob (JELIA, 2002)

The DLV System. - Nicola Leone; Gerald Pfeifer; Wolfgang Faber 001; Francesco Calimeri; Tina Dell'Armi; Thomas Eiter; Georg Gottlob; Giovambattista Ianni; Giuseppe Ielpa; Christoph Koch 001; Simona Perri; Axel Polleres (JELIA, 2002)

Monadic Queries over Tree-Structured Data. - Georg Gottlob; Christoph Koch 001 (LICS, 2002)

Visual Data Extraction Through Visual Logic Programming. - Georg Gottlob (NMR, 2002)

Fixed-parameter complexity in AI and nonmonotonic reasoning. - Georg Gottlob; Francesco Scarcello; Martha Sideri (Artif. Intell., 2002)

Complexity of Nested Circumscription and Nested Abnormality Theories - Marco Cadoli; Thomas Eiter; Georg Gottlob (CoRR, 2002)

Hypertree Decompositions and Tractable Queries. - Georg Gottlob; Nicola Leone; Francesco Scarcello (J. Comput. Syst. Sci., 2002)

Propositional default logics made easier: computational complexity of model checking. - Robert Baumgartner; Georg Gottlob (Theor. Comput. Sci., 2002)

Computing LOGCFL certificates. - Georg Gottlob; Nicola Leone; Francesco Scarcello (Theor. Comput. Sci., 2002)

Foreword. - Matthias Baaz; Georg Gottlob; Georg Moser (Theor. Comput. Sci., 2002)

Datalog LITE: a deductive query language with linear time model checking. - Georg Gottlob; Erich Grädel; Helmut Veith (ACM Trans. Comput. Log., 2002)

XPath Query Processing. - Georg Gottlob; Christoph Koch 001 (DBPL, 2003)

Web Information Acquisition with Lixto Suite. - Robert Baumgartner; Michal Ceresna; Georg Gottlob; Marcus Herzog; Viktor Zigo (ICDE, 2003)

XPath Query Evaluation: Improving Time and Space Efficiency. - Georg Gottlob; Christoph Koch 001; Reinhard Pichler (ICDE, 2003)

Visual Programming of Web Data Aggregation Applications. - Robert Baumgartner; Georg Gottlob; Marcus Herzog (IIWeb, 2003)

The complexity of XPath query evaluation. - Georg Gottlob; Christoph Koch 001; Reinhard Pichler (PODS, 2003)

On the complexity of single-rule datalog queries. - Georg Gottlob; Christos H. Papadimitriou (Inf. Comput., 2003)

Guest Editor's Foreword. - Georg Gottlob (J. Comput. Syst. Sci., 2003)

Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width. - Georg Gottlob; Nicola Leone; Francesco Scarcello (J. Comput. Syst. Sci., 2003)

New Results on Monotone Dualization and Generating Hypergraph Transversals. - Thomas Eiter; Georg Gottlob; Kazuhisa Makino (SIAM J. Comput., 2003)

XPath Processing in a Nutshell. - Georg Gottlob; Christoph Koch 001; Reinhard Pichler (SIGMOD Rec., 2003)

Hypergraph Transversals. - Georg Gottlob (FoIKS, 2004)

The Lixto Data Extraction Project - Back and Forth between Theory and Practice. - Georg Gottlob; Christoph Koch 001; Robert Baumgartner; Marcus Herzog; Sergio Flesca (PODS, 2004)

Interactively Adding Web Service Interfaces to Existing Web Applications. - Robert Baumgartner; Georg Gottlob; Marcus Herzog; Wolfgang Slany (SAINT, 2004)

Monadic datalog and the expressive power of languages for Web information extraction. - Georg Gottlob; Christoph Koch 001 (J. ACM, 2004)

Existential second-order logic over graphs: Charting the tractability frontier. - Georg Gottlob; Phokion G. Kolaitis; Thomas Schwentick (J. ACM, 2004)

2nd International Workshop on Complexity in Automated Deduction (CiAD) - Foreword. - Georg Gottlob; Miki Hermann; Michaël Rusinowitch (Theory Comput. Syst., 2004)

Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width. - Georg Gottlob; Reinhard Pichler (SIAM J. Comput., 2004)

Logic-based Web Information Extraction. - Georg Gottlob; Christoph Koch 001 (SIGMOD Rec., 2004)

Web Data Extraction for Business Intelligence: The Lixto Approach. - Georg Gottlob (BTW, 2005)

The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions. - Georg Gottlob; Gianluigi Greco; Francesco Scarcello (IJCAI, 2005)

Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic. - Riccardo Rosati 001; Georg Gottlob (IJCAI, 2005)

Data Integration: a Challenging ASP Application. - Nicola Leone; Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Georg Gottlob; Luigi Granata; Gianluigi Greco; Edyta Kalka; Giovambattista Ianni; Domenico Lembo; Maurizio Lenzerini; Vincenzino Lio; et al. (LPNMR, 2005)

Computing cores for data exchange: new algorithms and practical solutions. - Georg Gottlob (PODS, 2005)

Information Extraction for the Semantic Web. - Robert Baumgartner; Thomas Eiter; Georg Gottlob; Marcus Herzog; Christoph Koch 001 (Reasoning Web, 2005)

Boosting Information Integration: The INFOMIX System. - Nicola Leone; Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Georg Gottlob; Gianluigi Greco (SEBD, 2005)

The Personal Publication Reader. - Fabian Abel; Robert Baumgartner; Adrian Brooks; Christian Enzi; Georg Gottlob; Nicola Henze; Marcus Herzog; Matthias Kriesell; Wolfgang Nejdl; Kai Tomaschewski (ISWC, 2005)

The INFOMIX system for advanced integration of incomplete and inconsistent data. - Nicola Leone; Gianluigi Greco; Giovambattista Ianni; Vincenzino Lio; Giorgio Terracina; Thomas Eiter; Wolfgang Faber 001; Michael Fink 001; Georg Gottlob; Riccardo Rosati 001; Domenico Lembo; Maurizio Lenzerini; et al. (SIGMOD Conference, 2005)

Hypertree Decompositions: Structure, Algorithms, and Applications. - Georg Gottlob; Martin Grohe; Nysret Musliu; Marko Samer; Francesco Scarcello (WG, 2005)

Integrating Semi-structured Data into Business Applications: A Web Intelligence Example. - Robert Baumgartner; Oliver Frölich; Georg Gottlob; Marcus Herzog; Peter Lehmann (Wissensmanagement (LNCS Volume), 2005)

The complexity of XPath query evaluation and XML typing. - Georg Gottlob; Christoph Koch 001; Reinhard Pichler; Luc Segoufin (J. ACM, 2005)

Pure Nash Equilibria: Hard and Easy Games. - Georg Gottlob; Gianluigi Greco; Francesco Scarcello (J. Artif. Intell. Res., 2005)

Complexity of propositional nested circumscription and nested abnormality theories. - Marco Cadoli; Thomas Eiter; Georg Gottlob (ACM Trans. Comput. Log., 2005)

Efficient algorithms for processing XPath queries. - Georg Gottlob; Christoph Koch 001; Reinhard Pichler (ACM Trans. Database Syst., 2005)

The Lixto Project: Exploring New Frontiers of Web Data Extraction. - Julien Carme; Michal Ceresna; Oliver Frölich; Georg Gottlob; Tamir Hassan; Marcus Herzog; Wolfgang Holzinger; Bernhard Krüpl (BNCOD, 2006)

Data exchange: computing cores in polynomial time. - Georg Gottlob; Alan Nash (PODS, 2006)

Tractable database design through bounded treewidth. - Georg Gottlob; Reinhard Pichler; Fang Wei 001 (PODS, 2006)

RDF Querying: Language Constructs and Evaluation Methods Compared. - Tim Furche; Benedikt Linse; François Bry; Dimitris Plexousakis; Georg Gottlob (Reasoning Web, 2006)

A Formal Comparison of Visual Web Wrapper Generators. - Georg Gottlob; Christoph Koch 001 (SOFSEM, 2006)

Second-Order Logic over Finite Structures - Report on a Research Programme. - Georg Gottlob (Electron. Notes Discret. Math., 2006)

Conjunctive queries over trees. - Georg Gottlob; Christoph Koch 001; Klaus U. Schulz (J. ACM, 2006)

Reasoning under minimal upper bounds in propositional logic. - Thomas Eiter; Georg Gottlob (Theor. Comput. Sci., 2006)

The DLV system for knowledge representation and reasoning. - Nicola Leone; Gerald Pfeifer; Wolfgang Faber 001; Thomas Eiter; Georg Gottlob; Simona Perri; Francesco Scarcello (ACM Trans. Comput. Log., 2006)

Efficient Datalog Abduction through Bounded Treewidth. - Georg Gottlob; Reinhard Pichler; Fang Wei 001 (AAAI, 2007)

The Lixto Systems Applications in Business Intelligence and Semantic Web. - Robert Baumgartner; Oliver Frölich; Georg Gottlob (ESWC, 2007)

Conditional Constraint Satisfaction: Logical Foundations and Complexity. - Georg Gottlob; Gianluigi Greco; Toni Mancini (IJCAI, 2007)

Complexity of Pure Equilibria in Bayesian Games. - Georg Gottlob; Gianluigi Greco; Toni Mancini (IJCAI, 2007)

Foundations of Rule-Based Query Answering. - François Bry; Norbert Eisinger; Thomas Eiter; Tim Furche; Georg Gottlob; Clemens Ley; Benedikt Linse; Reinhard Pichler; Fang Wei 001 (Reasoning Web, 2007)

On the complexity of combinatorial auctions: structured item graphs and hypertree decomposition. - Georg Gottlob; Gianluigi Greco (EC, 2007)

A Backtracking-Based Algorithm for Computing Hypertree-Decompositions - Georg Gottlob; Marko Samer (CoRR, 2007)

Hypertree width and related hypergraph invariants. - Isolde Adler; Georg Gottlob; Martin Grohe (Eur. J. Comb., 2007)

A logical approach to multicut problems. - Georg Gottlob; Stephanie Tien Lee (Inf. Process. Lett., 2007)

Combinatorial auctions with tractable winner determination. - Georg Gottlob; Gianluigi Greco (SIGecom Exch., 2007)

Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation. - Georg Gottlob; Reinhard Pichler; Fang Wei 001 (AAAI, 2008)

Uniform Constraint Satisfaction Problems and Database Theory. - Francesco Scarcello; Georg Gottlob; Gianluigi Greco (Complexity of Constraints, 2008)

Query Answering in the Description Logic Horn-. - Thomas Eiter; Georg Gottlob; Magdalena Ortiz 001; Mantas Simkus (JELIA, 2008)

Heuristic Methods for Hypertree Decomposition. - Artan Dermaku; Tobias Ganzow; Georg Gottlob; Benjamin J. McMahan; Nysret Musliu; Marko Samer (MICAI, 2008)

On the complexity of deriving schema mappings from database instances. - Pierre Senellart; Georg Gottlob (PODS, 2008)

Fixed-Parameter Algorithms For Artificial Intelligence, Constraint Satisfaction and Database Problems. - Georg Gottlob; Stefan Szeider (Comput. J., 2008)

Width Parameters Beyond Tree-width and their Applications. - Petr Hlinený; Sang-il Oum; Detlef Seese; Georg Gottlob (Comput. J., 2008)

Computational aspects of monotone dualization: A brief survey. - Thomas Eiter; Kazuhisa Makino; Georg Gottlob (Discret. Appl. Math., 2008)

Efficient core computation in data exchange. - Georg Gottlob; Alan Nash (J. ACM, 2008)

A backtracking-based algorithm for hypertree decomposition. - Georg Gottlob; Marko Samer (ACM J. Exp. Algorithmics, 2008)

Datalog Extensions for Tractable Query Answering over Ontologies. - Andrea Calì; Georg Gottlob; Thomas Lukasiewicz (Semantic Web Information Management, 2009)

Wormholes of Communication: Interfacing Virtual Worlds and the Real World. - Alessandro Campi; Georg Gottlob; Ben Hoye (AINA, 2009)

HyperConsistency Width for Constraint Satisfaction: Algorithms and Complexity Results. - Georg Gottlob; Gianluigi Greco; Bruno Marnette (Graph Theory, Computational Intelligence and Thought, 2009)

Tree Projections: Game Characterization and Computational Aspects. - Georg Gottlob; Gianluigi Greco; Zoltán Miklós 001; Francesco Scarcello; Thomas Schwentick (Graph Theory, Computational Intelligence and Thought, 2009)

Tractable Query Answering over Ontologies with Datalog+/-. - Andrea Calì; Georg Gottlob; Thomas Lukasiewicz (Description Logics, 2009)

Tractable Query Answering over Conceptual Schemata. - Andrea Calì; Georg Gottlob; Andreas Pieris (ER, 2009)

Tractable Optimization Problems through Hypergraph-Based Structural Restrictions. - Georg Gottlob; Gianluigi Greco; Francesco Scarcello (ICALP (2), 2009)

Datalog±: a unified approach to ontologies and integrity constraints. - Andrea Calì; Georg Gottlob; Thomas Lukasiewicz (ICDT, 2009)

Size and treewidth bounds for conjunctive queries. - Georg Gottlob; Stephanie Tien Lee; Gregory Valiant (PODS, 2009)

Alternation as a programming paradigm. - Wolfgang Dvorák; Georg Gottlob; Reinhard Pichler; Stefan Woltran (PPDP, 2009)

A General Datalog-Based Framework for Tractable Query Answering over Ontologies (extended abstract). - Andrea Calì; Georg Gottlob; Thomas Lukasiewicz (SEBD, 2009)

Datalog+/-: A Unified Approach to Ontologies and Integrity Constraints. - Georg Gottlob (SEBD, 2009)

Web Data Extraction for Service Creation. - Robert Baumgartner; Alessandro Campi; Georg Gottlob; Marcus Herzog (SeCO Workshop, 2009)

Service Marts. - Alessandro Campi; Stefano Ceri; Georg Gottlob; Andrea Maesani; Stefania Ronchi (SeCO Workshop, 2009)

Combining Semantic Web Search with the Power of Inductive Reasoning. - Claudia d'Amato; Nicola Fanizzi; Bettina Fazzinga; Georg Gottlob; Thomas Lukasiewicz (URSW, 2009)

Generalized hypertree decompositions: NP-hardness and tractable variants. - Georg Gottlob; Zoltán Miklós 001; Thomas Schwentick (J. ACM, 2009)

Scalable Web Data Extraction for Online Market Intelligence. - Robert Baumgartner; Georg Gottlob; Marcus Herzog (Proc. VLDB Endow., 2009)

Normalization and Optimization of Schema Mappings. - Georg Gottlob; Reinhard Pichler; Vadim Savenkov (Proc. VLDB Endow., 2009)

Web Data Extraction System. - Robert Baumgartner; Wolfgang Gatterbauer; Georg Gottlob (Encyclopedia of Database Systems, 2009)

Wrapper Stability. - Georg Gottlob (Encyclopedia of Database Systems, 2009)

Ontological Reasoning with F-logic Lite and its Extensions. - Andrea Calì; Georg Gottlob; Michael Kifer; Thomas Lukasiewicz; Andreas Pieris (AAAI, 2010)

Query Rewriting under Non-Guarded Rules. - Andrea Calì; Georg Gottlob; Andreas Pieris (AMW, 2010)

The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey. - Thomas Eiter; Georg Gottlob; Thomas Schwentick (Fields of Logic and Computation, 2010)

Datalog+/-: A Family of Languages for Ontology Querying. - Andrea Calì; Georg Gottlob; Thomas Lukasiewicz; Andreas Pieris (Datalog, 2010)

Query Answering under Expressive Entity-Relationship Schemata. - Andrea Calì; Georg Gottlob; Andreas Pieris (ER, 2010)

Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications. - Andrea Calì; Georg Gottlob; Thomas Lukasiewicz; Bruno Marnette; Andreas Pieris (LICS, 2010)

Balanced Queries: Divide and Conquer. - Dmitri Akatov; Georg Gottlob (MFCS, 2010)

Query Answering under Non-guarded Rules in Datalog+/-. - Andrea Calì; Georg Gottlob; Andreas Pieris (RR, 2010)

Inductive reasoning and semantic web search. - Claudia d'Amato; Floriana Esposito; Nicola Fanizzi; Bettina Fazzinga; Georg Gottlob; Thomas Lukasiewicz (SAC, 2010)

Tractable Query Answering over Conceptual Schemata (Extended Abstract). - Andrea Calì; Georg Gottlob; Andreas Pieris (SEBD, 2010)

Bounded treewidth as a key to tractability of knowledge representation and reasoning. - Georg Gottlob; Reinhard Pichler; Fang Wei 001 (Artif. Intell., 2010)

Tractable database design and datalog abduction through bounded treewidth. - Georg Gottlob; Reinhard Pichler; Fang Wei 001 (Inf. Syst., 2010)

Schema mapping discovery from data instances. - Georg Gottlob; Pierre Senellart (J. ACM, 2010)

The Impact of Virtual Views on Containment. - Michael Benedikt; Georg Gottlob (Proc. VLDB Endow., 2010)

Advanced Processing for Ontological Queries. - Andrea Calì; Georg Gottlob; Andreas Pieris (Proc. VLDB Endow., 2010)

Monadic datalog over finite structures of bounded treewidth. - Georg Gottlob; Reinhard Pichler; Fang Wei 001 (ACM Trans. Comput. Log., 2010)

New Expressive Languages for Ontological Query Answering. - Andrea Calì; Georg Gottlob; Andreas Pieris (AAAI, 2011)

Ontological Query Answering via Rewriting. - Georg Gottlob; Giorgio Orsi 001; Andreas Pieris (ADBIS, 2011)

Optimization Methods for the Partner Units Problem. - Markus Aschinger; Conrad Drescher; Gerhard Friedrich; Georg Gottlob; Peter Jeavons 001; Anna Ryabokon; Evgenij Thorstensen (CPAIOR, 2011)

Exploring the web with OXPath. - Tim Furche; Georg Gottlob; Giovanni Grasso 001; Christian Schallhart; Andrew Jon Sellers (EDBT/ICDT Workshop on Linked Web Data Management, 2011)

Taking the OXPath down the deep web. - Andrew Jon Sellers; Tim Furche; Georg Gottlob; Giovanni Grasso 001; Christian Schallhart (EDBT, 2011)

Querying Conceptual Schemata with Expressive Equality Constraints. - Andrea Calì; Georg Gottlob; Andreas Pieris (ER, 2011)

Ontological queries: Rewriting and optimization. - Georg Gottlob; Giorgio Orsi 001; Andreas Pieris (ICDE, 2011)

How the Minotaur Turned into Ariadne: Ontologies in Web Data Extraction. - Tim Furche; Georg Gottlob; Xiaonan Guo; Christian Schallhart; Andrew Jon Sellers; Cheng Wang (ICWE, 2011)

Tackling the Partner Units Configuration Problem. - Markus Aschinger; Conrad Drescher; Georg Gottlob; Peter Jeavons 001; Evgenij Thorstensen (IJCAI, 2011)

Determining relevance of accesses at runtime. - Michael Benedikt; Georg Gottlob; Pierre Senellart (PODS, 2011)

Little Knowledge Rules the Web: Domain-Centric Result Page Extraction. - Tim Furche; Georg Gottlob; Giovanni Grasso 001; Giorgio Orsi 001; Christian Schallhart; Cheng Wang (RR, 2011)

Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies. - Georg Gottlob; Thomas Lukasiewicz; Gerardo I. Simari (RR, 2011)

Structural Decomposition Methods and What They are Good For. - Markus Aschinger; Conrad Drescher; Georg Gottlob; Peter Jeavons 001; Evgenij Thorstensen (STACS, 2011)

Answering Threshold Queries in Probabilistic Datalog+/- Ontologies. - Georg Gottlob; Thomas Lukasiewicz; Gerardo I. Simari (SUM, 2011)

Real understanding of real estate forms. - Tim Furche; Georg Gottlob; Giovanni Grasso 001; Xiaonan Guo; Giorgio Orsi 001; Christian Schallhart (WIMS, 2011)

OXPath: little language, little memory, great value. - Andrew Jon Sellers; Tim Furche; Georg Gottlob; Giovanni Grasso 001; Christian Schallhart (WWW (Companion Volume), 2011)

Determining Relevance of Accesses at Runtime (Extended Version) - Michael Benedikt; Georg Gottlob; Pierre Senellart (CoRR, 2011)

Introducing LoCo, a Logic for Configuration Problems - Markus Aschinger; Conrad Drescher; Georg Gottlob (LoCoCo, 2011)

Ontological Queries: Rewriting and Optimization (Extended Version) - Georg Gottlob; Giorgio Orsi 001; Andreas Pieris (CoRR, 2011)

Computer Science & Problem Solving: New Foundations (Dagstuhl Seminar 11351). - Iris van Rooij; Yll Haxhimusa; Zygmunt Pizlo; Georg Gottlob (Dagstuhl Reports, 2011)

Distributed XML design. - Serge Abiteboul; Georg Gottlob; Marco Manna (J. Comput. Syst. Sci., 2011)

OXPath: A Language for Scalable, Memory-efficient Data Extraction from Web Applications. - Tim Furche; Georg Gottlob; Giovanni Grasso 001; Christian Schallhart; Andrew Jon Sellers (Proc. VLDB Endow., 2011)

A logical toolbox for ontological reasoning. - Andrea Calì; Georg Gottlob; Thomas Lukasiewicz; Andreas Pieris (SIGMOD Rec., 2011)

Semantic Web search based on ontological conjunctive queries. - Bettina Fazzinga; Giorgio Gianforme; Georg Gottlob; Thomas Lukasiewicz (J. Web Semant., 2011)

The Return of the Entity-Relationship Model: Ontological Query Answering. - Andrea Calì; Georg Gottlob; Andreas Pieris (Semantic Search over the Web, 2012)

Equality-Friendly Well-Founded Semantics and Applications to Description Logics. - Georg Gottlob; André Hernich; Clemens Kupke; Thomas Lukasiewicz (AAAI, 2012)

On the Interaction of Existential Rules and Equality Constraints in Ontology Querying. - Andrea Calì; Georg Gottlob; Giorgio Orsi 001; Andreas Pieris (Correct Reasoning, 2012)

DIADEM: Domains to Databases. - Tim Furche; Georg Gottlob; Christian Schallhart (DEXA (1), 2012)

Querying UML Class Diagrams. - Andrea Calì; Georg Gottlob; Giorgio Orsi 001; Andreas Pieris (FoSSaCS, 2012)

Rewriting Ontological Queries into Small Nonrecursive Datalog Programs. - Georg Gottlob; Thomas Schwentick (KR, 2012)

On the Complexity of Ontological Reasoning under Disjunctive Existential Rules. - Georg Gottlob; Marco Manna; Michael Morak; Andreas Pieris (MFCS, 2012)

Datalog and Its Extensions for Semantic Web Databases. - Georg Gottlob; Giorgio Orsi 001; Andreas Pieris; Mantas Simkus (Reasoning Web, 2012)

Preface. - Marco Brambilla 001; Stefano Ceri; Tim Furche; Georg Gottlob (VLDS, 2012)

DIADEM: domain-centric, intelligent, automated data extraction methodology. - Tim Furche; Georg Gottlob; Giovanni Grasso 001; Omer Gunes; Xiaonan Guo; Andrey Kravchenko; Giorgio Orsi 001; Christian Schallhart; Andrew Jon Sellers; Cheng Wang (WWW (Companion Volume), 2012)

OPAL: automated form understanding for the deep web. - Tim Furche; Georg Gottlob; Giovanni Grasso 001; Xiaonan Guo; Giorgio Orsi 001; Christian Schallhart (WWW, 2012)

Towards more expressive ontology languages: The query answering problem. - Andrea Calì; Georg Gottlob; Andreas Pieris (Artif. Intell., 2012)

On minimal constraint networks. - Georg Gottlob (Artif. Intell., 2012)

Ontology-based semantic search on the Web and its combination with the power of inductive reasoning. - Claudia d'Amato; Nicola Fanizzi; Bettina Fazzinga; Georg Gottlob; Thomas Lukasiewicz (Ann. Math. Artif. Intell., 2012)

AMBER: Automatic Supervision for Multi-Attribute Extraction - Tim Furche; Georg Gottlob; Giovanni Grasso 001; Giorgio Orsi 001; Christian Schallhart; Cheng Wang (CoRR, 2012)

Taming the Infinite Chase: Query Answering under Expressive Integrity Constraints - Andrea Calì; Georg Gottlob; Michael Kifer (CoRR, 2012)

Ontological query answering under expressive Entity-Relationship schemata. - Andrea Calì; Georg Gottlob; Andreas Pieris (Inf. Syst., 2012)

Size and Treewidth Bounds for Conjunctive Queries. - Georg Gottlob; Stephanie Tien Lee; Gregory Valiant; Paul Valiant (J. ACM, 2012)

A general Datalog-based framework for tractable query answering over ontologies. - Andrea Calì; Georg Gottlob; Thomas Lukasiewicz (J. Web Semant., 2012)

Tractable Reasoning in Description Logics with Functionality Constraints. - Andrea Calì; Georg Gottlob; Andreas Pieris (In Search of Elegance in the Theory and Practice of Computation, 2013)

Well-Founded Semantics for Extended Datalog and Ontological Reasoning. - André Hernich; Clemens Kupke; Thomas Lukasiewicz; Georg Gottlob (Description Logics, 2013)

Querying the Guarded Fragment with Transitivity. - Georg Gottlob; Andreas Pieris; Lidia Tendera (ICALP (2), 2013)

Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics. - Samson Abramsky; Georg Gottlob; Phokion G. Kolaitis (IJCAI, 2013)

Deciding monotone duality and identifying frequent itemsets in quadratic logspace. - Georg Gottlob (PODS, 2013)

Semantic Web Search and Inductive Reasoning. - Claudia d'Amato; Nicola Fanizzi; Bettina Fazzinga; Georg Gottlob; Thomas Lukasiewicz (URSW (LNCS Vol.), 2013)

Query answering under probabilistic uncertainty in Datalog+ / - ontologies. - Georg Gottlob; Thomas Lukasiewicz; Maria Vanina Martinez; Gerardo I. Simari (Ann. Math. Artif. Intell., 2013)

Marco Cadoli's work on nonmonotonic reasoning. - Thomas Eiter; Georg Gottlob (Intelligenza Artificiale, 2013)

Decomposing combinatorial auctions and set packing problems. - Georg Gottlob; Gianluigi Greco (J. ACM, 2013)

Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. - Andrea Calì; Georg Gottlob; Michael Kifer (J. Artif. Intell. Res., 2013)

Combining decidability paradigms for existential rules. - Georg Gottlob; Marco Manna; Andreas Pieris (Theory Pract. Log. Program., 2013)

The ontological key: automatically understanding and integrating forms to access the deep Web. - Tim Furche; Georg Gottlob; Giovanni Grasso 001; Xiaonan Guo; Giorgio Orsi 001; Christian Schallhart (VLDB J., 2013)

OXPath: A language for scalable data extraction, automation, and crawling on the deep web. - Tim Furche; Georg Gottlob; Giovanni Grasso 001; Christian Schallhart; Andrew Jon Sellers (VLDB J., 2013)

Treewidth and Hypertree Width. - Georg Gottlob; Gianluigi Greco; Francesco Scarcello (Tractability, 2014)

Invited Talks. - Franz Baader; Anthony G. Cohn 001; Georg Gottlob; Sheila A. McIlraith (KR, 2014)

Stable Model Semantics for Guarded Existential Rules and Description Logics. - Georg Gottlob; André Hernich; Clemens Kupke; Thomas Lukasiewicz (KR, 2014)

Datalog+/-: Questions and Answers. - Georg Gottlob; Thomas Lukasiewicz; Andreas Pieris (KR, 2014)

Polynomial Combined Rewritings for Existential Rules. - Georg Gottlob; Marco Manna; Andreas Pieris (KR, 2014)

Expressiveness of guarded existential rule languages. - Georg Gottlob; Sebastian Rudolph; Mantas Simkus (PODS, 2014)

The price of query rewriting in ontology-based data access. - Georg Gottlob; Stanislav Kikot; Roman Kontchakov; Vladimir V. Podolskii; Thomas Schwentick; Michael Zakharyaschev (Artif. Intell., 2014)

A front row seat to Communications' editorial transformation. - Alfred V. Aho; Georg Gottlob (Commun. ACM, 2014)

Querying the Guarded Fragment. - Vince Bárány; Georg Gottlob; Martin Otto 001 (Log. Methods Comput. Sci., 2014)

DIADEM: Thousands of Websites to a Single Database. - Tim Furche; Georg Gottlob; Giovanni Grasso 001; Xiaonan Guo; Giorgio Orsi 001; Christian Schallhart; Cheng Wang (Proc. VLDB Endow., 2014)

LoCo - A Logic for Configuration Problems. - Markus Aschinger; Conrad Drescher; Georg Gottlob; Heribert Vollmer (ACM Trans. Comput. Log., 2014)

Query Rewriting and Optimization for Ontological Databases. - Georg Gottlob; Giorgio Orsi 001; Andreas Pieris (ACM Trans. Database Syst., 2014)

Chase Termination for Guarded Existential Rules. - Marco Calautti; Georg Gottlob; Andreas Pieris (AMW, 2015)

Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations. - Georg Gottlob; Marco Manna; Andreas Pieris (Description Logics, 2015)

Polynomial Rewritings for Linear Existential Rules. - Georg Gottlob; Marco Manna; Andreas Pieris (IJCAI, 2015)

Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue. - Georg Gottlob; Andreas Pieris (IJCAI, 2015)

Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-. - Georg Gottlob; Giorgio Orsi 001; Andreas Pieris (RuleML, 2015)

Recent Advances in Datalog ^ pm. - Georg Gottlob; Michael Morak; Andreas Pieris (Reasoning Web, 2015)

A Datalog-Based Language for Querying RDF Graphs. - Marcelo Arenas; Georg Gottlob; Andreas Pieris (AMW, 2016)

Semantic Acyclicity Under Constraints. - Pablo Barceló; Georg Gottlob; Andreas Pieris (AMW, 2016)

Data Wrangling for Big Data: Towards a Lingua Franca for Data Wrangling. - Tim Furche; Georg Gottlob; Bernd Neumayr; Emanuel Sallinger (AMW, 2016)

Data Wrangling for Big Data: Challenges and Opportunities. - Tim Furche; Georg Gottlob; Leonid Libkin; Giorgio Orsi 001; Norman W. Paton (EDBT, 2016)

The ICDT 2016 Test of Time Award Announcement. - Foto N. Afrati; Claire David; Georg Gottlob (ICDT, 2016)

Hypertree Decompositions: Questions and Answers. - Georg Gottlob; Gianluigi Greco; Nicola Leone; Francesco Scarcello (PODS, 2016)

Tractability frontiers of the partner units configuration problem. - Erich Christian Teppan; Gerhard Friedrich; Georg Gottlob (J. Comput. Syst. Sci., 2016)

Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - Corrigendum. - Georg Gottlob; Marco Manna; Andreas Pieris (Theory Pract. Log. Program., 2016)

Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability. - Georg Gottlob; Reinhard Pichler; Emanuel Sallinger (AMW, 2017)

Swift Logic for Big Data and Knowledge Graphs. - Luigi Bellomarini; Georg Gottlob; Andreas Pieris; Emanuel Sallinger (IJCAI, 2017)

Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data. - Georg Gottlob; Christoph Koch 001; Andreas Pieris (LATA, 2017)

The VADA Architecture for Cost-Effective Data Wrangling. - Nikolaos Konstantinou 001; Martin Koehler; Edward Abel; Cristina Civili; Bernd Neumayr; Emanuel Sallinger; Alvaro A. A. Fernandes; Georg Gottlob; John A. Keane; Leonid Libkin; Norman W. Paton (SIGMOD Conference, 2017)

Preface of the Special Issue in Memoriam Helmut Veith. - Georg Gottlob; Thomas A. Henzinger; Georg Weissenbacher (Formal Methods Syst. Des., 2017)

The Vadalog System: Swift Logic for Big Data and Enterprise Knowledge Graphs. - Luigi Bellomarini; Georg Gottlob; Andreas Pieris; Emanuel Sallinger (AMW, 2018)

General and Fractional Hypertree Decompositions: Hard and Easy Cases (extended abstract). - Wolfgang Fischl; Georg Gottlob; Reinhard Pichler (AMW, 2018)

Finite Model Reasoning in Hybrid Classes of Existential Rules. - Georg Gottlob; Marco Manna; Andreas Pieris (IJCAI, 2018)

Data Science with Vadalog: Bridging Machine Learning and Reasoning. - Luigi Bellomarini; Ruslan R. Fayzrakhmanov; Georg Gottlob; Andrey Kravchenko; Eleonora Laurenza; Yavor Nenov; Stéphane Reissfelder; Emanuel Sallinger; Evgeny Sherkhonov; Lianlong Wu (MEDI, 2018)

General and Fractional Hypertree Decompositions: Hard and Easy Cases. - Wolfgang Fischl; Georg Gottlob; Reinhard Pichler (PODS, 2018)

Vadalog: A Language and System for Knowledge Graphs. - Luigi Bellomarini; Georg Gottlob; Andreas Pieris; Emanuel Sallinger (RuleML+RR, 2018)

Swift Logic for Big Data and Knowledge Graphs - Overview of Requirements, Language, and System. - Luigi Bellomarini; Georg Gottlob; Andreas Pieris; Emanuel Sallinger (SOFSEM, 2018)

Browserless Web Data Extraction: Challenges and Opportunities. - Ruslan R. Fayzrakhmanov; Emanuel Sallinger; Ben Spencer; Tim Furche; Georg Gottlob (WWW, 2018)

Semantic Width of Conjunctive Queries and Constraint Satisfaction Problems. - Georg Gottlob; Matthias Lanzinger; Reinhard Pichler (CoRR, 2018)

The Impact of Active Domain Predicates on Guarded Existential Rules. - Georg Gottlob; Andreas Pieris; Mantas Simkus (Fundam. Informaticae, 2018)

Tree projections and constraint optimization problems: Fixed-parameter tractability and parallel algorithms. - Georg Gottlob; Gianluigi Greco; Francesco Scarcello (J. Comput. Syst. Sci., 2018)

The Vadalog System: Datalog-based Reasoning for Knowledge Graphs. - Luigi Bellomarini; Emanuel Sallinger; Georg Gottlob (Proc. VLDB Endow., 2018)

Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic. - Georg Gottlob; Enrico Malizia (SIAM J. Comput., 2018)

Expressive Languages for Querying the Semantic Web. - Marcelo Arenas; Georg Gottlob; Andreas Pieris (ACM Trans. Database Syst., 2018)

Web Data Extraction System. - Robert Baumgartner; Wolfgang Gatterbauer; Georg Gottlob (Encyclopedia of Database Systems (2nd ed.), 2018)

Wrapper Stability. - Georg Gottlob (Encyclopedia of Database Systems (2nd ed.), 2018)

Datalog-based Reasoning for Knowledge Graphs. - Luigi Bellomarini; Georg Gottlob; Emanuel Sallinger (AMW, 2019)

Semantic Width Revisited (Extended Abstract). - Georg Gottlob; Matthias Lanzinger; Reinhard Pichler (AMW, 2019)

Parallel Computation of Generalized Hypertree Decompositions. - Georg Gottlob; Cem Okulmus; Reinhard Pichler (AMW, 2019)

Feature Engineering and Explainability with Vadalog: A Recommender Systems Application. - Jack Clearman; Ruslan R. Fayzrakhmanov; Georg Gottlob; Yavor Nenov; Stéphane Reissfelder; Emanuel Sallinger; Evgeny Sherkhonov (Datalog, 2019)

Knowledge Graphs and Enterprise AI: The Promise of an Enabling Technology. - Luigi Bellomarini; Daniele Fakhoury; Georg Gottlob; Emanuel Sallinger (ICDE, 2019)

Datalog: Bag Semantics via Set Semantics. - Leopoldo E. Bertossi; Georg Gottlob; Reinhard Pichler (ICDT, 2019)

Vadalog: Recent Advances and Applications. - Georg Gottlob; Andreas Pieris; Emanuel Sallinger (JELIA, 2019)

RED: Redundancy-Driven Data Extraction from Result Pages? - Jinsong Guo; Valter Crescenzi; Tim Furche; Giovanni Grasso 001; Georg Gottlob (WWW, 2019)

VADA: an architecture for end user informed data preparation. - Nikolaos Konstantinou 001; Edward Abel; Luigi Bellomarini; Alex Bogatu; Cristina Civili; Endri Irfanie; Martin Koehler; Lacramioara Mazilu; Emanuel Sallinger; Alvaro A. A. Fernandes; Georg Gottlob; John A. Keane; et al. (J. Big Data, 2019)

The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions. - Georg Gottlob; Matthias Lanzinger; Davide Mario Longo; Cem Okulmus; Reinhard Pichler (CPAIOR, 2020)

An Evolutionary Algorithm for Rule Learning over Knowledge Graphs. - Lianlong Wu; Emanuel Sallinger; Evgeny Sherkhonov; Sahar Vahdati; Georg Gottlob (KR4L@ECAI, 2020)

Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems. - Hubie Chen; Georg Gottlob; Matthias Lanzinger; Reinhard Pichler (IJCAI, 2020)

Multi-head Guarded Existential Rules Over Fixed Signatures. - Georg Gottlob; Marco Manna; Andreas Pieris (KR, 2020)

2020 ACM PODS Alberto O. Mendelzon Test-of-Time Award. - Georg Gottlob; Jan Van den Bussche; Dirk Van Gucht (PODS, 2020)

Complexity Analysis of General and Fractional Hypertree Decompositions. - Georg Gottlob; Matthias Lanzinger; Reinhard Pichler; Igor Razgon (CoRR, 2020)

Semantic Optimization of Conjunctive Queries. - Pablo Barceló; Diego Figueira; Georg Gottlob; Andreas Pieris (J. ACM, 2020)

Monadic Datalog, Tree Validity, and Limited Access Containment. - Michael Benedikt; Pierre Bourhis; Georg Gottlob; Pierre Senellart (ACM Trans. Comput. Log., 2020)

Querying the Semantic Web via Rules. - Marcelo Arenas; Georg Gottlob; Andreas Pieris (Applications and Practices in Ontology Design, Extraction, and Reasoning, 2020)

Distributed Company Control in Company Shareholding Graphs. - Andrea Gulino; Stefano Ceri; Georg Gottlob; Emanuel Sallinger; Luigi Bellomarini (ICDE, 2021)

Panel on "Past and Future of Computer Science Theory" (Discussion Paper). - Ronald Fagin; Georg Gottlob; Christos H. Papadimitriou; Moshe Y. Vardi; Giorgio Ausiello; Maurizio Lenzerini; Domenico Saccà; Luigi Palopoli 001; Francesco Scarcello (SEBD, 2021)

On the Complexity of Inductively Learning Guarded Rules. - Andrei Draghici; Georg Gottlob; Matthias Lanzinger (CoRR, 2021)

Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity. - Georg Gottlob; André Hernich; Clemens Kupke; Thomas Lukasiewicz (J. ACM, 2021)

Complexity Analysis of Generalized and Fractional Hypertree Decompositions. - Georg Gottlob; Matthias Lanzinger; Reinhard Pichler; Igor Razgon (J. ACM, 2021)

HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings. - Wolfgang Fischl; Georg Gottlob; Davide Mario Longo; Reinhard Pichler (ACM J. Exp. Algorithmics, 2021)

On the Complexity of Inductively Learning Guarded Clauses. - Andrei Draghici; Georg Gottlob; Matthias Lanzinger (AAAI, 2022)

Adventures with Datalog: Walking the Thin Line Between Theory and Practice. - Georg Gottlob (AI*IA, 2022)

CompeGen: Computing Company Competitor Pairs By Knowledge Based Inference Combined With Empirical Validation. - Georg Gottlob; Jinsong Guo; Aditya Jami; Markus Kröll; Stéphane Reissfeldee; Lukas Schweizer; Eric Aichinger; Stefano Sferrazza (Datalog, 2022)

New Perspectives for Fuzzy Datalog (Extended Abstract). - Matthias Lanzinger; Stefano Sferrazza; Georg Gottlob (Datalog, 2022)

Democratizing Financial Knowledge Graph Construction by Mining Massive Brokerage Research Reports. - Zehua Cheng; Lianlong Wu; Thomas Lukasiewicz; Emanuel Sallinger; Georg Gottlob (EDBT/ICDT Workshops, 2022)

Rule Learning over Knowledge Graphs with Genetic Logic Programming. - Lianlong Wu; Emanuel Sallinger; Evgeny Sherkhonov; Sahar Vahdati; Georg Gottlob (ICDE, 2022)

Non-Uniformly Terminating Chase: Size and Complexity. - Marco Calautti; Georg Gottlob; Andreas Pieris (PODS, 2022)

Fast and parallel decomposition of constraint satisfaction problems. - Georg Gottlob; Cem Okulmus; Reinhard Pichler (Constraints An Int. J., 2022)

Data science with Vadalog: Knowledge Graphs with machine learning and reasoning in practice. - Luigi Bellomarini; Ruslan R. Fayzrakhmanov; Georg Gottlob; Andrey Kravchenko; Eleonora Laurenza; Yavor Nenov; Stéphane Reissfelder; Emanuel Sallinger; Evgeny Sherkhonov; Sahar Vahdati; Lianlong Wu (Future Gener. Comput. Syst., 2022)

Vadalog: A modern architecture for automated reasoning with large knowledge graphs. - Luigi Bellomarini; Davide Benedetto; Georg Gottlob; Emanuel Sallinger (Inf. Syst., 2022)

The Space-Efficient Core of Vadalog. - Gerald Berger; Georg Gottlob; Andreas Pieris; Emanuel Sallinger (ACM Trans. Database Syst., 2022)

MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations. - Matthias Lanzinger; Stefano Sferrazza; Georg Gottlob (Theory Pract. Log. Program., 2022)

Incremental Updates of Generalized Hypertree Decompositions. - Georg Gottlob; Matthias Lanzinger; Davide Mario Longo; Cem Okulmus (ACM J. Exp. Algorithmics, 2022)

Reaching Back to Move Forward: Using Old Ideas to Achieve a New Level of Query Optimization (short paper). - Georg Gottlob; Matthias Lanzinger; Davide Mario Longo; Cem Okulmus; Reinhard Pichler; Alexander Selzer (AMW, 2023)

MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Extended Abstract). - Matthias Lanzinger; Stefano Sferrazza; Georg Gottlob (IJCAI, 2023)

Structure-Guided Query Evaluation: Towards Bridging the Gap from Theory to Practice. - Georg Gottlob; Matthias Lanzinger; Davide Mario Longo; Cem Okulmus; Reinhard Pichler; Alexander Selzer (CoRR, 2023)

SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog [Experiment, Analysis and Benchmark]. - Renzo Angles; Georg Gottlob; Aleksandar Pavlovic 002; Reinhard Pichler; Emanuel Sallinger (CoRR, 2023)

When Automatic Filtering Comes to the Rescue: Pre-Computing Company Competitor Pairs in Owler. - Jinsong Guo; Aditya Jami; Markus Kröll; Lukas Schweizer; Sergey Paramonov 001; Eric Aichinger; Stefano Sferrazza; Mattia Scaccia; Stéphane Reissfelder; Eda Cicek; Giovanni Grasso 001; Georg Gottlob (Proc. ACM Manag. Data, 2023)

SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog. - Renzo Angles; Georg Gottlob; Aleksandar Pavlovic 002; Reinhard Pichler; Emanuel Sallinger (Proc. VLDB Endow., 2023)

Polynomial combined first-order rewritings for linear and guarded existential rules. - Georg Gottlob; Marco Manna; Andreas Pieris (Artif. Intell., 2023)

Fractional covers of hypergraphs with bounded multi-intersection. - Georg Gottlob; Matthias Lanzinger; Reinhard Pichler; Igor Razgon (Theor. Comput. Sci., 2023)

Artificial Intelligence and Artificial Ignorance (Invited Talk). - Georg Gottlob (CSL, 2024)

Fuzzy Datalog∃ over Arbitrary t-Norms. - Matthias Lanzinger; Stefano Sferrazza; Przemyslaw Andrzej Walega; Georg Gottlob (LPAR, 2024)

Enhancing Data Precision with Large Language Models: Analyzing Failures and Innovating Database Curation. - Georg Gottlob (SEBD, 2024)

Fuzzy Datalog∃ over Arbitrary t-Norms. - Matthias Lanzinger; Stefano Sferrazza; Przemyslaw Andrzej Walega; Georg Gottlob (CoRR, 2024)

Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth. - Georg Gottlob; Matthias Lanzinger; Cem Okulmus; Reinhard Pichler (ACM Trans. Database Syst., 2024)

Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning. - Georg Gottlob; Daniela Inclezan; Marco Maratea (Theory Pract. Log. Program., 2024)

Dyadic Existential Rules. - Georg Gottlob; Marco Manna; Cinzia Marte (Theory Pract. Log. Program., 2024)

Selective Forgetting: Advancing Machine Unlearning Techniques and Evaluation in Language Models. - Lingzhi Wang 001; Xingshan Zeng; Jinsong Guo; Kam-Fai Wong; Georg Gottlob (AAAI, 2025)

Selective Use of Yannakakis' Algorithm to Improve Query Performance: Machine Learning to the Rescue. - Daniela Böhm; Georg Gottlob; Matthias Lanzinger; Davide M. Longo; Cem Okulmus; Reinhard Pichler; Alexander Selzer (CoRR, 2025)

Soft and Constrained Hypertree Width. - Matthias Lanzinger; Cem Okulmus; Reinhard Pichler; Alexander Selzer; Georg Gottlob (Proc. ACM Manag. Data, 2025)