Georg Gottlob - RankMe

497 papers A* 101A 16B 44C 8Misc 4Journal 198Unranked 103

Year	Rank	Type	Title / Venue / Authors
2026	A	`conf`	First-Order Rewritability of Rule-Based Ontology Mediated Queries with Negation. ICDT Georg Gottlob, Marco Manna, Andreas Pieris, Aldo Ricioppo
2026	C	`conf`	Selective Use of Yannakakis' Algorithm for Consistent Performance Gains. DOLAP Daniela Böhm, Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler, Alexander Selzer
2025	—	`conf`	A Preliminary Evaluation of Open-Source LLMs for Datalog-Based Semantic Parsing in the ASVIN Project. ICLP Workshops Mario Alviano, Matteo Capalbo, Georg Gottlob, Irfan Kareem, Fabrizio Lo Scudo, Sebastiano Piccolo
2025	A*	`conf`	Selective Forgetting: Advancing Machine Unlearning Techniques and Evaluation in Language Models. AAAI Lingzhi Wang, Xingshan Zeng, Jinsong Guo, Kam-Fai Wong, Georg Gottlob
2025	J	`jnl`	Selective Use of Yannakakis' Algorithm to Improve Query Performance: Machine Learning to the Rescue. CoRR Daniela Böhm, Georg Gottlob, Matthias Lanzinger, Davide M. Longo, Cem Okulmus, Reinhard Pichler, Alexander Selzer
2025	J	`jnl`	Soft and Constrained Hypertree Width. Proc. ACM Manag. Data Matthias Lanzinger, Cem Okulmus, Reinhard Pichler, Alexander Selzer, Georg Gottlob
2024	B	`conf`	Artificial Intelligence and Artificial Ignorance (Invited Talk). CSL Georg Gottlob
2024	J	`jnl`	Dyadic Existential Rules. Theory Pract. Log. Program. Georg Gottlob, Marco Manna, Cinzia Marte
2024	—	`conf`	Enhancing Data Precision with Large Language Models: Analyzing Failures and Innovating Database Curation. SEBD Georg Gottlob
2024	J	`jnl`	Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth. ACM Trans. Database Syst. Georg Gottlob, Matthias Lanzinger, Cem Okulmus, Reinhard Pichler
2024	J	`jnl`	Fuzzy Datalog CoRR Matthias Lanzinger, Stefano Sferrazza, Przemyslaw Andrzej Walega, Georg Gottlob
2024	B	`conf`	Fuzzy Datalog∃ over Arbitrary t-Norms. LPAR Matthias Lanzinger, Stefano Sferrazza, Przemyslaw Andrzej Walega, Georg Gottlob
2024	J	`jnl`	Preface to the Special Issue on the 2022 Conference on Logic Programming and Nonmonotonic Reasoning. Theory Pract. Log. Program. Georg Gottlob, Daniela Inclezan, Marco Maratea
2024	J	`jnl`	Selective Forgetting: Advancing Machine Unlearning Techniques and Evaluation in Language Models. CoRR Lingzhi Wang, Xingshan Zeng, Jinsong Guo, Kam-Fai Wong, Georg Gottlob
2024	J	`jnl`	Soft and Constrained Hypertree Width. CoRR Matthias Lanzinger, Cem Okulmus, Reinhard Pichler, Alexander Selzer, Georg Gottlob
2023	J	`jnl`	Dyadic Existential Rules. CoRR Georg Gottlob, Marco Manna, Cinzia Marte
2023	J	`jnl`	Fractional covers of hypergraphs with bounded multi-intersection. Theor. Comput. Sci. Georg Gottlob, Matthias Lanzinger, Reinhard Pichler, Igor Razgon
2023	A*	`conf`	MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Extended Abstract). IJCAI Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob
2023	J	`jnl`	Polynomial combined first-order rewritings for linear and guarded existential rules. Artif. Intell. Georg Gottlob, Marco Manna, Andreas Pieris
2023	—	`conf`	Reaching Back to Move Forward: Using Old Ideas to Achieve a New Level of Query Optimization (short paper). AMW Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler, Alexander Selzer
2023	J	`jnl`	SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog [Experiment, Analysis and Benchmark]. CoRR Renzo Angles, Georg Gottlob, Aleksandar Pavlovic, Reinhard Pichler, Emanuel Sallinger
2023	J	`jnl`	SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog. Proc. VLDB Endow. Renzo Angles, Georg Gottlob, Aleksandar Pavlovic, Reinhard Pichler, Emanuel Sallinger
2023	J	`jnl`	Structure-Guided Query Evaluation: Towards Bridging the Gap from Theory to Practice. CoRR Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler, Alexander Selzer
2023	J	`jnl`	When Automatic Filtering Comes to the Rescue: Pre-Computing Company Competitor Pairs in Owler. Proc. ACM Manag. Data Jinsong Guo, Aditya Jami, Markus Kröll, Lukas Schweizer, Sergey Paramonov, Eric Aichinger, Stefano Sferrazza, Mattia Scaccia, Stéphane Reissfelder, Eda Cicek, Giovanni Grasso, Georg Gottlob
2022	—	`conf`	Adventures with Datalog: Walking the Thin Line Between Theory and Practice. AI*IA Georg Gottlob
2022	—	`conf`	CompeGen: Computing Company Competitor Pairs By Knowledge Based Inference Combined With Empirical Validation. Datalog Georg Gottlob, Jinsong Guo, Aditya Jami, Markus Kröll, Stéphane Reissfeldee, Lukas Schweizer, Eric Aichinger, Stefano Sferrazza
2022	J	`jnl`	Data science with Vadalog: Knowledge Graphs with machine learning and reasoning in practice. Future Gener. Comput. Syst. Luigi Bellomarini, Ruslan R. Fayzrakhmanov, Georg Gottlob, Andrey Kravchenko, Eleonora Laurenza, Yavor Nenov, Stéphane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov, Sahar Vahdati, Lianlong Wu
2022	—	`conf`	Democratizing Financial Knowledge Graph Construction by Mining Massive Brokerage Research Reports. EDBT/ICDT Workshops Zehua Cheng, Lianlong Wu, Thomas Lukasiewicz, Emanuel Sallinger, Georg Gottlob
2022	—	`conf`	Dyadic Existential Rules. Datalog Georg Gottlob, Marco Manna, Cinzia Marte
2022	A*	`conf`	Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth. PODS Georg Gottlob, Matthias Lanzinger, Cem Okulmus, Reinhard Pichler
2022	J	`jnl`	Fast and parallel decomposition of constraint satisfaction problems. Constraints An Int. J. Georg Gottlob, Cem Okulmus, Reinhard Pichler
2022	J	`jnl`	Incremental Updates of Generalized Hypertree Decompositions. CoRR Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus
2022	J	`jnl`	Incremental Updates of Generalized Hypertree Decompositions. ACM J. Exp. Algorithmics Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus
2022	B	`ed.`	Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings LPNMR Georg Gottlob, Daniela Inclezan, Marco Maratea
2022	J	`jnl`	MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations. CoRR Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob
2022	J	`jnl`	MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations. Theory Pract. Log. Program. Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob
2022	—	`conf`	New Perspectives for Fuzzy Datalog (Extended Abstract). Datalog Matthias Lanzinger, Stefano Sferrazza, Georg Gottlob
2022	A*	`conf`	Non-Uniformly Terminating Chase: Size and Complexity. PODS Marco Calautti, Georg Gottlob, Andreas Pieris
2022	J	`jnl`	Non-Uniformly Terminating Chase: Size and Complexity. CoRR Marco Calautti, Georg Gottlob, Andreas Pieris
2022	A*	`conf`	On the Complexity of Inductively Learning Guarded Clauses. AAAI Andrei Draghici, Georg Gottlob, Matthias Lanzinger
2022	A*	`conf`	Rule Learning over Knowledge Graphs with Genetic Logic Programming. ICDE Lianlong Wu, Emanuel Sallinger, Evgeny Sherkhonov, Sahar Vahdati, Georg Gottlob
2022	J	`jnl`	The Space-Efficient Core of Vadalog. ACM Trans. Database Syst. Gerald Berger, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2022	J	`jnl`	Vadalog: A modern architecture for automated reasoning with large knowledge graphs. Inf. Syst. Luigi Bellomarini, Davide Benedetto, Georg Gottlob, Emanuel Sallinger
2021	J	`jnl`	Complexity Analysis of Generalized and Fractional Hypertree Decompositions. J. ACM Georg Gottlob, Matthias Lanzinger, Reinhard Pichler, Igor Razgon
2021	A*	`conf`	Distributed Company Control in Company Shareholding Graphs. ICDE Andrea Gulino, Stefano Ceri, Georg Gottlob, Emanuel Sallinger, Luigi Bellomarini
2021	J	`jnl`	Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth. CoRR Georg Gottlob, Matthias Lanzinger, Cem Okulmus, Reinhard Pichler
2021	J	`jnl`	HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings. ACM J. Exp. Algorithmics Wolfgang Fischl, Georg Gottlob, Davide Mario Longo, Reinhard Pichler
2021	J	`jnl`	On the Complexity of Inductively Learning Guarded Rules. CoRR Andrei Draghici, Georg Gottlob, Matthias Lanzinger
2021	—	`conf`	Panel on "Past and Future of Computer Science Theory" (Discussion Paper). SEBD Ronald Fagin, Georg Gottlob, Christos H. Papadimitriou, Moshe Y. Vardi, Giorgio Ausiello, Maurizio Lenzerini, Domenico Saccà, Luigi Palopoli, Francesco Scarcello
2021	J	`jnl`	Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity. J. ACM Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
2020	A*	`conf`	2020 ACM PODS Alberto O. Mendelzon Test-of-Time Award. PODS Georg Gottlob, Jan Van den Bussche, Dirk Van Gucht
2020	—	`conf`	An Evolutionary Algorithm for Rule Learning over Knowledge Graphs. KR4L@ECAI Lianlong Wu, Emanuel Sallinger, Evgeny Sherkhonov, Sahar Vahdati, Georg Gottlob
2020	J	`jnl`	Complexity Analysis of General and Fractional Hypertree Decompositions. CoRR Georg Gottlob, Matthias Lanzinger, Reinhard Pichler, Igor Razgon
2020	A*	`conf`	Fast and Parallel Decomposition of Constraint Satisfaction Problems. IJCAI Georg Gottlob, Cem Okulmus, Reinhard Pichler
2020	B	`conf`	Fractional Covers of Hypergraphs with Bounded Multi-Intersection. MFCS Georg Gottlob, Matthias Lanzinger, Reinhard Pichler, Igor Razgon
2020	J	`jnl`	Fractional Covers of Hypergraphs with Bounded Multi-Intersection. CoRR Georg Gottlob, Matthias Lanzinger, Reinhard Pichler, Igor Razgon
2020	J	`jnl`	HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings. CoRR Wolfgang Fischl, Georg Gottlob, Davide Mario Longo, Reinhard Pichler
2020	J	`jnl`	Monadic Datalog, Tree Validity, and Limited Access Containment. ACM Trans. Comput. Log. Michael Benedikt, Pierre Bourhis, Georg Gottlob, Pierre Senellart
2020	A*	`conf`	Multi-head Guarded Existential Rules Over Fixed Signatures. KR Georg Gottlob, Marco Manna, Andreas Pieris
2020	—	`ch.`	Querying the Semantic Web via Rules. Applications and Practices in Ontology Design, Extraction, and Reasoning Marcelo Arenas, Georg Gottlob, Andreas Pieris
2020	J	`jnl`	Semantic Optimization of Conjunctive Queries. J. ACM Pablo Barceló, Diego Figueira, Georg Gottlob, Andreas Pieris
2020	A*	`conf`	Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems. IJCAI Hubie Chen, Georg Gottlob, Matthias Lanzinger, Reinhard Pichler
2020	J	`jnl`	Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems. CoRR Hubie Chen, Georg Gottlob, Matthias Lanzinger, Reinhard Pichler
2020	B	`conf`	The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions. CPAIOR Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler
2020	J	`jnl`	The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions. CoRR Georg Gottlob, Matthias Lanzinger, Davide Mario Longo, Cem Okulmus, Reinhard Pichler
2019	B	`ed.`	2019 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2019, Thessaloniki, Greece, October 14-17, 2019 WI Payam M. Barnaghi, Georg Gottlob, Yannis Manolopoulos, Theodoros Tzouramanis, Athena Vakali
2019	—	`ed.`	2019 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2019, Thessaloniki, Greece, October 14-17, 2019 - Companion Volume WI (Companion) Payam M. Barnaghi, Georg Gottlob, Dimitrios Katsaros, Yannis Manolopoulos, Rahul Pandey, Theodoros Tzouramanis, Athena Vakali
2019	—	`conf`	Datalog-based Reasoning for Knowledge Graphs. AMW Luigi Bellomarini, Georg Gottlob, Emanuel Sallinger
2019	A	`conf`	Datalog: Bag Semantics via Set Semantics. ICDT Leopoldo E. Bertossi, Georg Gottlob, Reinhard Pichler
2019	—	`conf`	Feature Engineering and Explainability with Vadalog: A Recommender Systems Application. Datalog Jack Clearman, Ruslan R. Fayzrakhmanov, Georg Gottlob, Yavor Nenov, Stéphane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov
2019	—	`conf`	HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings. AMW Wolfgang Fischl, Georg Gottlob, Davide M. Longo, Reinhard Pichler
2019	A*	`conf`	HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings. PODS Wolfgang Fischl, Georg Gottlob, Davide Mario Longo, Reinhard Pichler
2019	A*	`conf`	Knowledge Graphs and Enterprise AI: The Promise of an Enabling Technology. ICDE Luigi Bellomarini, Daniele Fakhoury, Georg Gottlob, Emanuel Sallinger
2019	—	`conf`	Parallel Computation of Generalized Hypertree Decompositions. AMW Georg Gottlob, Cem Okulmus, Reinhard Pichler
2019	A*	`conf`	RED: Redundancy-Driven Data Extraction from Result Pages? WWW Jinsong Guo, Valter Crescenzi, Tim Furche, Giovanni Grasso, Georg Gottlob
2019	—	`conf`	Semantic Width Revisited (Extended Abstract). AMW Georg Gottlob, Matthias Lanzinger, Reinhard Pichler
2019	A*	`conf`	The Space-Efficient Core of Vadalog. PODS Gerald Berger, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2019	J	`jnl`	VADA: an architecture for end user informed data preparation. J. Big Data Nikolaos Konstantinou, 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, Norman W. Paton
2019	B	`conf`	Vadalog: Recent Advances and Applications. JELIA Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2018	J	`jnl`	Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic. SIAM J. Comput. Georg Gottlob, Enrico Malizia
2018	A*	`conf`	Browserless Web Data Extraction: Challenges and Opportunities. WWW Ruslan R. Fayzrakhmanov, Emanuel Sallinger, Ben Spencer, Tim Furche, Georg Gottlob
2018	C	`conf`	Data Science with Vadalog: Bridging Machine Learning and Reasoning. MEDI Luigi Bellomarini, Ruslan R. Fayzrakhmanov, Georg Gottlob, Andrey Kravchenko, Eleonora Laurenza, Yavor Nenov, Stéphane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov, Lianlong Wu
2018	J	`jnl`	Data Science with Vadalog: Bridging Machine Learning and Reasoning. CoRR Luigi Bellomarini, Ruslan R. Fayzrakhmanov, Georg Gottlob, Andrey Kravchenko, Eleonora Laurenza, Yavor Nenov, Stéphane Reissfelder, Emanuel Sallinger, Evgeny Sherkhonov, Lianlong Wu
2018	J	`jnl`	Datalog: Bag Semantics via Set Semantics. CoRR Leopoldo E. Bertossi, Georg Gottlob, Reinhard Pichler
2018	J	`jnl`	Expressive Languages for Querying the Semantic Web. ACM Trans. Database Syst. Marcelo Arenas, Georg Gottlob, Andreas Pieris
2018	A*	`conf`	Finite Model Reasoning in Hybrid Classes of Existential Rules. IJCAI Georg Gottlob, Marco Manna, Andreas Pieris
2018	—	`conf`	General and Fractional Hypertree Decompositions: Hard and Easy Cases (extended abstract). AMW Wolfgang Fischl, Georg Gottlob, Reinhard Pichler
2018	A*	`conf`	General and Fractional Hypertree Decompositions: Hard and Easy Cases. PODS Wolfgang Fischl, Georg Gottlob, Reinhard Pichler
2018	J	`jnl`	HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings. CoRR Wolfgang Fischl, Georg Gottlob, Davide M. Longo, Reinhard Pichler
2018	J	`jnl`	Semantic Width of Conjunctive Queries and Constraint Satisfaction Problems. CoRR Georg Gottlob, Matthias Lanzinger, Reinhard Pichler
2018	B	`conf`	Swift Logic for Big Data and Knowledge Graphs - Overview of Requirements, Language, and System. SOFSEM Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2018	J	`jnl`	The Impact of Active Domain Predicates on Guarded Existential Rules. Fundam. Informaticae Georg Gottlob, Andreas Pieris, Mantas Simkus
2018	J	`jnl`	The Space-Efficient Core of Vadalog. CoRR Gerald Berger, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2018	J	`jnl`	The Vadalog System: Datalog-based Reasoning for Knowledge Graphs. CoRR Luigi Bellomarini, Georg Gottlob, Emanuel Sallinger
2018	J	`jnl`	The Vadalog System: Datalog-based Reasoning for Knowledge Graphs. Proc. VLDB Endow. Luigi Bellomarini, Emanuel Sallinger, Georg Gottlob
2018	—	`conf`	The Vadalog System: Swift Logic for Big Data and Enterprise Knowledge Graphs. AMW Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2018	J	`jnl`	Tree projections and constraint optimization problems: Fixed-parameter tractability and parallel algorithms. J. Comput. Syst. Sci. Georg Gottlob, Gianluigi Greco, Francesco Scarcello
2018	B	`conf`	Vadalog: A Language and System for Knowledge Graphs. RuleML+RR Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2018	—	`ch.`	Web Data Extraction System. Encyclopedia of Database Systems (2nd ed.) Robert Baumgartner, Wolfgang Gatterbauer, Georg Gottlob
2018	—	`ch.`	Wrapper Stability. Encyclopedia of Database Systems (2nd ed.) Georg Gottlob
2017	—	`conf`	Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability. AMW Georg Gottlob, Reinhard Pichler, Emanuel Sallinger
2017	C	`conf`	Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data. LATA Georg Gottlob, Christoph Koch, Andreas Pieris
2017	J	`jnl`	Preface of the Special Issue in Memoriam Helmut Veith. Formal Methods Syst. Des. Georg Gottlob, Thomas A. Henzinger, Georg Weissenbacher
2017	—	`ed.`	Reasoning Web. Semantic Interoperability on the Web - 13th International Summer School 2017, London, UK, July 7-11, 2017, Tutorial Lectures RW Giovambattista Ianni, Domenico Lembo, Leopoldo E. Bertossi, Wolfgang Faber, Birte Glimm, Georg Gottlob, Steffen Staab
2017	A*	`conf`	Swift Logic for Big Data and Knowledge Graphs. IJCAI Luigi Bellomarini, Georg Gottlob, Andreas Pieris, Emanuel Sallinger
2017	—	`conf`	The VADA Architecture for Cost-Effective Data Wrangling. SIGMOD Conference Nikolaos Konstantinou, Martin Koehler, Edward Abel, Cristina Civili, Bernd Neumayr, Emanuel Sallinger, Alvaro A. A. Fernandes, Georg Gottlob, John A. Keane, Leonid Libkin, Norman W. Paton
2017	J	`jnl`	Tree Projections and Constraint Optimization Problems: Fixed-Parameter Tractability and Parallel Algorithms. CoRR Georg Gottlob, Gianluigi Greco, Francesco Scarcello
2016	—	`conf`	A Datalog-Based Language for Querying RDF Graphs. AMW Marcelo Arenas, Georg Gottlob, Andreas Pieris
2016	J	`jnl`	Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - Corrigendum. Theory Pract. Log. Program. Georg Gottlob, Marco Manna, Andreas Pieris
2016	B	`conf`	Data Wrangling for Big Data: Challenges and Opportunities. EDBT Tim Furche, Georg Gottlob, Leonid Libkin, Giorgio Orsi, Norman W. Paton
2016	—	`conf`	Data Wrangling for Big Data: Towards a Lingua Franca for Data Wrangling. AMW Tim Furche, Georg Gottlob, Bernd Neumayr, Emanuel Sallinger
2016	J	`jnl`	General and Fractional Hypertree Decompositions: Hard and Easy Cases. CoRR Wolfgang Fischl, Georg Gottlob, Reinhard Pichler
2016	A*	`conf`	Hypertree Decompositions: Questions and Answers. PODS Georg Gottlob, Gianluigi Greco, Nicola Leone, Francesco Scarcello
2016	—	`conf`	Semantic Acyclicity Under Constraints. AMW Pablo Barceló, Georg Gottlob, Andreas Pieris
2016	A*	`conf`	Semantic Acyclicity Under Constraints. PODS Pablo Barceló, Georg Gottlob, Andreas Pieris
2016	J	`jnl`	Semantic Acyclicity Under Constraints. CoRR Pablo Barceló, Georg Gottlob, Andreas Pieris
2016	A	`conf`	The ICDT 2016 Test of Time Award Announcement. ICDT Foto N. Afrati, Claire David, Georg Gottlob
2016	—	`conf`	The Impact of Active Domain Predicates on Guarded Existential Rules. RR Georg Gottlob, Andreas Pieris, Mantas Simkus
2016	J	`jnl`	Tractability frontiers of the partner units configuration problem. J. Comput. Syst. Sci. Erich Christian Teppan, Gerhard Friedrich, Georg Gottlob
2015	A*	`conf`	Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue. IJCAI Georg Gottlob, Andreas Pieris
2015	—	`conf`	Chase Termination for Guarded Existential Rules. AMW Marco Calautti, Georg Gottlob, Andreas Pieris
2015	A*	`conf`	Chase Termination for Guarded Existential Rules. PODS Marco Calautti, Georg Gottlob, Andreas Pieris
2015	—	`conf`	Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/-. RuleML Georg Gottlob, Giorgio Orsi, Andreas Pieris
2015	A*	`conf`	Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability. PODS Georg Gottlob, Reinhard Pichler, Emanuel Sallinger
2015	—	`ed.`	Global Conference on Artificial Intelligence, GCAI 2015, Tbilisi, Georgia, October 16-19, 2015 GCAI Georg Gottlob, Geoff Sutcliffe, Andrei Voronkov
2015	—	`conf`	Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations. Description Logics Georg Gottlob, Marco Manna, Andreas Pieris
2015	A*	`conf`	Polynomial Rewritings for Linear Existential Rules. IJCAI Georg Gottlob, Marco Manna, Andreas Pieris
2015	—	`ed.`	Proceedings of the RuleML 2015 Challenge, the Special Track on Rule-based Recommender Systems for the Web of Data, the Special Industry Track and the RuleML 2015 Doctoral Consortium hosted by the 9th International Web Rule Symposium (RuleML 2015), Berlin, Germany, August 2-5, 2015. Challenge+DC@RuleML Nick Bassiliades, Paul Fodor, Adrian Giurca, Georg Gottlob, Tomás Kliegr, Grzegorz J. Nalepa, Monica Palmirani, Adrian Paschke, Mark Proctor, Dumitru Roman, Fariba Sadri, Nenad Stojanovic
2015	—	`conf`	Recent Advances in Datalog ^\pm. Reasoning Web Georg Gottlob, Michael Morak, Andreas Pieris
2015	—	`ed.`	Rule Technologies: Foundations, Tools, and Applications - 9th International Symposium, RuleML 2015, Berlin, Germany, August 2-5, 2015, Proceedings RuleML Nick Bassiliades, Georg Gottlob, Fariba Sadri, Adrian Paschke, Dumitru Roman
2014	J	`jnl`	A front row seat to Commun. ACM Alfred V. Aho, Georg Gottlob
2014	J	`jnl`	Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic. CoRR Georg Gottlob, Enrico Malizia
2014	—	`conf`	Achieving new upper bounds for the hypergraph duality problem through logic. CSL-LICS Georg Gottlob, Enrico Malizia
2014	J	`jnl`	DIADEM: Thousands of Websites to a Single Database. Proc. VLDB Endow. Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, Christian Schallhart, Cheng Wang
2014	A*	`conf`	Datalog+/-: Questions and Answers. KR Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris
2014	—	`conf`	Expressive Languages for Querying the Semantic Web. AMW Marcelo Arenas, Georg Gottlob, Andreas Pieris
2014	A*	`conf`	Expressive languages for querying the semantic web. PODS Marcelo Arenas, Georg Gottlob, Andreas Pieris
2014	A*	`conf`	Expressiveness of guarded existential rule languages. PODS Georg Gottlob, Sebastian Rudolph, Mantas Simkus
2014	A*	`conf`	Invited Talks. KR Franz Baader, Anthony G. Cohn, Georg Gottlob, Sheila A. McIlraith
2014	J	`jnl`	LoCo - A Logic for Configuration Problems. ACM Trans. Comput. Log. Markus Aschinger, Conrad Drescher, Georg Gottlob, Heribert Vollmer
2014	A*	`conf`	Polynomial Combined Rewritings for Existential Rules. KR Georg Gottlob, Marco Manna, Andreas Pieris
2014	—	`ed.`	Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management, Cartagena de Indias, Colombia, June 4-6, 2014. AMW Georg Gottlob, Jorge Pérez
2014	J	`jnl`	Query Rewriting and Optimization for Ontological Databases. CoRR Georg Gottlob, Giorgio Orsi, Andreas Pieris
2014	J	`jnl`	Query Rewriting and Optimization for Ontological Databases. ACM Trans. Database Syst. Georg Gottlob, Giorgio Orsi, Andreas Pieris
2014	J	`jnl`	Querying the Guarded Fragment. Log. Methods Comput. Sci. Vince Bárány, Georg Gottlob, Martin Otto
2014	A*	`conf`	Stable Model Semantics for Guarded Existential Rules and Description Logics. KR Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
2014	J	`jnl`	The price of query rewriting in ontology-based data access. Artif. Intell. Georg Gottlob, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Thomas Schwentick, Michael Zakharyaschev
2014	—	`ch.`	Treewidth and Hypertree Width. Tractability Georg Gottlob, Gianluigi Greco, Francesco Scarcello
2013	—	`ed.`	Big Data - 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings BNCOD Georg Gottlob, Giovanni Grasso, Dan Olteanu, Christian Schallhart
2013	J	`jnl`	Combining decidability paradigms for existential rules. Theory Pract. Log. Program. Georg Gottlob, Marco Manna, Andreas Pieris
2013	A*	`conf`	Deciding monotone duality and identifying frequent itemsets in quadratic logspace. PODS Georg Gottlob
2013	J	`jnl`	Decomposing combinatorial auctions and set packing problems. J. ACM Georg Gottlob, Gianluigi Greco
2013	J	`jnl`	Marco Cadoli's work on nonmonotonic reasoning. Intelligenza Artificiale Thomas Eiter, Georg Gottlob
2013	J	`jnl`	OXPath: A language for scalable data extraction, automation, and crawling on the deep web. VLDB J. Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart, Andrew Jon Sellers
2013	J	`jnl`	Query answering under probabilistic uncertainty in Datalog+ / - ontologies. Ann. Math. Artif. Intell. Georg Gottlob, Thomas Lukasiewicz, Maria Vanina Martinez, Gerardo I. Simari
2013	—	`conf`	Querying the Guarded Fragment with Transitivity. ICALP (2) Georg Gottlob, Andreas Pieris, Lidia Tendera
2013	—	`ed.`	Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings Reasoning Web Sebastian Rudolph, Georg Gottlob, Ian Horrocks, Frank van Harmelen
2013	A*	`conf`	Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics. IJCAI Samson Abramsky, Georg Gottlob, Phokion G. Kolaitis
2013	—	`conf`	Semantic Web Search and Inductive Reasoning. URSW (LNCS Vol.) Claudia d'Amato, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, Thomas Lukasiewicz
2013	J	`jnl`	Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. J. Artif. Intell. Res. Andrea Calì, Georg Gottlob, Michael Kifer
2013	J	`jnl`	The ontological key: automatically understanding and integrating forms to access the deep Web. VLDB J. Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, Christian Schallhart
2013	—	`conf`	Tractable Reasoning in Description Logics with Functionality Constraints. In Search of Elegance in the Theory and Practice of Computation Andrea Calì, Georg Gottlob, Andreas Pieris
2013	—	`conf`	Well-Founded Semantics for Extended Datalog and Ontological Reasoning. Description Logics André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob
2013	A*	`conf`	Well-founded semantics for extended datalog and ontological reasoning. PODS André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob
2012	J	`jnl`	A general Datalog-based framework for tractable query answering over ontologies. J. Web Semant. Andrea Calì, Georg Gottlob, Thomas Lukasiewicz
2012	J	`jnl`	AMBER: Automatic Supervision for Multi-Attribute Extraction CoRR Tim Furche, Georg Gottlob, Giovanni Grasso, Giorgio Orsi, Christian Schallhart, Cheng Wang
2012	—	`conf`	DIADEM: Domains to Databases. DEXA (1) Tim Furche, Georg Gottlob, Christian Schallhart
2012	—	`conf`	DIADEM: domain-centric, intelligent, automated data extraction methodology. WWW (Companion Volume) Tim Furche, Georg Gottlob, Giovanni Grasso, Omer Gunes, Xiaonan Guo, Andrey Kravchenko, Giorgio Orsi, Christian Schallhart, Andrew Jon Sellers, Cheng Wang
2012	—	`conf`	Datalog and Its Extensions for Semantic Web Databases. Reasoning Web Georg Gottlob, Giorgio Orsi, Andreas Pieris, Mantas Simkus
2012	J	`jnl`	Deciding Monotone Duality and Identifying Frequent Itemsets in Quadratic Logspace CoRR Georg Gottlob
2012	A*	`conf`	Equality-Friendly Well-Founded Semantics and Applications to Description Logics. AAAI Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
2012	—	`conf`	Equality-Friendly Well-Founded Semantics and Applications to Description Logics. Description Logics Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz
2012	A*	`conf`	OPAL: automated form understanding for the deep web. WWW Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, Christian Schallhart
2012	J	`jnl`	On minimal constraint networks. Artif. Intell. Georg Gottlob
2012	B	`conf`	On the Complexity of Ontological Reasoning under Disjunctive Existential Rules. MFCS Georg Gottlob, Marco Manna, Michael Morak, Andreas Pieris
2012	—	`conf`	On the Interaction of Existential Rules and Equality Constraints in Ontology Querying. Correct Reasoning Andrea Calì, Georg Gottlob, Giorgio Orsi, Andreas Pieris
2012	J	`jnl`	Ontological query answering under expressive Entity-Relationship schemata. Inf. Syst. Andrea Calì, Georg Gottlob, Andreas Pieris
2012	J	`jnl`	Ontology-based semantic search on the Web and its combination with the power of inductive reasoning. Ann. Math. Artif. Intell. Claudia d'Amato, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, Thomas Lukasiewicz
2012	—	`conf`	Preface. VLDS Marco Brambilla, Stefano Ceri, Tim Furche, Georg Gottlob
2012	—	`ed.`	Proceedings of the Second International Workshop on Searching and Integrating New Web Data Sources, Istanbul, Turkey, August 31, 2012 VLDS Marco Brambilla, Stefano Ceri, Tim Furche, Georg Gottlob
2012	B	`conf`	Querying UML Class Diagrams. FoSSaCS Andrea Calì, Georg Gottlob, Giorgio Orsi, Andreas Pieris
2012	A*	`conf`	Rewriting Ontological Queries into Small Nonrecursive Datalog Programs. KR Georg Gottlob, Thomas Schwentick
2012	B	`ed.`	SOFSEM 2012: Theory and Practice of Computer Science - 38th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 21-27, 2012. Proceedings SOFSEM Mária Bieliková, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser, György Turán
2012	J	`jnl`	Size and Treewidth Bounds for Conjunctive Queries. J. ACM Georg Gottlob, Stephanie Tien Lee, Gregory Valiant, Paul Valiant
2012	J	`jnl`	Taming the Infinite Chase: Query Answering under Expressive Integrity Constraints CoRR Andrea Calì, Georg Gottlob, Michael Kifer
2012	J	`jnl`	The Ontological Key: Automatically Understanding and Integrating Forms to Access the Deep Web CoRR Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, Christian Schallhart
2012	—	`ch.`	The Return of the Entity-Relationship Model: Ontological Query Answering. Semantic Search over the Web Andrea Calì, Georg Gottlob, Andreas Pieris
2012	J	`jnl`	Towards more expressive ontology languages: The query answering problem. Artif. Intell. Andrea Calì, Georg Gottlob, Andreas Pieris
2012	J	`jnl`	Tractable Optimization Problems through Hypergraph-Based Structural Restrictions CoRR Georg Gottlob, Gianluigi Greco, Francesco Scarcello
2011	J	`jnl`	A logical toolbox for ontological reasoning. SIGMOD Rec. Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris
2011	—	`conf`	Answering Threshold Queries in Probabilistic Datalog+/- Ontologies. SUM Georg Gottlob, Thomas Lukasiewicz, Gerardo I. Simari
2011	J	`jnl`	Computer Science & Problem Solving: New Foundations (Dagstuhl Seminar 11351). Dagstuhl Reports Iris van Rooij, Yll Haxhimusa, Zygmunt Pizlo, Georg Gottlob
2011	—	`conf`	Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies. RR Georg Gottlob, Thomas Lukasiewicz, Gerardo I. Simari
2011	—	`ed.`	Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers Datalog Oege de Moor, Georg Gottlob, Tim Furche, Andrew Jon Sellers
2011	J	`jnl`	Determining Relevance of Accesses at Runtime (Extended Version) CoRR Michael Benedikt, Georg Gottlob, Pierre Senellart
2011	A*	`conf`	Determining relevance of accesses at runtime. PODS Michael Benedikt, Georg Gottlob, Pierre Senellart
2011	J	`jnl`	Distributed XML design. J. Comput. Syst. Sci. Serge Abiteboul, Georg Gottlob, Marco Manna
2011	—	`conf`	Exploring the web with OXPath. EDBT/ICDT Workshop on Linked Web Data Management Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart, Andrew Jon Sellers
2011	B	`conf`	How the Minotaur Turned into Ariadne: Ontologies in Web Data Extraction. ICWE Tim Furche, Georg Gottlob, Xiaonan Guo, Christian Schallhart, Andrew Jon Sellers, Cheng Wang
2011	—	`conf`	Introducing LoCo, a Logic for Configuration Problems LoCoCo Markus Aschinger, Conrad Drescher, Georg Gottlob
2011	—	`conf`	Little Knowledge Rules the Web: Domain-Centric Result Page Extraction. RR Tim Furche, Georg Gottlob, Giovanni Grasso, Giorgio Orsi, Christian Schallhart, Cheng Wang
2011	A*	`conf`	New Expressive Languages for Ontological Query Answering. AAAI Andrea Calì, Georg Gottlob, Andreas Pieris
2011	J	`jnl`	Normalization and optimization of schema mappings. VLDB J. Georg Gottlob, Reinhard Pichler, Vadim Savenkov
2011	J	`jnl`	OXPath: A Language for Scalable, Memory-efficient Data Extraction from Web Applications. Proc. VLDB Endow. Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart, Andrew Jon Sellers
2011	—	`conf`	OXPath: little language, little memory, great value. WWW (Companion Volume) Andrew Jon Sellers, Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart
2011	J	`jnl`	On Minimal Constraint Networks CoRR Georg Gottlob
2011	A	`conf`	On Minimal Constraint Networks. CP Georg Gottlob
2011	J	`jnl`	Ontological Queries: Rewriting and Optimization (Extended Version) CoRR Georg Gottlob, Giorgio Orsi, Andreas Pieris
2011	C	`conf`	Ontological Query Answering via Rewriting. ADBIS Georg Gottlob, Giorgio Orsi, Andreas Pieris
2011	A*	`conf`	Ontological queries: Rewriting and optimization. ICDE Georg Gottlob, Giorgio Orsi, Andreas Pieris
2011	B	`conf`	Optimization Methods for the Partner Units Problem. CPAIOR Markus Aschinger, Conrad Drescher, Gerhard Friedrich, Georg Gottlob, Peter Jeavons, Anna Ryabokon, Evgenij Thorstensen
2011	J	`jnl`	Pure Nash Equilibria: Hard and Easy Games CoRR Georg Gottlob, Gianluigi Greco, Francesco Scarcello
2011	A	`conf`	Querying Conceptual Schemata with Expressive Equality Constraints. ER Andrea Calì, Georg Gottlob, Andreas Pieris
2011	—	`conf`	Real understanding of real estate forms. WIMS Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, Christian Schallhart
2011	J	`jnl`	Rewriting Ontological Queries into Small Nonrecursive Datalog Programs CoRR Georg Gottlob, Thomas Schwentick
2011	—	`conf`	Rewriting Ontological Queries into Small Nonrecursive Datalog Programs. Description Logics Georg Gottlob, Thomas Schwentick
2011	J	`jnl`	Semantic Web search based on ontological conjunctive queries. J. Web Semant. Bettina Fazzinga, Giorgio Gianforme, Georg Gottlob, Thomas Lukasiewicz
2011	A	`conf`	Structural Decomposition Methods and What They are Good For. STACS Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen
2011	A*	`conf`	Tackling the Partner Units Configuration Problem. IJCAI Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen
2011	B	`conf`	Taking the OXPath down the deep web. EDBT Andrew Jon Sellers, Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart
2010	J	`jnl`	Advanced Processing for Ontological Queries. Proc. VLDB Endow. Andrea Calì, Georg Gottlob, Andreas Pieris
2010	B	`conf`	Balanced Queries: Divide and Conquer. MFCS Dmitri Akatov, Georg Gottlob
2010	J	`jnl`	Bounded treewidth as a key to tractability of knowledge representation and reasoning. Artif. Intell. Georg Gottlob, Reinhard Pichler, Fang Wei
2010	—	`conf`	Combining Semantic Web Search with the Power of Inductive Reasoning. SUM Claudia d'Amato, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, Thomas Lukasiewicz
2010	—	`conf`	Datalog+/-: A Family of Languages for Ontology Querying. Datalog Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris
2010	A*	`conf`	Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications. LICS Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Bruno Marnette, Andreas Pieris
2010	J	`jnl`	Distributed XML Design CoRR Serge Abiteboul, Georg Gottlob, Marco Manna
2010	Misc	`conf`	Inductive reasoning and semantic web search. SAC Claudia d'Amato, Floriana Esposito, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, Thomas Lukasiewicz
2010	J	`jnl`	Monadic datalog over finite structures of bounded treewidth. ACM Trans. Comput. Log. Georg Gottlob, Reinhard Pichler, Fang Wei
2010	A*	`conf`	Ontological Reasoning with F-logic Lite and its Extensions. AAAI Andrea Calì, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris
2010	A	`conf`	Query Answering under Expressive Entity-Relationship Schemata. ER Andrea Calì, Georg Gottlob, Andreas Pieris
2010	—	`conf`	Query Answering under Non-guarded Rules in Datalog+/-. RR Andrea Calì, Georg Gottlob, Andreas Pieris
2010	—	`conf`	Query Rewriting under Non-Guarded Rules. AMW Andrea Calì, Georg Gottlob, Andreas Pieris
2010	A*	`conf`	Querying the Guarded Fragment. LICS Vince Bárány, Georg Gottlob, Martin Otto
2010	J	`jnl`	Schema mapping discovery from data instances. J. ACM Georg Gottlob, Pierre Senellart
2010	—	`conf`	Semantic Web Search Based on Ontological Conjunctive Queries. FoIKS Bettina Fazzinga, Giorgio Gianforme, Georg Gottlob, Thomas Lukasiewicz
2010	J	`jnl`	The Impact of Virtual Views on Containment. Proc. VLDB Endow. Michael Benedikt, Georg Gottlob
2010	—	`conf`	The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey. Fields of Logic and Computation Thomas Eiter, Georg Gottlob, Thomas Schwentick
2010	—	`conf`	Tractable Query Answering over Conceptual Schemata (Extended Abstract). SEBD Andrea Calì, Georg Gottlob, Andreas Pieris
2010	J	`jnl`	Tractable database design and datalog abduction through bounded treewidth. Inf. Syst. Georg Gottlob, Reinhard Pichler, Fang Wei
2009	—	`conf`	A General Datalog-Based Framework for Tractable Query Answering over Ontologies (extended abstract). SEBD Andrea Calì, Georg Gottlob, Thomas Lukasiewicz
2009	A*	`conf`	A general datalog-based framework for tractable query answering over ontologies. PODS Andrea Calì, Georg Gottlob, Thomas Lukasiewicz
2009	C	`conf`	Alternation as a programming paradigm. PPDP Wolfgang Dvorák, Georg Gottlob, Reinhard Pichler, Stefan Woltran
2009	—	`conf`	Combining Semantic Web Search with the Power of Inductive Reasoning. URSW Claudia d'Amato, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, Thomas Lukasiewicz
2009	A	`conf`	Datalog ICDT Andrea Calì, Georg Gottlob, Thomas Lukasiewicz
2009	—	`ch.`	Datalog Extensions for Tractable Query Answering over Ontologies. Semantic Web Information Management Andrea Calì, Georg Gottlob, Thomas Lukasiewicz
2009	—	`conf`	Datalog+/-: A Unified Approach to Ontologies and Integrity Constraints. SEBD Georg Gottlob
2009	A*	`conf`	Distributed XML design. PODS Serge Abiteboul, Georg Gottlob, Marco Manna
2009	J	`jnl`	Generalized hypertree decompositions: NP-hardness and tractable variants. J. ACM Georg Gottlob, Zoltán Miklós, Thomas Schwentick
2009	—	`conf`	HyperConsistency Width for Constraint Satisfaction: Algorithms and Complexity Results. Graph Theory, Computational Intelligence and Thought Georg Gottlob, Gianluigi Greco, Bruno Marnette
2009	J	`jnl`	Normalization and Optimization of Schema Mappings. Proc. VLDB Endow. Georg Gottlob, Reinhard Pichler, Vadim Savenkov
2009	J	`jnl`	Scalable Web Data Extraction for Online Market Intelligence. Proc. VLDB Endow. Robert Baumgartner, Georg Gottlob, Marcus Herzog
2009	—	`conf`	Service Marts. SeCO Workshop Alessandro Campi, Stefano Ceri, Georg Gottlob, Andrea Maesani, Stefania Ronchi
2009	A*	`conf`	Size and treewidth bounds for conjunctive queries. PODS Georg Gottlob, Stephanie Tien Lee, Gregory Valiant
2009	—	`conf`	Tractable Optimization Problems through Hypergraph-Based Structural Restrictions. ICALP (2) Georg Gottlob, Gianluigi Greco, Francesco Scarcello
2009	A	`conf`	Tractable Query Answering over Conceptual Schemata. ER Andrea Calì, Georg Gottlob, Andreas Pieris
2009	—	`conf`	Tractable Query Answering over Ontologies with Datalog+/-. Description Logics Andrea Calì, Georg Gottlob, Thomas Lukasiewicz
2009	—	`conf`	Tree Projections: Game Characterization and Computational Aspects. Graph Theory, Computational Intelligence and Thought Georg Gottlob, Gianluigi Greco, Zoltán Miklós, Francesco Scarcello, Thomas Schwentick
2009	—	`ch.`	Web Data Extraction System. Encyclopedia of Database Systems Robert Baumgartner, Wolfgang Gatterbauer, Georg Gottlob
2009	—	`conf`	Web Data Extraction for Service Creation. SeCO Workshop Robert Baumgartner, Alessandro Campi, Georg Gottlob, Marcus Herzog
2009	B	`conf`	Wormholes of Communication: Interfacing Virtual Worlds and the Real World. AINA Alessandro Campi, Georg Gottlob, Ben Hoye
2009	—	`ch.`	Wrapper Stability. Encyclopedia of Database Systems Georg Gottlob
2008	J	`jnl`	A backtracking-based algorithm for hypertree decomposition. ACM J. Exp. Algorithmics Georg Gottlob, Marko Samer
2008	A*	`conf`	Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation. AAAI Georg Gottlob, Reinhard Pichler, Fang Wei
2008	J	`jnl`	Computational aspects of monotone dualization: A brief survey. Discret. Appl. Math. Thomas Eiter, Kazuhisa Makino, Georg Gottlob
2008	J	`jnl`	Efficient core computation in data exchange. J. ACM Georg Gottlob, Alan Nash
2008	J	`jnl`	Fixed-Parameter Algorithms For Artificial Intelligence, Constraint Satisfaction and Database Problems. Comput. J. Georg Gottlob, Stefan Szeider
2008	—	`conf`	Heuristic Methods for Hypertree Decomposition. MICAI Artan Dermaku, Tobias Ganzow, Georg Gottlob, Benjamin J. McMahan, Nysret Musliu, Marko Samer
2008	J	`jnl`	Monadic Datalog over Finite Structures with Bounded Treewidth CoRR Georg Gottlob, Reinhard Pichler, Fang Wei
2008	A*	`conf`	On the complexity of deriving schema mappings from database instances. PODS Pierre Senellart, Georg Gottlob
2008	B	`conf`	Query Answering in the Description Logic Horn-. JELIA Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus
2008	—	`conf`	Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. Description Logics Andrea Calì, Georg Gottlob, Michael Kifer
2008	A*	`conf`	Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. KR Andrea Calì, Georg Gottlob, Michael Kifer
2008	—	`conf`	Uniform Constraint Satisfaction Problems and Database Theory. Complexity of Constraints Francesco Scarcello, Georg Gottlob, Gianluigi Greco
2008	J	`jnl`	Width Parameters Beyond Tree-width and their Applications. Comput. J. Petr Hlinený, Sang-il Oum, Detlef Seese, Georg Gottlob
2007	J	`jnl`	A Backtracking-Based Algorithm for Computing Hypertree-Decompositions CoRR Georg Gottlob, Marko Samer
2007	J	`jnl`	A logical approach to multicut problems. Inf. Process. Lett. Georg Gottlob, Stephanie Tien Lee
2007	J	`jnl`	Combinatorial auctions with tractable winner determination. SIGecom Exch. Georg Gottlob, Gianluigi Greco
2007	A*	`conf`	Complexity of Pure Equilibria in Bayesian Games. IJCAI Georg Gottlob, Gianluigi Greco, Toni Mancini
2007	A*	`conf`	Conditional Constraint Satisfaction: Logical Foundations and Complexity. IJCAI Georg Gottlob, Gianluigi Greco, Toni Mancini
2007	A*	`conf`	Efficient Datalog Abduction through Bounded Treewidth. AAAI Georg Gottlob, Reinhard Pichler, Fang Wei
2007	—	`conf`	Foundations of Rule-Based Query Answering. Reasoning Web François Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei
2007	A*	`conf`	Generalized hypertree decompositions: np-hardness and tractable variants. PODS Georg Gottlob, Zoltán Miklós, Thomas Schwentick
2007	J	`jnl`	Hypertree width and related hypergraph invariants. Eur. J. Comb. Isolde Adler, Georg Gottlob, Martin Grohe
2007	A*	`conf`	Monadic datalog over finite structures with bounded treewidth. PODS Georg Gottlob, Reinhard Pichler, Fang Wei
2007	A*	`conf`	On the complexity of combinatorial auctions: structured item graphs and hypertree decomposition. EC Georg Gottlob, Gianluigi Greco
2007	B	`conf`	The Lixto Systems Applications in Business Intelligence and Semantic Web. ESWC Robert Baumgartner, Oliver Frölich, Georg Gottlob
2006	B	`conf`	A Formal Comparison of Visual Web Wrapper Generators. SOFSEM Georg Gottlob, Christoph Koch
2006	A*	`conf`	Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning. AAAI Georg Gottlob, Reinhard Pichler, Fang Wei
2006	J	`jnl`	Conjunctive Queries over Trees CoRR Georg Gottlob, Christoph Koch, Klaus U. Schulz
2006	J	`jnl`	Conjunctive queries over trees. J. ACM Georg Gottlob, Christoph Koch, Klaus U. Schulz
2006	A*	`conf`	Data exchange: computing cores in polynomial time. PODS Georg Gottlob, Alan Nash
2006	—	`conf`	RDF Querying: Language Constructs and Evaluation Methods Compared. Reasoning Web Tim Furche, Benedikt Linse, François Bry, Dimitris Plexousakis, Georg Gottlob
2006	J	`jnl`	Reasoning under minimal upper bounds in propositional logic. Theor. Comput. Sci. Thomas Eiter, Georg Gottlob
2006	J	`jnl`	Second-Order Logic over Finite Structures - Report on a Research Programme. Electron. Notes Discret. Math. Georg Gottlob
2006	J	`jnl`	The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
2006	—	`conf`	The Lixto Project: Exploring New Frontiers of Web Data Extraction. BNCOD Julien Carme, Michal Ceresna, Oliver Frölich, Georg Gottlob, Tamir Hassan, Marcus Herzog, Wolfgang Holzinger, Bernhard Krüpl
2006	A*	`conf`	Tractable database design through bounded treewidth. PODS Georg Gottlob, Reinhard Pichler, Fang Wei
2005	A*	`conf`	Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic. IJCAI Riccardo Rosati, Georg Gottlob
2005	—	`conf`	Boosting Information Integration: The INFOMIX System. SEBD Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco
2005	J	`jnl`	Complexity of propositional nested circumscription and nested abnormality theories. ACM Trans. Comput. Log. Marco Cadoli, Thomas Eiter, Georg Gottlob
2005	A*	`conf`	Computing cores for data exchange: new algorithms and practical solutions. PODS Georg Gottlob
2005	B	`conf`	Data Integration: a Challenging ASP Application. LPNMR Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Luigi Granata, Gianluigi Greco, Edyta Kalka, Giovambattista Ianni, Domenico Lembo, Maurizio Lenzerini, Vincenzino Lio, Bartosz Nowicki, Riccardo Rosati, Marco Ruzzi, Witold Staniszkis, Giorgio Terracina
2005	J	`jnl`	Efficient algorithms for processing XPath queries. ACM Trans. Database Syst. Georg Gottlob, Christoph Koch, Reinhard Pichler
2005	B	`conf`	Hypertree Decompositions: Structure, Algorithms, and Applications. WG Georg Gottlob, Martin Grohe, Nysret Musliu, Marko Samer, Francesco Scarcello
2005	—	`conf`	Information Extraction for the Semantic Web. Reasoning Web Robert Baumgartner, Thomas Eiter, Georg Gottlob, Marcus Herzog, Christoph Koch
2005	—	`conf`	Integrating Semi-structured Data into Business Applications: A Web Intelligence Example. Wissensmanagement (LNCS Volume) Robert Baumgartner, Oliver Frölich, Georg Gottlob, Marcus Herzog, Peter Lehmann
2005	J	`jnl`	Pure Nash Equilibria: Hard and Easy Games. J. Artif. Intell. Res. Georg Gottlob, Gianluigi Greco, Francesco Scarcello
2005	A*	`conf`	The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions. IJCAI Georg Gottlob, Gianluigi Greco, Francesco Scarcello
2005	—	`conf`	The INFOMIX system for advanced integration of incomplete and inconsistent data. SIGMOD Conference Nicola Leone, Gianluigi Greco, Giovambattista Ianni, Vincenzino Lio, Giorgio Terracina, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Riccardo Rosati, Domenico Lembo, Maurizio Lenzerini, Marco Ruzzi, Edyta Kalka, Bartosz Nowicki, Witold Staniszkis
2005	Misc	`conf`	The Personal Publication Reader. ISWC Fabian Abel, Robert Baumgartner, Adrian Brooks, Christian Enzi, Georg Gottlob, Nicola Henze, Marcus Herzog, Matthias Kriesell, Wolfgang Nejdl, Kai Tomaschewski
2005	J	`jnl`	The complexity of XPath query evaluation and XML typing. J. ACM Georg Gottlob, Christoph Koch, Reinhard Pichler, Luc Segoufin
2005	Misc	`conf`	Web Data Extraction for Business Intelligence: The Lixto Approach. BTW Georg Gottlob
2004	J	`jnl`	2nd International Workshop on Complexity in Automated Deduction (CiAD) - Foreword. Theory Comput. Syst. Georg Gottlob, Miki Hermann, Michaël Rusinowitch
2004	C	`ed.`	Advances in Databases and Information Systems, 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceeding ADBIS Georg Gottlob, András A. Benczúr, János Demetrovics
2004	A*	`conf`	Conjunctive Queries over Trees. PODS Georg Gottlob, Christoph Koch, Klaus U. Schulz
2004	J	`jnl`	Existential second-order logic over graphs: Charting the tractability frontier. J. ACM Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick
2004	—	`conf`	Hypergraph Transversals. FoIKS Georg Gottlob
2004	J	`jnl`	Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width. SIAM J. Comput. Georg Gottlob, Reinhard Pichler
2004	—	`conf`	Interactively Adding Web Service Interfaces to Existing Web Applications. SAINT Robert Baumgartner, Georg Gottlob, Marcus Herzog, Wolfgang Slany
2004	J	`jnl`	Logic-based Web Information Extraction. SIGMOD Rec. Georg Gottlob, Christoph Koch
2004	J	`jnl`	Monadic datalog and the expressive power of languages for Web information extraction. J. ACM Georg Gottlob, Christoph Koch
2004	A	`conf`	Second-Order Logic over Finite Structures - Report on a Research Programme. IJCAR Georg Gottlob
2004	A*	`conf`	The Lixto Data Extraction Project - Back and Forth between Theory and Practice. PODS Georg Gottlob, Christoph Koch, Robert Baumgartner, Marcus Herzog, Sergio Flesca
2003	J	`jnl`	A Formal Comparison of Visual Web Wrapper Generators CoRR Georg Gottlob, Christoph Koch
2003	J	`jnl`	Guest Editor's Foreword. J. Comput. Syst. Sci. Georg Gottlob
2003	A*	`ed.`	IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003 IJCAI Georg Gottlob, Toby Walsh
2003	J	`jnl`	New Results on Monotone Dualization and Generating Hypergraph Transversals. SIAM J. Comput. Thomas Eiter, Georg Gottlob, Kazuhisa Makino
2003	J	`jnl`	On the complexity of single-rule datalog queries. Inf. Comput. Georg Gottlob, Christos H. Papadimitriou
2003	B	`conf`	Pure Nash equilibria: hard and easy games. TARK Georg Gottlob, Gianluigi Greco, Francesco Scarcello
2003	J	`jnl`	Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width. J. Comput. Syst. Sci. Georg Gottlob, Nicola Leone, Francesco Scarcello
2003	A*	`conf`	The complexity of XPath query evaluation. PODS Georg Gottlob, Christoph Koch, Reinhard Pichler
2003	—	`conf`	Visual Programming of Web Data Aggregation Applications. IIWeb Robert Baumgartner, Georg Gottlob, Marcus Herzog
2003	A*	`conf`	Web Information Acquisition with Lixto Suite. ICDE Robert Baumgartner, Michal Ceresna, Georg Gottlob, Marcus Herzog, Viktor Zigo
2003	J	`jnl`	XPath Processing in a Nutshell. SIGMOD Rec. Georg Gottlob, Christoph Koch, Reinhard Pichler
2003	A*	`conf`	XPath Query Evaluation: Improving Time and Space Efficiency. ICDE Georg Gottlob, Christoph Koch, Reinhard Pichler
2003	—	`conf`	XPath Query Processing. DBPL Georg Gottlob, Christoph Koch
2003	J	`jnl`	XPath processing in a nutshell. SIGMOD Rec. Georg Gottlob, Christoph Koch, Reinhard Pichler
2002	A	`conf`	Combining hypertree, bicomp, and hinge decomposition. ECAI Georg Gottlob, Martin Hutle, Franz Wotawa
2002	J	`jnl`	Complexity of Nested Circumscription and Nested Abnormality Theories CoRR Marco Cadoli, Thomas Eiter, Georg Gottlob
2002	J	`jnl`	Computing LOGCFL certificates. Theor. Comput. Sci. Georg Gottlob, Nicola Leone, Francesco Scarcello
2002	J	`jnl`	Datalog LITE: a deductive query language with linear time model checking. ACM Trans. Comput. Log. Georg Gottlob, Erich Grädel, Helmut Veith
2002	A*	`conf`	Efficient Algorithms for Processing XPath Queries. VLDB Georg Gottlob, Christoph Koch, Reinhard Pichler
2002	J	`jnl`	Fixed-parameter complexity in AI and nonmonotonic reasoning. Artif. Intell. Georg Gottlob, Francesco Scarcello, Martha Sideri
2002	J	`jnl`	Foreword. Theor. Comput. Sci. Matthias Baaz, Georg Gottlob, Georg Moser
2002	B	`conf`	Hypergraph Transversal Computation and Related Problems in Logic and AI. JELIA Thomas Eiter, Georg Gottlob
2002	J	`jnl`	Hypertree Decompositions and Tractable Queries. J. Comput. Syst. Sci. Georg Gottlob, Nicola Leone, Francesco Scarcello
2002	J	`jnl`	Monadic Datalog and the Expressive Power of Languages for Web Information Extraction CoRR Georg Gottlob, Christoph Koch
2002	A*	`conf`	Monadic Datalog and the Expressive Power of Languages for Web Information Extraction. PODS Georg Gottlob, Christoph Koch
2002	A*	`conf`	Monadic Queries over Tree-Structured Data. LICS Georg Gottlob, Christoph Koch
2002	—	`conf`	Multiagent Compromises, Joint Fixpoints, and Stable Models. Computational Logic: Logic Programming and Beyond Francesco Buccafurri, Georg Gottlob
2002	J	`jnl`	New Results on Monotone Dualization and Generating Hypergraph Transversals CoRR Thomas Eiter, Georg Gottlob, Kazuhisa Makino
2002	A*	`conf`	New results on monotone dualization and generating hypergraph transversals. STOC Thomas Eiter, Georg Gottlob, Kazuhisa Makino
2002	J	`jnl`	Propositional default logics made easier: computational complexity of model checking. Theor. Comput. Sci. Robert Baumgartner, Georg Gottlob
2002	J	`jnl`	The DLV System for Knowledge Representation and Reasoning CoRR Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello
2002	B	`conf`	The DLV System. JELIA Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres
2002	—	`conf`	Visual Data Extraction Through Visual Logic Programming. NMR Georg Gottlob
2001	J	`jnl`	Complexity and expressive power of logic programming. ACM Comput. Surv. Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov
2001	A*	`conf`	Complexity of Nested Circumscription and Abnormality Theories. IJCAI Marco Cadoli, Thomas Eiter, Georg Gottlob
2001	B	`conf`	Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto. LPNMR Robert Baumgartner, Sergio Flesca, Georg Gottlob
2001	A*	`conf`	Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width. ICALP Georg Gottlob, Reinhard Pichler
2001	B	`conf`	Hypertree Decompositions: A Survey. MFCS Georg Gottlob, Nicola Leone, Francesco Scarcello
2001	—	`conf`	InfoPipes: A Flexible Framework for M-Commerce Applications. TES Marcus Herzog, Georg Gottlob
2001	J	`jnl`	On ACTL Formulas Having Linear Counterexamples. J. Comput. Syst. Sci. Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone
2001	A*	`conf`	Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. PODS Georg Gottlob, Nicola Leone, Francesco Scarcello
2001	—	`conf`	Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. SEBD Georg Gottlob, Nicola Leone, Francesco Scarcello
2001	C	`conf`	Second-Order Logic over Strings: Regular and Non-regular Fragments. Developments in Language Theory Thomas Eiter, Georg Gottlob, Thomas Schwentick
2001	A*	`conf`	Supervised Wrapper Generation with Lixto. VLDB Robert Baumgartner, Sergio Flesca, Georg Gottlob
2001	B	`conf`	The Elog Web Extraction Language. LPAR Robert Baumgartner, Sergio Flesca, Georg Gottlob
2001	—	`conf`	The Lixto Wrapper Generation Tool. SEBD Georg Gottlob
2001	J	`jnl`	The complexity of acyclic conjunctive queries. J. ACM Georg Gottlob, Nicola Leone, Francesco Scarcello
2001	—	`conf`	Visual Web Information Extraction with Lixto. Semannot@K-CAP 2001 Robert Baumgartner, Sergio Flesca, Georg Gottlob
2001	A*	`conf`	Visual Web Information Extraction with Lixto. VLDB Robert Baumgartner, Sergio Flesca, Georg Gottlob
2001	J	`jnl`	Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models. Inf. Comput. Georg Gottlob, Reinhard Pichler
2000	J	`jnl`	A comparison of structural CSP decomposition methods. Artif. Intell. Georg Gottlob, Nicola Leone, Francesco Scarcello
2000	J	`jnl`	Complexity results for some eigenvector problems. Int. J. Comput. Math. Thomas Eiter, Georg Gottlob
2000	A*	`conf`	Existential Second-Order Logic over Graphs: Charting the Tractability Frontier. FOCS Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick
2000	J	`jnl`	Existential second-order logic over strings. J. ACM Thomas Eiter, Yuri Gurevich, Georg Gottlob
2000	B	`conf`	On the Complexity of Theory Curbing. LPAR Thomas Eiter, Georg Gottlob
2000	A*	`ed.`	Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, May 15-17, 2000, Dallas, Texas, USA Victor Vianu, Georg Gottlob
2000	J	`jnl`	Report on PODS 2000. SIGACT News Georg Gottlob
1999	A*	`conf`	A Comparison of Structural CSP Decomposition Methods. IJCAI Georg Gottlob, Nicola Leone, Francesco Scarcello
1999	B	`ed.`	Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings CSL Georg Gottlob, Etienne Grandjean, Katrin Seyr
1999	A*	`conf`	Computing LOGCFL Certificates. ICALP Georg Gottlob, Nicola Leone, Francesco Scarcello
1999	J	`jnl`	Enhancing Model Checking in Verification by AI Techniques. Artif. Intell. Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone
1999	B	`conf`	Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning. LPNMR Georg Gottlob, Francesco Scarcello, Martha Sideri
1999	A*	`conf`	Hypertree Decompositions and Tractable Queries. PODS Georg Gottlob, Nicola Leone, Francesco Scarcello
1999	—	`conf`	Hypertree Decompositions and Tractable Queries. SEBD Georg Gottlob, Nicola Leone, Francesco Scarcello
1999	C	`conf`	On Tractable Queries and Constraints. DEXA Georg Gottlob, Nicola Leone, Francesco Scarcello
1999	A*	`conf`	On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases. IJCAI Robert Baumgartner, Georg Gottlob
1999	B	`conf`	On the Complexity of Single-Rule Datalog Queries. LPAR Georg Gottlob, Christos H. Papadimitriou
1999	J	`jnl`	On the Complexity of Some Inductive Logic Programming Problems. New Gener. Comput. Georg Gottlob, Nicola Leone, Francesco Scarcello
1999	J	`jnl`	Succinctness as a Source of Complexity in Logical Formalisms. Ann. Pure Appl. Log. Georg Gottlob, Nicola Leone, Helmut Veith
1999	A*	`conf`	Working with Arms: Complexity Results on Atomic Representations of Herbrand Models. LICS Georg Gottlob, Reinhard Pichler
1998	J	`jnl`	Capturing Relativized Complexity Classes without Order. Math. Log. Q. Anuj Dawar, Georg Gottlob, Lauri Hella
1998	A*	`conf`	Existential Second-Order Logic over Strings. LICS Thomas Eiter, Georg Gottlob, Yuri Gurevich
1998	J	`jnl`	Hypertree Decompositions and Tractable Queries CoRR Georg Gottlob, Nicola Leone, Francesco Scarcello
1998	J	`jnl`	On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic. J. Symb. Log. Thomas Eiter, Georg Gottlob
1998	A*	`conf`	The Complexity of Acyclic Conjunctive Queries. FOCS Georg Gottlob, Nicola Leone, Francesco Scarcello
1997	J	`jnl`	Abduction from Logic Programs: Semantics and Complexity. Theor. Comput. Sci. Thomas Eiter, Georg Gottlob, Nicola Leone
1997	A	`conf`	Complexity and Expressive Power of Logic Programming. CCC Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov
1997	—	`ed.`	Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings Kurt Gödel Colloquium Georg Gottlob, Alexander Leitsch, Daniele Mundici
1997	J	`jnl`	Default Logic as a Query Language. IEEE Trans. Knowl. Data Eng. Marco Cadoli, Thomas Eiter, Georg Gottlob
1997	J	`jnl`	Disjunctive Datalog. ACM Trans. Database Syst. Thomas Eiter, Georg Gottlob, Heikki Mannila
1997	J	`jnl`	Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions. J. Log. Program. Thomas Eiter, Georg Gottlob
1997	—	`conf`	Generalized Quantifiers in Logic Programs. ESSLLI Thomas Eiter, Georg Gottlob, Helmut Veith
1997	B	`conf`	Modular Logic Programming and Generalized Quantifiers. LPNMR Thomas Eiter, Georg Gottlob, Helmut Veith
1997	B	`conf`	On the Complexity of Some Inductive Logic Programming Problems. ILP Georg Gottlob, Nicola Leone, Francesco Scarcello
1997	J	`jnl`	On the Indiscernibility of Individuals in Logic Programming. J. Log. Comput. Thomas Eiter, Georg Gottlob, Nicola Leone
1997	J	`jnl`	Relativized Logspace and Generalized Quantifiers over Finite Ordered Structures. J. Symb. Log. Georg Gottlob
1997	J	`jnl`	Semantics and Complexity of Abduction from Default Theories. Artif. Intell. Thomas Eiter, Georg Gottlob, Nicola Leone
1997	B	`conf`	The Complexity Class Theta FCT Thomas Eiter, Georg Gottlob
1997	—	`conf`	The dlv System: Model Generator and Advanced Frontends (system description). WLP Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello
1997	J	`jnl`	Well-Founded Semantics for Default Logic. Fundam. Informaticae Gerhard Brewka, Georg Gottlob
1996	J	`jnl`	A Non-Ground Realization of the Stable and Well-Founded Semantics. Theor. Comput. Sci. Georg Gottlob, Sherry Marcus, Anil Nerode, Gernot Salzer, V. S. Subrahmanian
1996	J	`jnl`	Approximating the Stable Model Semantics is Hard. Fundam. Informaticae Georg Gottlob, Miroslaw Truszczynski
1996	A	`conf`	Collapsing Oracle-Tape Hierarchies. CCC Georg Gottlob
1996	A*	`conf`	Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract). KR Georg Gottlob
1996	J	`jnl`	Extending Object-Oriented Systems with Roles. ACM Trans. Inf. Syst. Georg Gottlob, Michael Schrefl, Brigitte Röck
1996	J	`jnl`	Mächtigkeit von Logikprogrammierung über Datenbanken. Künstliche Intell. Thomas Eiter, Georg Gottlob
1996	J	`jnl`	Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems. Ann. Pure Appl. Log. Thomas Eiter, Georg Gottlob, Yuri Gurevich
1996	J	`jnl`	Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations. Fundam. Informaticae Jürgen Dix, Georg Gottlob, V. Wiktor Marek
1996	J	`jnl`	The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. J. Comput. Syst. Sci. Thomas Eiter, Georg Gottlob
1996	B	`conf`	The PARK Semantics for Active Rules. EDBT Georg Gottlob, Guido Moerkotte, V. S. Subrahmanian
1995	B	`conf`	Complexity Results for Abductive Logic Programming. LPNMR Thomas Eiter, Georg Gottlob, Nicola Leone
1995	A	`ed.`	Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings ICDT Georg Gottlob, Moshe Y. Vardi
1995	J	`jnl`	Identifying the Minimal Transversals of a Hypergraph and Related Problems. SIAM J. Comput. Thomas Eiter, Georg Gottlob
1995	J	`jnl`	NP Trees and Carnap's Modal Logic. J. ACM Georg Gottlob
1995	J	`jnl`	On the Computational Cost of Disjunctive Logic Programming: Propositional Case. Ann. Math. Artif. Intell. Thomas Eiter, Georg Gottlob
1995	A*	`conf`	Relativized Logspace and Generalized Quantifiers over Finite Structures LICS Georg Gottlob
1995	B	`conf`	Second Order Logic and the Weak Exponential Hierarchies. MFCS Georg Gottlob, Nicola Leone, Helmut Veith
1995	A*	`conf`	Semantics and Complexity of Abduction from Default Theories. IJCAI (1) Thomas Eiter, Georg Gottlob, Nicola Leone
1995	J	`jnl`	The Complexity of Default Reasoning under the Stationary Fixed Point Semantics Inf. Comput. Georg Gottlob
1995	J	`jnl`	The Complexity of Logic-Based Abduction. J. ACM Thomas Eiter, Georg Gottlob
1995	—	`conf`	The Evolving Algebra Semantics of Class and Role Hierarchies. Semantics in Databases Georg Gottlob, Gerti Kappel, Michael Schrefl
1995	J	`jnl`	Translating Default Logic into Standard Autoepistemic Logic. J. ACM Georg Gottlob
1994	A*	`conf`	Adding Disjunction to Datalog. PODS Thomas Eiter, Georg Gottlob, Heikki Mannila
1994	B	`conf`	Causal Models of Disjunctive Logic Programs. ICLP Jürgen Dix, Georg Gottlob, V. Wiktor Marek
1994	—	`conf`	Complexity and Expressive Power of Disjunctive Logic Programming. ILPS Georg Gottlob
1994	J	`jnl`	Cumulative Default Logic: Finite Characterization, Algorithms, and Complexity. Artif. Intell. Georg Gottlob, Mingyi Zhang
1994	A*	`conf`	Default Logic as a Query Language. KR Marco Cadoli, Thomas Eiter, Georg Gottlob
1994	—	`conf`	Disjunctive Logic Programming over Finite Structures. GI Jahrestagung Thomas Eiter, Georg Gottlob, Heikki Mannila
1994	—	`conf`	Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics. IS/KI Thomas Eiter, Georg Gottlob, Heikki Mannila
1994	J	`jnl`	Formalizing the Repair Process - Extended Report. Ann. Math. Artif. Intell. Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl
1994	B	`conf`	From Carnap's Modal Logic to Autoepistemic Logic. JELIA Georg Gottlob
1994	—	`ed.`	Proceedings of the Tenth Logic Programming Workshop, WLP 94, 5-7 Octobert 1994, Univerity of Zurich, Switzerland. Technical Report 94/10. WLP Norbert E. Fuchs, Georg Gottlob
1993	A*	`conf`	Complexity Aspects of Various Semantics for Disjunctive Databases. PODS Thomas Eiter, Georg Gottlob
1993	—	`conf`	Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics. ILPS Thomas Eiter, Georg Gottlob
1993	—	`ed.`	Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings Kurt Gödel Colloquium Georg Gottlob, Alexander Leitsch, Daniele Mundici
1993	A*	`conf`	Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information. IJCAI Thomas Eiter, Georg Gottlob, Yuri Gurevich
1993	A*	`conf`	NP Trees and Carnap's Modal Logic FOCS Georg Gottlob
1993	J	`jnl`	Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete. Theor. Comput. Sci. Thomas Eiter, Georg Gottlob
1993	B	`conf`	Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (Invited Talk Abstract). LPNMR Georg Gottlob
1993	J	`jnl`	Removing Redundancy from a Clause. Artif. Intell. Georg Gottlob, Christian G. Fermüller
1993	A	`conf`	The Complexity of Logic-Based Abduction. STACS Thomas Eiter, Georg Gottlob
1993	A*	`conf`	The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. IJCAI Thomas Eiter, Georg Gottlob
1993	A*	`conf`	The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic. IJCAI Georg Gottlob
1992	B	`ed.`	Advances in Database Technology - EDBT'92, 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992, Proceedings EDBT Alain Pirotte, Claude Delobel, Georg Gottlob
1992	J	`jnl`	An Efficient Method for Eliminating Varying Predicates from a Circumscription. Artif. Intell. Marco Cadoli, Thomas Eiter, Georg Gottlob
1992	—	`conf`	Complexity Results for Logic-Based Abduction. Structural Complexity and Recursion-theoretic methods in Logic-Programming Thomas Eiter, Georg Gottlob
1992	J	`jnl`	Complexity Results for Nonmonotonic Logics. J. Log. Comput. Georg Gottlob
1992	—	`conf`	Complexity of Propositional Knowledge Base Revision. CNKBS Thomas Eiter, Georg Gottlob
1992	A	`conf`	Formaiizing the Repair Process. ECAI Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl
1992	A*	`conf`	On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. PODS Thomas Eiter, Georg Gottlob
1992	J	`jnl`	On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. Artif. Intell. Thomas Eiter, Georg Gottlob
1992	J	`jnl`	Reasoning with parsimonious and moderately grounded expansions. Fundam. Informaticae Thomas Eiter, Georg Gottlob
1992	J	`jnl`	Selective Inheritance of Attribute Values in Relational Databases. Discret. Appl. Math. Georg Gottlob, Michael Schrefl, Markus Stumptner
1992	—	`conf`	The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic. ECAI Workshop on Knowledge Representation and Reasoning Georg Gottlob
1991	—	`conf`	On the Complexity of Clause Condensing. ÖGAI Georg Gottlob
1991	Misc	`conf`	Towards a Theory of the Repair Process. EPIA Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl
1990	—	`ed.`	Expert Systems in Engineering, Principles and Applications, International Workshop, Vienna, Austria, September 24-26, 1990, Proceedings Expert Systems in Engineering Georg Gottlob, Wolfgang Nejdl
1990	—	`conf`	Hypothesis Classification, Abductive Diagnosis and Therapy. Expert Systems in Engineering Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl
1990	J	`jnl`	Investigations on Armstrong relations, dependency inference, and excluded functional dependencies. Acta Cybern. Georg Gottlob, Leonid Libkin
1990	—	`book`	Logic Programming and Databases Stefano Ceri, Georg Gottlob, Letizia Tanca
1990	A*	`conf`	Physical Impossibility Instead of Fault Models. AAAI Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl
1990	—	`conf`	Semantics of Object-Oriented Data Models - The Evolving Algebra Approach. East/West Database Workshop Georg Gottlob, Gerti Kappel, Michael Schrefl
1989	—	`conf`	ALGRES: An Extended Relational Database System for the Specification and Prototyping of Complex Applications. CA(i)SE Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, Gianfranco Lamperti, Luigi Lavazza, Letizia Tanca, Roberto V. Zicari
1989	J	`jnl`	Efficient Database Access from Prolog. IEEE Trans. Software Eng. Stefano Ceri, Georg Gottlob, Gio Wiederhold
1989	J	`jnl`	Magic Semi-Joins. Inf. Process. Lett. Stefano Ceri, Georg Gottlob, Letizia Tanca, Gio Wiederhold
1989	—	`conf`	On the Interaction between Transitive Closure and Functional Dependencies. MFDBS Georg Gottlob, Michael Schrefl, Markus Stumptner
1989	J	`jnl`	What you Always Wanted to Know About Datalog (And Never Dared to Ask). IEEE Trans. Knowl. Data Eng. Stefano Ceri, Georg Gottlob, Letizia Tanca
1988	A*	`conf`	Closed World Databases Opened Through Null Values. VLDB Georg Gottlob, Roberto V. Zicari
1988	J	`jnl`	Properties and Update Semantics of Consistent Views. ACM Trans. Database Syst. Georg Gottlob, Paolo Paolini, Roberto V. Zicari
1988	B	`conf`	The Algres Project. EDBT Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, F. Lamperti, Luigi Lavazza, Letizia Tanca, Roberto V. Zicari
1987	A*	`conf`	Computing Covers for Embedded Functional Dependencies. PODS Georg Gottlob
1987	J	`jnl`	On the Size of Nonredundant FD-Covers. Inf. Process. Lett. Georg Gottlob
1987	J	`jnl`	Subsumption and Implication. Inf. Process. Lett. Georg Gottlob
1986	—	`conf`	Interfacing Relational Databases and Prolog Efficiently. Expert Database Conf. Stefano Ceri, Georg Gottlob, Gio Wiederhold
1986	J	`jnl`	Normalization of Relations and PROLOG. Commun. ACM Stefano Ceri, Georg Gottlob
1986	J	`jnl`	Optimizing Joins between Two Partitioned Relations in Distributed Databases. J. Parallel Distributed Comput. Stefano Ceri, Georg Gottlob
1986	J	`jnl`	Taxonomy and formal properties of distributed joins. Inf. Syst. Stefano Ceri, Georg Gottlob, Giuseppe Pelagatti
1986	A*	`conf`	Translation and Optimization of Logic Queries: The Algebraic Approach. VLDB Stefano Ceri, Georg Gottlob, Luigi Lavazza
1985	—	`conf`	Fast Subsumption Algorithms. European Conference on Computer Algebra (2) Georg Gottlob, Alexander Leitsch
1985	J	`jnl`	On the Efficiency of Subsumption Algorithms J. ACM Georg Gottlob, Alexander Leitsch
1985	J	`jnl`	Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries. IEEE Trans. Software Eng. Stefano Ceri, Georg Gottlob
1984	—	`conf`	Implementation of a Distributed File System on a Geographic Network of Personal Computers. DDSS S. Copelli, Georg Gottlob
1983	—	`conf`	Joining Fragmented Relations in Distributed Databases. XP4.5 Workshop on Database Theory Stefano Ceri, Georg Gottlob, Giuseppe Pelagatti