dblp.uni-trier.dewww.uni-trier.de

Georg Gottlob

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
229EEAndrea Calì, Georg Gottlob, Thomas Lukasiewicz: Datalog±: a unified approach to ontologies and integrity constraints. ICDT 2009: 14-30
2008
228 Georg Gottlob, Reinhard Pichler, Fang Wei: Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation. AAAI 2008: 1541-1546
227EEFrancesco Scarcello, Georg Gottlob, Gianluigi Greco: Uniform Constraint Satisfaction Problems and Database Theory. Complexity of Constraints 2008: 156-195
226EEAndrea Calì, Georg Gottlob, Michael Kifer: Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. Description Logics 2008
225EEThomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus: Query Answering in the Description Logic Horn-. JELIA 2008: 166-179
224 Andrea Calì, Georg Gottlob, Michael Kifer: Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. KR 2008: 70-80
223EEArtan Dermaku, Tobias Ganzow, Georg Gottlob, Benjamin J. McMahan, Nysret Musliu, Marko Samer: Heuristic Methods for Hypertree Decomposition. MICAI 2008: 1-11
222EEPierre Senellart, Georg Gottlob: On the complexity of deriving schema mappings from database instances. PODS 2008: 23-32
221EEGeorg Gottlob, Marko Samer: A backtracking-based algorithm for hypertree decomposition. ACM Journal of Experimental Algorithmics 13: (2008)
220EEGeorg Gottlob, Reinhard Pichler, Fang Wei: Monadic Datalog over Finite Structures with Bounded Treewidth CoRR abs/0809.3140: (2008)
219EEGeorg Gottlob, Stefan Szeider: Fixed-Parameter Algorithms For Artificial Intelligence, Constraint Satisfaction and Database Problems. Comput. J. 51(3): 303-325 (2008)
218EEPetr Hlinený, Sang-il Oum, Detlef Seese, Georg Gottlob: Width Parameters Beyond Tree-width and their Applications. Comput. J. 51(3): 326-362 (2008)
217EEThomas Eiter, Kazuhisa Makino, Georg Gottlob: Computational aspects of monotone dualization: A brief survey. Discrete Applied Mathematics 156(11): 2035-2049 (2008)
216EEGeorg Gottlob, Alan Nash: Efficient core computation in data exchange. J. ACM 55(2): (2008)
2007
215 Georg Gottlob, Reinhard Pichler, Fang Wei: Efficient Datalog Abduction through Bounded Treewidth. AAAI 2007: 1626-1631
214EEGeorg Gottlob, Gianluigi Greco: On the complexity of combinatorial auctions: structured item graphs and hypertree decomposition. ACM Conference on Electronic Commerce 2007: 152-161
213EERobert Baumgartner, Oliver Frölich, Georg Gottlob: The Lixto Systems Applications in Business Intelligence and Semantic Web. ESWC 2007: 16-26
212EEGeorg Gottlob, Gianluigi Greco, Toni Mancini: Complexity of Pure Equilibria in Bayesian Games. IJCAI 2007: 1294-1299
211EEGeorg Gottlob, Gianluigi Greco, Toni Mancini: Conditional Constraint Satisfaction: Logical Foundations and Complexity. IJCAI 2007: 88-93
210EEGeorg Gottlob, Zoltán Miklós, Thomas Schwentick: Generalized hypertree decompositions: np-hardness and tractable variants. PODS 2007: 13-22
209EEGeorg Gottlob, Reinhard Pichler, Fang Wei: Monadic datalog over finite structures with bounded treewidth. PODS 2007: 165-174
208EEFrançois Bry, Norbert Eisinger, Thomas Eiter, Tim Furche, Georg Gottlob, Clemens Ley, Benedikt Linse, Reinhard Pichler, Fang Wei: Foundations of Rule-Based Query Answering. Reasoning Web 2007: 1-153
207EEGeorg Gottlob, Marko Samer: A Backtracking-Based Algorithm for Computing Hypertree-Decompositions CoRR abs/cs/0701083: (2007)
206EEIsolde Adler, Georg Gottlob, Martin Grohe: Hypertree width and related hypergraph invariants. Eur. J. Comb. 28(8): 2167-2181 (2007)
205EEGeorg Gottlob, Stephanie Tien Lee: A logical approach to multicut problems. Inf. Process. Lett. 103(4): 136-141 (2007)
204EEGeorg Gottlob, Gianluigi Greco: Combinatorial auctions with tractable winner determination. SIGecom Exchanges 7(1): 15-18 (2007)
2006
203 Georg Gottlob, Reinhard Pichler, Fang Wei: Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning. AAAI 2006
202EEJulien Carme, Michal Ceresna, Oliver Frölich, Georg Gottlob, Tamir Hassan, Marcus Herzog, Wolfgang Holzinger, Bernhard Krüpl: The Lixto Project: Exploring New Frontiers of Web Data Extraction. BNCOD 2006: 1-15
201EEGeorg Gottlob, Reinhard Pichler, Fang Wei: Tractable database design through bounded treewidth. PODS 2006: 124-133
200EEGeorg Gottlob, Alan Nash: Data exchange: computing cores in polynomial time. PODS 2006: 40-49
199EETim Furche, Benedikt Linse, François Bry, Dimitris Plexousakis, Georg Gottlob: RDF Querying: Language Constructs and Evaluation Methods Compared. Reasoning Web 2006: 1-52
198EEGeorg Gottlob, Christoph Koch: A Formal Comparison of Visual Web Wrapper Generators. SOFSEM 2006: 30-48
197EENicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello: The DLV system for knowledge representation and reasoning. ACM Trans. Comput. Log. 7(3): 499-562 (2006)
196EEGeorg Gottlob, Christoph Koch, Klaus U. Schulz: Conjunctive Queries over Trees CoRR abs/cs/0602004: (2006)
195EEGeorg Gottlob: Second-Order Logic over Finite Structures - Report on a Research Programme. Electronic Notes in Discrete Mathematics 27: 41-42 (2006)
194EEGeorg Gottlob, Christoph Koch, Klaus U. Schulz: Conjunctive queries over trees. J. ACM 53(2): 238-272 (2006)
193EEThomas Eiter, Georg Gottlob: Reasoning under minimal upper bounds in propositional logic. Theor. Comput. Sci. 369(1-3): 82-115 (2006)
2005
192 Georg Gottlob: Web Data Extraction for Business Intelligence: The Lixto Approach. BTW 2005: 30-47
191EERiccardo Rosati, Georg Gottlob: Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic. IJCAI 2005: 1378-1383
190EEGeorg Gottlob, Gianluigi Greco, Francesco Scarcello: The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions. IJCAI 2005: 150-155
189EEFabian Abel, Robert Baumgartner, Adrian Brooks, Christian Enzi, Georg Gottlob, Nicola Henze, Marcus Herzog, Matthias Kriesell, Wolfgang Nejdl, Kai Tomaschewski: The Personal Publication Reader. International Semantic Web Conference 2005: 1050-1053
188EENicola 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: Data Integration: a Challenging ASP Application. LPNMR 2005: 379-383
187EEGeorg Gottlob: Computing cores for data exchange: new algorithms and practical solutions. PODS 2005: 148-159
186EERobert Baumgartner, Thomas Eiter, Georg Gottlob, Marcus Herzog, Christoph Koch: Information Extraction for the Semantic Web. Reasoning Web 2005: 275-289
185 Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco: Boosting Information Integration: The INFOMIX System. SEBD 2005: 55-66
184EENicola 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: The INFOMIX system for advanced integration of incomplete and inconsistent data. SIGMOD Conference 2005: 915-917
183EEGeorg Gottlob, Martin Grohe, Nysret Musliu, Marko Samer, Francesco Scarcello: Hypertree Decompositions: Structure, Algorithms, and Applications. WG 2005: 1-15
182EERobert Baumgartner, Oliver Frölich, Georg Gottlob, Marcus Herzog, Peter Lehmann: Integrating Semi-structured Data into Business Applications: A Web Intelligence Example. Wissensmanagement (LNCS Volume) 2005: 469-482
181EEMarco Cadoli, Thomas Eiter, Georg Gottlob: Complexity of propositional nested circumscription and nested abnormality theories. ACM Trans. Comput. Log. 6(2): 232-272 (2005)
180EEGeorg Gottlob, Christoph Koch, Reinhard Pichler: Efficient algorithms for processing XPath queries. ACM Trans. Database Syst. 30(2): 444-491 (2005)
179EEGeorg Gottlob, Christoph Koch, Reinhard Pichler, Luc Segoufin: The complexity of XPath query evaluation and XML typing. J. ACM 52(2): 284-335 (2005)
178EEGeorg Gottlob, Gianluigi Greco, Francesco Scarcello: Pure Nash Equilibria: Hard and Easy Games. J. Artif. Intell. Res. (JAIR) 24: 357-406 (2005)
2004
177 Georg Gottlob, András A. Benczúr, János Demetrovics: Advances in Databases and Information Systems, 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceesing Springer 2004
176EEGeorg Gottlob: Hypergraph Transversals. FoIKS 2004: 1-5
175EEGeorg Gottlob: Second-Order Logic over Finite Structures - Report on a Research Programme. IJCAR 2004: 229-243
174EEGeorg Gottlob, Christoph Koch, Robert Baumgartner, Marcus Herzog, Sergio Flesca: The Lixto Data Extraction Project - Back and Forth between Theory and Practice. PODS 2004: 1-12
173EEGeorg Gottlob, Christoph Koch, Klaus U. Schulz: Conjunctive Queries over Trees. PODS 2004: 189-200
172EERobert Baumgartner, Georg Gottlob, Marcus Herzog, Wolfgang Slany: Interactively Adding Web Service Interfaces to Existing Web Applications. SAINT 2004: 74-80
171EEGeorg Gottlob, Christoph Koch: Monadic datalog and the expressive power of languages for Web information extraction. J. ACM 51(1): 74-113 (2004)
170EEGeorg Gottlob, Phokion G. Kolaitis, Thomas Schwentick: Existential second-order logic over graphs: Charting the tractability frontier. J. ACM 51(2): 312-362 (2004)
169EEGeorg Gottlob, Reinhard Pichler: Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width. SIAM J. Comput. 33(2): 351-378 (2004)
168EEGeorg Gottlob, Christoph Koch: Logic-based Web Information Extraction. SIGMOD Record 33(2): 87-94 (2004)
167EEGeorg Gottlob, Miki Hermann, Michaël Rusinowitch: 2nd International Workshop on Complexity in Automated Deduction (CiAD) - Foreword. Theory Comput. Syst. 37(6): 639-640 (2004)
2003
166 Georg Gottlob, Toby Walsh: IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003 Morgan Kaufmann 2003
165EEGeorg Gottlob, Christoph Koch: XPath Query Processing. DBPL 2003: 20
164EEGeorg Gottlob, Christoph Koch, Reinhard Pichler: XPath Query Evaluation: Improving Time and Space Efficiency. ICDE 2003: 379-390
163EERobert Baumgartner, Michal Ceresna, Georg Gottlob, Marcus Herzog, Viktor Zigo: Web Information Acquisition with Lixto Suite. ICDE 2003: 747-749
162EERobert Baumgartner, Georg Gottlob, Marcus Herzog: Visual Programming of Web Data Aggregation Applications. IIWeb 2003: 137-142
161EEGeorg Gottlob, Christoph Koch, Reinhard Pichler: The complexity of XPath query evaluation. PODS 2003: 179-190
160EEGeorg Gottlob, Gianluigi Greco, Francesco Scarcello: Pure Nash equilibria: hard and easy games. TARK 2003: 215-230
159EEGeorg Gottlob, Christoph Koch: A Formal Comparison of Visual Web Wrapper Generators CoRR cs.DB/0310012: (2003)
158EEGeorg Gottlob, Christos H. Papadimitriou: On the complexity of single-rule datalog queries. Inf. Comput. 183(1): 104-122 (2003)
157EEGeorg Gottlob: Guest Editor's Foreword. J. Comput. Syst. Sci. 66(1): 1 (2003)
156EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width. J. Comput. Syst. Sci. 66(4): 775-808 (2003)
155EEThomas Eiter, Georg Gottlob, Kazuhisa Makino: New Results on Monotone Dualization and Generating Hypergraph Transversals. SIAM J. Comput. 32(2): 514-537 (2003)
154EEGeorg Gottlob, Christoph Koch, Reinhard Pichler: XPath Processing in a Nutshell. SIGMOD Record 32(1): 12-19 (2003)
153EEGeorg Gottlob, Christoph Koch, Reinhard Pichler: XPath processing in a nutshell. SIGMOD Record 32(2): 21-27 (2003)
2002
152EEFrancesco Buccafurri, Georg Gottlob: Multiagent Compromises, Joint Fixpoints, and Stable Models. Computational Logic: Logic Programming and Beyond 2002: 561-585
151 Georg Gottlob, Martin Hutle, Franz Wotawa: Combining hypertree, bicomp, and hinge decomposition. ECAI 2002: 161-165
150EENicola Leone, Gerald Pfeifer, Wolfgang Faber, Francesco Calimeri, Tina Dell'Armi, Thomas Eiter, Georg Gottlob, Giovambattista Ianni, Giuseppe Ielpa, Christoph Koch, Simona Perri, Axel Polleres: The DLV System. JELIA 2002: 537-540
149EEThomas Eiter, Georg Gottlob: Hypergraph Transversal Computation and Related Problems in Logic and AI. JELIA 2002: 549-564
148EEGeorg Gottlob, Christoph Koch: Monadic Queries over Tree-Structured Data. LICS 2002: 189-202
147 Georg Gottlob: Visual Data Extraction Through Visual Logic Programming. NMR 2002: 4
146EEGeorg Gottlob, Christoph Koch: Monadic Datalog and the Expressive Power of Languages for Web Information Extraction. PODS 2002: 17-28
145EEThomas Eiter, Georg Gottlob, Kazuhisa Makino: New results on monotone dualization and generating hypergraph transversals. STOC 2002: 14-22
144EEGeorg Gottlob, Christoph Koch, Reinhard Pichler: Efficient Algorithms for Processing XPath Queries. VLDB 2002: 95-106
143EEGeorg Gottlob, Erich Grädel, Helmut Veith: Datalog LITE: a deductive query language with linear time model checking. ACM Trans. Comput. Log. 3(1): 42-79 (2002)
142EEGeorg Gottlob, Francesco Scarcello, Martha Sideri: Fixed-parameter complexity in AI and nonmonotonic reasoning. Artif. Intell. 138(1-2): 55-86 (2002)
141EEMarco Cadoli, Thomas Eiter, Georg Gottlob: Complexity of Nested Circumscription and Nested Abnormality Theories CoRR cs.AI/0207072: (2002)
140EENicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello: The DLV System for Knowledge Representation and Reasoning CoRR cs.AI/0211004: (2002)
139EEGeorg Gottlob, Christoph Koch: Monadic Datalog and the Expressive Power of Languages for Web Information Extraction CoRR cs.DB/0211020: (2002)
138EEThomas Eiter, Georg Gottlob, Kazuhisa Makino: New Results on Monotone Dualization and Generating Hypergraph Transversals CoRR cs.DS/0204009: (2002)
137EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: Hypertree Decompositions and Tractable Queries. J. Comput. Syst. Sci. 64(3): 579-627 (2002)
136EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: Computing LOGCFL certificates. Theor. Comput. Sci. 270(1-2): 761-777 (2002)
135 Robert Baumgartner, Georg Gottlob: Propositional default logics made easier: computational complexity of model checking. Theor. Comput. Sci. 289(1): 591-627 (2002)
2001
134EEThomas Eiter, Georg Gottlob, Thomas Schwentick: Second-Order Logic over Strings: Regular and Non-regular Fragments. Developments in Language Theory 2001: 37-56
133EEGeorg Gottlob, Reinhard Pichler: Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width. ICALP 2001: 708-719
132 Marco Cadoli, Thomas Eiter, Georg Gottlob: Complexity of Nested Circumscription and Abnormality Theories. IJCAI 2001: 169-174
131EERobert Baumgartner, Sergio Flesca, Georg Gottlob: The Elog Web Extraction Language. LPAR 2001: 548-560
130EERobert Baumgartner, Sergio Flesca, Georg Gottlob: Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto. LPNMR 2001: 21-41
129EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: Hypertree Decompositions: A Survey. MFCS 2001: 37-57
128EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. PODS 2001
127 Georg Gottlob, Nicola Leone, Francesco Scarcello: Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. SEBD 2001: 147-154
126 Georg Gottlob: The Lixto Wrapper Generation Tool. SEBD 2001: 3-10
125EEMarcus Herzog, Georg Gottlob: InfoPipes: A Flexible Framework for M-Commerce Applications. TES 2001: 175-186
124EERobert Baumgartner, Sergio Flesca, Georg Gottlob: Visual Web Information Extraction with Lixto. VLDB 2001: 119-128
123EERobert Baumgartner, Sergio Flesca, Georg Gottlob: Supervised Wrapper Generation with Lixto. VLDB 2001: 715-716
122EEEvgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3): 374-425 (2001)
121EEGeorg Gottlob, Reinhard Pichler: Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models. Inf. Comput. 165(2): 183-207 (2001)
120EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: The complexity of acyclic conjunctive queries. J. ACM 48(3): 431-498 (2001)
119 Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone: On ACTL Formulas Having Linear Counterexamples. J. Comput. Syst. Sci. 62(3): 463-515 (2001)
2000
118 Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick: Existential Second-Order Logic over Graphs: Charting the Tractability Frontier. FOCS 2000: 664-674
117EEThomas Eiter, Georg Gottlob: On the Complexity of Theory Curbing. LPAR 2000: 1-19
116EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: A comparison of structural CSP decomposition methods. Artif. Intell. 124(2): 243-282 (2000)
115EEThomas Eiter, Yuri Gurevich, Georg Gottlob: Existential second-order logic over strings. J. ACM 47(1): 77-131 (2000)
1999
114 Georg Gottlob, Etienne Grandjean, Katrin Seyr: Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings Springer 1999
113EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: On Tractable Queries and Constraints. DEXA 1999: 1-15
112EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: Computing LOGCFL Certificates. ICALP 1999: 361-371
111 Georg Gottlob, Nicola Leone, Francesco Scarcello: A Comparison of Structural CSP Decomposition Methods. IJCAI 1999: 394-399
110 Robert Baumgartner, Georg Gottlob: On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases. IJCAI 1999: 64-69
109EEGeorg Gottlob, Reinhard Pichler: Working with Arms: Complexity Results on Atomic Representations of Herbrand Models. LICS 1999: 306-315
108 Georg Gottlob, Christos H. Papadimitriou: On the Complexity of Single-Rule Datalog Queries. LPAR 1999: 201-222
107EEGeorg Gottlob, Francesco Scarcello, Martha Sideri: Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning. LPNMR 1999: 1-18
106EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: Hypertree Decompositions and Tractable Queries. PODS 1999: 21-32
105 Georg Gottlob, Nicola Leone, Francesco Scarcello: Hypertree Decompositions and Tractable Queries. SEBD 1999: 275-289
104 Georg Gottlob, Nicola Leone, Helmut Veith: Succinctness as a Source of Complexity in Logical Formalisms. Ann. Pure Appl. Logic 97(1-3): 231-260 (1999)
103EEFrancesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone: Enhancing Model Checking in Verification by AI Techniques. Artif. Intell. 112(1-2): 57-104 (1999)
102 Georg Gottlob, Nicola Leone, Francesco Scarcello: On the Complexity of Some Inductive Logic Programming Problems. New Generation Comput. 17(1): 53-75 (1999)
1998
101EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: The Complexity of Acyclic Conjunctive Queries. FOCS 1998: 706-715
100 Thomas Eiter, Georg Gottlob, Yuri Gurevich: Existential Second-Order Logic over Strings. LICS 1998: 16-27
99EEGeorg Gottlob, Nicola Leone, Francesco Scarcello: Hypertree Decompositions and Tractable Queries CoRR cs.DB/9812022: (1998)
98 Thomas Eiter, Georg Gottlob: On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic. J. Symb. Log. 63(1): 73-82 (1998)
97 Anuj Dawar, Georg Gottlob, Lauri Hella: Capturing Relativized Complexity Classes without Order. Math. Log. Q. 44: 109-122 (1998)
1997
96 Georg Gottlob, Alexander Leitsch, Daniele Mundici: Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings Springer 1997
95EEThomas Eiter, Georg Gottlob, Helmut Veith: Generalized Quantifiers in Logic Programs. ESSLLI 1997: 72-98
94 Thomas Eiter, Georg Gottlob: The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic. FCT 1997: 1-18
93EEEvgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov: Complexity and Expressive Power of Logic Programming. IEEE Conference on Computational Complexity 1997: 82-101
92 Georg Gottlob, Nicola Leone, Francesco Scarcello: On the Complexity of Some Inductive Logic Programming Problems. ILP 1997: 17-32
91 Thomas Eiter, Georg Gottlob, Helmut Veith: Modular Logic Programming and Generalized Quantifiers. LPNMR 1997: 290-309
90 Simona Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello: The dlv System: Model Generator and Advanced Frontends (system description). WLP 1997: 0-
89EEThomas Eiter, Georg Gottlob, Heikki Mannila: Disjunctive Datalog. ACM Trans. Database Syst. 22(3): 364-418 (1997)
88EEThomas Eiter, Georg Gottlob, Nicola Leone: Semantics and Complexity of Abduction from Default Theories. Artif. Intell. 90(1-2): 177-223 (1997)
87 Gerhard Brewka, Georg Gottlob: Well-Founded Semantics for Default Logic. Fundam. Inform. 31(3/4): 221-236 (1997)
86EEMarco Cadoli, Thomas Eiter, Georg Gottlob: Default Logic as a Query Language. IEEE Trans. Knowl. Data Eng. 9(3): 448-463 (1997)
85 Thomas Eiter, Georg Gottlob, Nicola Leone: On the Indiscernibility of Individuals in Logic Programming. J. Log. Comput. 7(6): 805-824 (1997)
84 Thomas Eiter, Georg Gottlob: Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions. J. Log. Program. 33(2): 167-178 (1997)
83 Georg Gottlob: Relativized Logspace and Generalized Quantifiers over Finite Ordered Structures. J. Symb. Log. 62(2): 545-574 (1997)
82EEThomas Eiter, Georg Gottlob, Nicola Leone: Abduction from Logic Programs: Semantics and Complexity. Theor. Comput. Sci. 189(1-2): 129-177 (1997)
1996
81EEGeorg Gottlob, Guido Moerkotte, V. S. Subrahmanian: The PARK Semantics for Active Rules. EDBT 1996: 35-55
80EEGeorg Gottlob: Collapsing Oracle-Tape Hierarchies. IEEE Conference on Computational Complexity 1996: 33-42
79 Georg Gottlob: Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract). KR 1996: 647-649
78EEGeorg Gottlob, Michael Schrefl, Brigitte Röck: Extending Object-Oriented Systems with Roles. ACM Trans. Inf. Syst. 14(3): 268-296 (1996)
77 Thomas Eiter, Georg Gottlob, Yuri Gurevich: Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems. Ann. Pure Appl. Logic 78(1-3): 111-125 (1996)
76 Georg Gottlob, Miroslaw Truszczynski: Approximating the Stable Model Semantics is Hard. Fundam. Inform. 28(1-2): 123-128 (1996)
75 Jürgen Dix, Georg Gottlob, V. Wiktor Marek: Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations. Fundam. Inform. 28(1-2): 87-100 (1996)
74 Thomas Eiter, Georg Gottlob: The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. J. Comput. Syst. Sci. 53(3): 497-512 (1996)
73 Thomas Eiter, Georg Gottlob: Mächtigkeit von Logikprogrammierung über Datenbanken. KI 10(3): 32-39 (1996)
72EEGeorg Gottlob, Sherry Marcus, Anil Nerode, Gernot Salzer, V. S. Subrahmanian: A Non-Ground Realization of the Stable and Well-Founded Semantics. Theor. Comput. Sci. 166(1&2): 221-262 (1996)
1995
71 Georg Gottlob, Moshe Y. Vardi: Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings Springer 1995
70 Thomas Eiter, Georg Gottlob, Nicola Leone: Semantics and Complexity of Abduction from Default Theories. IJCAI (1) 1995: 870-877
69 Georg Gottlob: Relativized Logspace and Generalized Quantifiers over Finite Structures LICS 1995: 65-78
68 Thomas Eiter, Georg Gottlob, Nicola Leone: Complexity Results for Abductive Logic Programming. LPNMR 1995: 1-14
67 Georg Gottlob, Nicola Leone, Helmut Veith: Second Order Logic and the Weak Exponential Hierarchies. MFCS 1995: 66-81
66 Georg Gottlob, Gerti Kappel, Michael Schrefl: The Evolving Algebra Semantics of Class and Role Hierarchies. Semantics in Databases 1995: 92-113
65 Thomas Eiter, Georg Gottlob: On the Computational Cost of Disjunctive Logic Programming: Propositional Case. Ann. Math. Artif. Intell. 15(3-4): 289-323 (1995)
64 Georg Gottlob: The Complexity of Default Reasoning under the Stationary Fixed Point Semantics Inf. Comput. 121(1): 81-92 (1995)
63EEThomas Eiter, Georg Gottlob: The Complexity of Logic-Based Abduction. J. ACM 42(1): 3-42 (1995)
62EEGeorg Gottlob: NP Trees and Carnap's Modal Logic. J. ACM 42(2): 421-457 (1995)
61EEGeorg Gottlob: Translating Default Logic into Standard Autoepistemic Logic. J. ACM 42(4): 711-740 (1995)
60 Thomas Eiter, Georg Gottlob: Identifying the Minimal Transversals of a Hypergraph and Related Problems. SIAM J. Comput. 24(6): 1278-1304 (1995)
1994
59 Thomas Eiter, Georg Gottlob, Heikki Mannila: Disjunctive Logic Programming over Finite Structures. GI Jahrestagung 1994: 69-73
58 Jürgen Dix, Georg Gottlob, V. Wiktor Marek: Causal Models of Disjunctive Logic Programs. ICLP 1994: 290-302
57 Thomas Eiter, Georg Gottlob, Heikki Mannila: Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics. IS/KI 1994: 83-103
56 Georg Gottlob: From Carnap's Modal Logic to Autoepistemic Logic. JELIA 1994: 1-18
55 Marco Cadoli, Thomas Eiter, Georg Gottlob: Default Logic as a Query Language. KR 1994: 99-108
54EEThomas Eiter, Georg Gottlob, Heikki Mannila: Adding Disjunction to Datalog. PODS 1994: 267-278
53 Georg Gottlob: Complexity and Expressive Power of Disjunctive Logic Programming. SLP 1994: 23-42
52 Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl: Formalizing the Repair Process - Extended Report. Ann. Math. Artif. Intell. 11(1-4): 187-201 (1994)
51 Georg Gottlob, Zhang Mingyi: Cumulative Default Logic: Finite Characterization, Algorithms, and Complexity. Artif. Intell. 69(1-2): 329-345 (1994)
1993
50 Georg Gottlob, Alexander Leitsch, Daniele Mundici: Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings Springer 1993
49 Georg Gottlob: NP Trees and Carnap's Modal Logic FOCS 1993: 42-51
48 Thomas Eiter, Georg Gottlob: The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. IJCAI 1993: 526-533
47 Georg Gottlob: The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic. IJCAI 1993: 570-577
46 Thomas Eiter, Georg Gottlob, Yuri Gurevich: Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information. IJCAI 1993: 634-639
45 Thomas Eiter, Georg Gottlob: Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics. ILPS 1993: 266-278
44 Georg Gottlob: Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (Invited Talk Abstract). LPNMR 1993: 265
43EEThomas Eiter, Georg Gottlob: Complexity Aspects of Various Semantics for Disjunctive Databases. PODS 1993: 158-167
42 Thomas Eiter, Georg Gottlob: The Complexity of Logic-Based Abduction. STACS 1993: 70-79
41 Georg Gottlob, Christian G. Fermüller: Removing Redundancy from a Clause. Artif. Intell. 61(2): 263-289 (1993)
40 Thomas Eiter, Georg Gottlob: Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete. Theor. Comput. Sci. 114(2): 231-245 (1993)
1992
39 Alain Pirotte, Claude Delobel, Georg Gottlob: Advances in Database Technology - EDBT'92, 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992, Proceedings Springer 1992
38 Thomas Eiter, Georg Gottlob: Complexity of Propositional Knowledge Base Revision. CNKBS 1992: 38-40
37 Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl: Formaiizing the Repair Process. ECAI 1992: 709-713
36 Georg Gottlob: The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic. ECAI Workshop on Knowledge Representation and Reasoning 1992: 133-144
35EEThomas Eiter, Georg Gottlob: On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. PODS 1992: 261-273
34 Thomas Eiter, Georg Gottlob: Complexity Results for Logic-Based Abduction. Structural Complexity and Recursion-theoretic methods in Logic-Programming 1992: 29-44
33 Marco Cadoli, Thomas Eiter, Georg Gottlob: An Efficient Method for Eliminating Varying Predicates from a Circumscription. Artif. Intell. 54(2): 397-410 (1992)
32 Thomas Eiter, Georg Gottlob: On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. Artif. Intell. 57(2-3): 227-270 (1992)
31 Georg Gottlob, Michael Schrefl, Markus Stumptner: Selective Inheritance of Attribute Values in Relational Databases. Discrete Applied Mathematics 40(2): 187-216 (1992)
30 Thomas Eiter, Georg Gottlob: Reasoning with parsimonious and moderately grounded expansions. Fundam. Inform. 17(1-2): 31-53 (1992)
29 Georg Gottlob: Complexity Results for Nonmonotonic Logics. J. Log. Comput. 2(3): 397-425 (1992)
1991
28 Georg Gottlob: On the Complexity of Clause Condensing. ÖGAI 1991: 16-29
27 Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl: Towards a Theory of the Repair Process. EPIA 1991: 222-236
1990
26 Georg Gottlob, Wolfgang Nejdl: Expert Systems in Engineering, Principles and Applications, International Workshop, Vienna, Austria, September 24-26, 1990, Proceedings Springer 1990
25 Stefano Ceri, Georg Gottlob, Letizia Tanca: Logic Programming and Databases Springer 1990
24 Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl: Physical Impossibility Instead of Fault Models. AAAI 1990: 331-336
23 Georg Gottlob, Gerti Kappel, Michael Schrefl: Semantics of Object-Oriented Data Models - The Evolving Algebra Approach. East/West Database Workshop 1990: 144-160
22 Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl: Hypothesis Classification, Abductive Diagnosis and Therapy. Expert Systems in Engineering 1990: 69-78
21 Georg Gottlob, Leonid Libkin: Investigation on Armstrong relations, dependency inference, and excluded functional dependencies. Acta Cybern. 9(4): 385-402 (1990)
1989
20EEGeorg Gottlob, Michael Schrefl, Markus Stumptner: On the Interaction between Transitive Closure and Functional Dependencies. MFDBS 1989: 187-206
19EEStefano Ceri, Georg Gottlob, Letizia Tanca: What you Always Wanted to Know About Datalog (And Never Dared to Ask). IEEE Trans. Knowl. Data Eng. 1(1): 146-166 (1989)
18EEStefano Ceri, Georg Gottlob, Gio Wiederhold: Efficient Database Access from Prolog. IEEE Trans. Software Eng. 15(2): 153-164 (1989)
17 Stefano Ceri, Georg Gottlob, Letizia Tanca, Gio Wiederhold: Magic Semi-Joins. Inf. Process. Lett. 33(2): 97-107 (1989)
1988
16EEStefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, F. Lamperti, Luigi Lavazza, Letizia Tanca, Roberto Zicari: The Algres Project. EDBT 1988: 551-555
15EEGeorg Gottlob, Roberto Zicari: Closed World Databases Opened Through Null Values. VLDB 1988: 50-61
14EEGeorg Gottlob, Paolo Paolini, Roberto Zicari: Properties and Update Semantics of Consistent Views. ACM Trans. Database Syst. 13(4): 486-524 (1988)
1987
13EEGeorg Gottlob: Computing Covers for Embedded Functional Dependencies. PODS 1987: 58-69
12 Georg Gottlob: Subsumption and Implication. Inf. Process. Lett. 24(2): 109-111 (1987)
11 Georg Gottlob: On the Size of Nonredundant FD-Covers. Inf. Process. Lett. 24(6): 355-360 (1987)
1986
10 Stefano Ceri, Georg Gottlob, Gio Wiederhold: Interfacing Relational Databases and Prolog Efficiently. Expert Database Conf. 1986: 207-223
9EEStefano Ceri, Georg Gottlob, Luigi Lavazza: Translation and Optimization of Logic Queries: The Algebraic Approach. VLDB 1986: 395-402
8EEStefano Ceri, Georg Gottlob: Normalization of Relations and PROLOG. Commun. ACM 29(6): 524-544 (1986)
7 Stefano Ceri, Georg Gottlob, Giuseppe Pelagatti: Taxonomy and formal properties of distributed joins. Inf. Syst. 11(1): 25-40 (1986)
6 Stefano Ceri, Georg Gottlob: Optimizing Joins between Two Partitioned Relations in Distributed Databases. J. Parallel Distrib. Comput. 3(2): 183-205 (1986)
1985
5 Georg Gottlob, Alexander Leitsch: Fast Subsumption Algorithms. European Conference on Computer Algebra (2) 1985: 64-77
4 Stefano Ceri, Georg Gottlob: Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries. IEEE Trans. Software Eng. 11(4): 324-345 (1985)
3EEGeorg Gottlob, Alexander Leitsch: On the Efficiency of Subsumption Algorithms J. ACM 32(2): 280-295 (1985)
1984
2 S. Copelli, Georg Gottlob: Implementation of a Distributed File System on a Geographic Network of Personal Computers. DDSS 1984: 203-219
1983
1EEStefano Ceri, Georg Gottlob, Giuseppe Pelagatti: Joining Fragmented Relations in Distributed Databases. XP4.5 Workshop on Database Theory 1983

Coauthor Index

1Fabian Abel [189]
2Isolde Adler [206]
3Robert Baumgartner [110] [123] [124] [130] [131] [135] [162] [163] [172] [174] [182] [186] [189] [213]
4András A. Benczúr [177]
5Gerhard Brewka [87]
6Adrian Brooks [189]
7François Bry (François Bry-Haußer) [199] [208]
8Francesco Buccafurri [103] [119] [152]
9Marco Cadoli [33] [55] [86] [132] [141] [181]
10Andrea Calì [224] [226] [229]
11Francesco Calimeri [150]
12Julien Carme [202]
13Michal Ceresna [163] [202]
14Stefano Ceri [1] [4] [6] [7] [8] [9] [10] [16] [17] [18] [19] [25]
15Simona Citrigno [90]
16S. Copelli [2]
17Stefano Crespi-Reghizzi [16]
18Evgeny Dantsin [93] [122]
19Anuj Dawar [97]
20Tina Dell'Armi [150]
21Claude Delobel [39]
22János Demetrovics [177]
23Artan Dermaku [223]
24Jürgen Dix [58] [75]
25Norbert Eisinger [208]
26Thomas Eiter [30] [32] [33] [34] [35] [38] [40] [42] [43] [45] [46] [48] [54] [55] [57] [59] [60] [63] [65] [68] [70] [73] [74] [77] [82] [84] [85] [86] [88] [89] [90] [91] [93] [94] [95] [98] [100] [103] [115] [117] [119] [122] [132] [134] [138] [140] [141] [145] [149] [150] [155] [181] [184] [185] [186] [188] [193] [197] [208] [217] [225]
27Christian Enzi [189]
28Wolfgang Faber [90] [140] [150] [184] [185] [188] [197]
29Christian G. Fermüller [41]
30Michael Fink [184] [185] [188]
31Sergio Flesca [123] [124] [130] [131] [174]
32Gerhard Friedrich [22] [24] [27] [37] [52]
33Oliver Frölich [182] [202] [213]
34Tim Furche [199] [208]
35Tobias Ganzow [223]
36Erich Grädel [143]
37Luigi Granata [188]
38Etienne Grandjean [114]
39Gianluigi Greco [160] [178] [184] [185] [188] [190] [204] [211] [212] [214] [227]
40Martin Grohe [183] [206]
41Yuri Gurevich [46] [77] [100] [115]
42Tamir Hassan [202]
43Lauri Hella [97]
44Nicola Henze [189]
45Miki Hermann [167]
46Marcus Herzog [125] [162] [163] [172] [174] [182] [186] [189] [202]
47Petr Hlinený [218]
48Wolfgang Holzinger [202]
49Martin Hutle [151]
50Giovambattista Ianni [150] [184] [188]
51Giuseppe Ielpa [150]
52Edyta Kalka [184] [188]
53Gerti Kappel [23] [66]
54Michael Kifer [224] [226]
55Christoph Koch [90] [139] [144] [146] [148] [150] [153] [154] [159] [161] [164] [165] [168] [171] [173] [174] [179] [180] [186] [194] [196] [198]
56Phokion G. Kolaitis [118] [170]
57Matthias Kriesell [189]
58Bernhard Krüpl [202]
59F. Lamperti [16]
60Luigi Lavazza [9] [16]
61Stephanie Tien Lee [205]
62Peter Lehmann [182]
63Alexander Leitsch [3] [5] [50] [96]
64Domenico Lembo [184] [188]
65Maurizio Lenzerini [184] [188]
66Nicola Leone [67] [68] [70] [82] [85] [88] [90] [92] [99] [101] [102] [103] [104] [105] [106] [111] [112] [113] [116] [119] [120] [127] [128] [129] [136] [137] [140] [150] [156] [184] [185] [188] [197]
67Clemens Ley [208]
68Leonid Libkin [21]
69Benedikt Linse [199] [208]
70Vincenzino Lio [184] [188]
71Thomas Lukasiewicz [229]
72Kazuhisa Makino [138] [145] [155] [217]
73Toni Mancini [211] [212]
74Heikki Mannila [54] [57] [59] [89]
75Sherry Marcus [72]
76Victor W. Marek (V. Wiktor Marek) [58] [75]
77Cristinel Mateis [90]
78Benjamin J. McMahan [223]
79Zoltán Miklós [210]
80Zhang Mingyi [51]
81Guido Moerkotte [81]
82Daniele Mundici [50] [96]
83Nysret Musliu [183] [223]
84Alan Nash [200] [216]
85Wolfgang Nejdl [22] [24] [26] [27] [37] [52] [189]
86Anil Nerode [72]
87Bartosz Nowicki [184] [188]
88Magdalena Ortiz [225]
89Sang-il Oum [218]
90Paolo Paolini [14]
91Christos H. Papadimitriou [108] [158]
92Giuseppe Pelagatti [1] [7]
93Simona Perri [140] [150] [197]
94Gerald Pfeifer [90] [140] [150] [197]
95Reinhard Pichler [109] [121] [133] [144] [153] [154] [161] [164] [169] [179] [180] [201] [203] [208] [209] [215] [220] [228]
96Alain Pirotte [39]
97Dimitris Plexousakis [199]
98Axel Polleres [150]
99Brigitte Röck [78]
100Riccardo Rosati [184] [188] [191]
101Michaël Rusinowitch [167]
102Marco Ruzzi [184] [188]
103Gernot Salzer [72]
104Marko Samer [183] [207] [221] [223]
105Francesco Scarcello [90] [92] [99] [101] [102] [105] [106] [107] [111] [112] [113] [116] [120] [127] [128] [129] [136] [137] [140] [142] [156] [160] [178] [183] [190] [197] [227]
106Michael Schrefl [20] [23] [31] [66] [78]
107Klaus U. Schulz [173] [194] [196]
108Thomas Schwentick [118] [134] [170] [210]
109Detlef Seese [218]
110Luc Segoufin [179]
111Pierre Senellart [222]
112Katrin Seyr [114]
113Martha Sideri [107] [142]
114Mantas Simkus [225]
115Wolfgang Slany [172]
116Witold Staniszkis [184] [188]
117Markus Stumptner [20] [31]
118V. S. Subrahmanian [72] [81]
119Stefan Szeider [219]
120Letizia Tanca [16] [17] [19] [25]
121Giorgio Terracina [184] [188]
122Kai Tomaschewski [189]
123Miroslaw Truszczynski [76]
124Moshe Y. Vardi [71]
125Helmut Veith [67] [91] [95] [104] [143]
126Andrei Voronkov [93] [122]
127Toby Walsh [166]
128Fang Wei [201] [203] [208] [209] [215] [220] [228]
129Gio Wiederhold [10] [17] [18]
130Franz Wotawa [151]
131Roberto Zicari [14] [15] [16]
132Viktor Zigo [163]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)