Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Georg Gottlob
2010 – today
- 2013
[j109]Thomas Eiter, Georg Gottlob: Marco Cadoli's work on nonmonotonic reasoning. Intelligenza Artificiale 7(1): 7-17 (2013)- [j108]Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart, Andrew Jon Sellers: OXPath: A language for scalable data extraction, automation, and crawling on the deep web. VLDB J. 22(1): 47-72 (2013)
- [j107]Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, Christian Schallhart: The ontological key: automatically understanding and integrating forms to access the deep Web. VLDB J. 22(5): 615-640 (2013)
- [c192]André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob: Well-Founded Semantics for Extended Datalog and Ontological Reasoning. Description Logics 2013: 209-220
- [c191]Georg Gottlob, Andreas Pieris, Lidia Tendera: Querying the Guarded Fragment with Transitivity. ICALP (2) 2013: 287-298
- [c190]Samson Abramsky, Georg Gottlob, Phokion G. Kolaitis: Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics. IJCAI 2013
- [c189]Georg Gottlob: Deciding monotone duality and identifying frequent itemsets in quadratic logspace. PODS 2013: 25-36
- [c188]André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob: Well-founded semantics for extended datalog and ontological reasoning. PODS 2013: 225-236
- [c187]Claudia d'Amato, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, Thomas Lukasiewicz: Semantic Web Search and Inductive Reasoning. URSW (LNCS Vol.) 2013: 237-261
- [e15]Georg Gottlob, Giovanni Grasso, Dan Olteanu, Christian Schallhart (Eds.): Big Data - 29th British National Conference on Databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings. Lecture Notes in Computer Science 7968, Springer 2013, ISBN 978-3-642-39466-9
- [e14]Sebastian Rudolph, Georg Gottlob, Ian Horrocks, Frank van Harmelen (Eds.): Reasoning Web. Semantic Technologies for Intelligent Data Access - 9th International Summer School 2013, Mannheim, Germany, July 30 - August 2, 2013. Proceedings. Lecture Notes in Computer Science 8067, Springer 2013, ISBN 978-3-642-39783-7
- [i22]
- 2012
- [j106]
- [j105]Andrea Calì, Georg Gottlob, Andreas Pieris: Towards more expressive ontology languages: The query answering problem. Artif. Intell. 193: 87-128 (2012)
- [j104]Claudia d'Amato, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, Thomas Lukasiewicz: Ontology-based semantic search on the Web and its combination with the power of inductive reasoning. Ann. Math. Artif. Intell. 65(2-3): 83-121 (2012)
- [j103]Andrea Calì, Georg Gottlob, Andreas Pieris: Ontological query answering under expressive Entity-Relationship schemata. Inf. Syst. 37(4): 320-335 (2012)
- [j102]Georg Gottlob, Stephanie Tien Lee, Gregory Valiant, Paul Valiant: Size and Treewidth Bounds for Conjunctive Queries. J. ACM 59(3): 16 (2012)
- [j101]Andrea Calì, Georg Gottlob, Thomas Lukasiewicz: A general Datalog-based framework for tractable query answering over ontologies. J. Web Sem. 14: 57-83 (2012)
- [c186]Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz: Equality-Friendly Well-Founded Semantics and Applications to Description Logics. AAAI 2012
- [c185]Andrea Calì, Georg Gottlob, Giorgio Orsi, Andreas Pieris: On the Interaction of Existential Rules and Equality Constraints in Ontology Querying. Correct Reasoning 2012: 117-133
- [c184]
- [c183]Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz: Equality-Friendly Well-Founded Semantics and Applications to Description Logics. Description Logics 2012
- [c182]Andrea Calì, Georg Gottlob, Giorgio Orsi, Andreas Pieris: Querying UML Class Diagrams. FoSSaCS 2012: 1-25
- [c181]Georg Gottlob, Thomas Schwentick: Rewriting Ontological Queries into Small Nonrecursive Datalog Programs. KR 2012
- [c180]Georg Gottlob, Marco Manna, Michael Morak, Andreas Pieris: On the Complexity of Ontological Reasoning under Disjunctive Existential Rules. MFCS 2012: 1-18
- [c179]Georg Gottlob, Giorgio Orsi, Andreas Pieris, Mantas Simkus: Datalog and Its Extensions for Semantic Web Databases. Reasoning Web 2012: 54-77
- [c178]
- [c177]Tim Furche, Georg Gottlob, Giovanni Grasso, Omer Gunes, Xiaonan Guo, Andrey Kravchenko, Giorgio Orsi, Christian Schallhart, Andrew Jon Sellers, Cheng Wang: DIADEM: domain-centric, intelligent, automated data extraction methodology. WWW (Companion Volume) 2012: 267-270
- [c176]Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, Christian Schallhart: OPAL: automated form understanding for the deep web. WWW 2012: 829-838
- [e13]Mária Bieliková, Gerhard Friedrich, Georg Gottlob, Stefan Katzenbeisser, György Turán (Eds.): 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. Lecture Notes in Computer Science 7147, Springer 2012, ISBN 978-3-642-27659-0
- [e12]Marco Brambilla, Stefano Ceri, Tim Furche, Georg Gottlob (Eds.): Proceedings of the Second International Workshop on Searching and Integrating New Web Data Sources, Istanbul, Turkey, August 31, 2012. CEUR Workshop Proceedings 884, CEUR-WS.org 2012
- [i21]Georg Gottlob, Gianluigi Greco, Francesco Scarcello: Tractable Optimization Problems through Hypergraph-Based Structural Restrictions. CoRR abs/1209.3419 (2012)
- [i20]Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, Christian Schallhart: The Ontological Key: Automatically Understanding and Integrating Forms to Access the Deep Web. CoRR abs/1210.5980 (2012)
- [i19]Tim Furche, Georg Gottlob, Giovanni Grasso, Giorgio Orsi, Christian Schallhart, Cheng Wang: AMBER: Automatic Supervision for Multi-Attribute Extraction. CoRR abs/1210.5984 (2012)
- [i18]Georg Gottlob: Deciding Monotone Duality and Identifying Frequent Itemsets in Quadratic Logspace. CoRR abs/1212.1881 (2012)
- [i17]Andrea Calì, Georg Gottlob, Michael Kifer: Taming the Infinite Chase: Query Answering under Expressive Integrity Constraints. CoRR abs/1212.3357 (2012)
- 2011
- [j100]Serge Abiteboul, Georg Gottlob, Marco Manna: Distributed XML design. J. Comput. Syst. Sci. 77(6): 936-964 (2011)
- [j99]Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart, Andrew Jon Sellers: OXPath: A Language for Scalable, Memory-efficient Data Extraction from Web Applications. PVLDB 4(11): 1016-1027 (2011)
- [j98]Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris: A logical toolbox for ontological reasoning. SIGMOD Record 40(3): 5-14 (2011)
- [j97]Georg Gottlob, Reinhard Pichler, Vadim Savenkov: Normalization and optimization of schema mappings. VLDB J. 20(2): 277-302 (2011)
- [j96]Bettina Fazzinga, Giorgio Gianforme, Georg Gottlob, Thomas Lukasiewicz: Semantic Web search based on ontological conjunctive queries. J. Web Sem. 9(4): 453-473 (2011)
- [c175]Andrea Calì, Georg Gottlob, Andreas Pieris: New Expressive Languages for Ontological Query Answering. AAAI 2011
- [c174]Georg Gottlob, Giorgio Orsi, Andreas Pieris: Ontological Query Answering via Rewriting. ADBIS 2011: 1-18
- [c173]
- [c172]Markus Aschinger, Conrad Drescher, Gerhard Friedrich, Georg Gottlob, Peter Jeavons, Anna Ryabokon, Evgenij Thorstensen: Optimization Methods for the Partner Units Problem. CPAIOR 2011: 4-19
- [c171]Georg Gottlob, Thomas Schwentick: Rewriting Ontological Queries into Small Nonrecursive Datalog Programs. Description Logics 2011
- [c170]Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart, Andrew Jon Sellers: Exploring the web with OXPath. EDBT/ICDT Workshop on Linked Web Data Management 2011: 28-29
- [c169]Andrew Jon Sellers, Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart: Taking the OXPath down the deep web. EDBT 2011: 542-545
- [c168]Andrea Calì, Georg Gottlob, Andreas Pieris: Querying Conceptual Schemata with Expressive Equality Constraints. ER 2011: 161-174
- [c167]Georg Gottlob, Giorgio Orsi, Andreas Pieris: Ontological queries: Rewriting and optimization. ICDE 2011: 2-13
- [c166]Tim Furche, Georg Gottlob, Xiaonan Guo, Christian Schallhart, Andrew Jon Sellers, Cheng Wang: How the Minotaur Turned into Ariadne: Ontologies in Web Data Extraction. ICWE 2011: 13-27
- [c165]Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen: Tackling the Partner Units Configuration Problem. IJCAI 2011: 497-503
- [c164]Michael Benedikt, Georg Gottlob, Pierre Senellart: Determining relevance of accesses at runtime. PODS 2011: 211-222
- [c163]Tim Furche, Georg Gottlob, Giovanni Grasso, Giorgio Orsi, Christian Schallhart, Cheng Wang: Little Knowledge Rules the Web: Domain-Centric Result Page Extraction. RR 2011: 61-76
- [c162]Georg Gottlob, Thomas Lukasiewicz, Gerardo I. Simari: Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies. RR 2011: 77-92
- [c161]Markus Aschinger, Conrad Drescher, Georg Gottlob, Peter Jeavons, Evgenij Thorstensen: Structural Decomposition Methods and What They are Good For. STACS 2011: 12-28
- [c160]Georg Gottlob, Thomas Lukasiewicz, Gerardo I. Simari: Answering Threshold Queries in Probabilistic Datalog+/- Ontologies. SUM 2011: 401-414
- [c159]Tim Furche, Georg Gottlob, Giovanni Grasso, Xiaonan Guo, Giorgio Orsi, Christian Schallhart: Real understanding of real estate forms. WIMS 2011: 13
- [c158]Andrew Jon Sellers, Tim Furche, Georg Gottlob, Giovanni Grasso, Christian Schallhart: OXPath: little language, little memory, great value. WWW (Companion Volume) 2011: 261-264
- [c157]Markus Aschinger, Conrad Drescher, Georg Gottlob: Introducing LoCo, a Logic for Configuration Problems. LoCoCo 2011: 36-45
- [e11]Oege de Moor, Georg Gottlob, Tim Furche, Andrew Jon Sellers (Eds.): Datalog Reloaded - First International Workshop, Datalog 2010, Oxford, UK, March 16-19, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6702, Springer 2011, ISBN 978-3-642-24205-2
- [i16]
- [i15]Michael Benedikt, Georg Gottlob, Pierre Senellart: Determining Relevance of Accesses at Runtime (Extended Version). CoRR abs/1104.0553 (2011)
- [i14]Georg Gottlob, Thomas Schwentick: Rewriting Ontological Queries into Small Nonrecursive Datalog Programs. CoRR abs/1106.3767 (2011)
- [i13]Georg Gottlob, Gianluigi Greco, Francesco Scarcello: Pure Nash Equilibria: Hard and Easy Games. CoRR abs/1109.2152 (2011)
- [i12]Georg Gottlob, Giorgio Orsi, Andreas Pieris: Ontological Queries: Rewriting and Optimization (Extended Version). CoRR abs/1112.0343 (2011)
- [i11]Iris van Rooij, Yll Haxhimusa, Zygmunt Pizlo, Georg Gottlob: Computer Science & Problem Solving: New Foundations (Dagstuhl Seminar 11351). Dagstuhl Reports 1(8): 96-124 (2011)
- 2010
- [j95]Georg Gottlob, Reinhard Pichler, Fang Wei: Bounded treewidth as a key to tractability of knowledge representation and reasoning. Artif. Intell. 174(1): 105-132 (2010)
- [j94]Georg Gottlob, Reinhard Pichler, Fang Wei: Tractable database design and datalog abduction through bounded treewidth. Inf. Syst. 35(3): 278-298 (2010)
- [j93]
- [j92]Michael Benedikt, Georg Gottlob: The Impact of Virtual Views on Containment. PVLDB 3(1): 297-308 (2010)
- [j91]Andrea Calì, Georg Gottlob, Andreas Pieris: Advanced Processing for Ontological Queries. PVLDB 3(1): 554-565 (2010)
- [j90]Georg Gottlob, Reinhard Pichler, Fang Wei: Monadic datalog over finite structures of bounded treewidth. ACM Trans. Comput. Log. 12(1): 3 (2010)
- [c156]Andrea Calì, Georg Gottlob, Michael Kifer, Thomas Lukasiewicz, Andreas Pieris: Ontological Reasoning with F-logic Lite and its Extensions. AAAI 2010
- [c155]
- [c154]Thomas Eiter, Georg Gottlob, Thomas Schwentick: The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey. Fields of Logic and Computation 2010: 227-250
- [c153]Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Andreas Pieris: Datalog+/-: A Family of Languages for Ontology Querying. Datalog 2010: 351-368
- [c152]Andrea Calì, Georg Gottlob, Andreas Pieris: Query Answering under Expressive Entity-Relationship Schemata. ER 2010: 347-361
- [c151]Bettina Fazzinga, Giorgio Gianforme, Georg Gottlob, Thomas Lukasiewicz: Semantic Web Search Based on Ontological Conjunctive Queries. FoIKS 2010: 153-172
- [c150]
- [c149]Andrea Calì, Georg Gottlob, Thomas Lukasiewicz, Bruno Marnette, Andreas Pieris: Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications. LICS 2010: 228-242
- [c148]
- [c147]Andrea Calì, Georg Gottlob, Andreas Pieris: Query Answering under Non-guarded Rules in Datalog+/-. RR 2010: 1-17
- [c146]Claudia d'Amato, Floriana Esposito, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, Thomas Lukasiewicz: Inductive reasoning and semantic web search. SAC 2010: 1446-1447
- [c145]Andrea Calì, Georg Gottlob, Andreas Pieris: Tractable Query Answering over Conceptual Schemata (Extended Abstract). SEBD 2010: 454-461
- [c144]Claudia d'Amato, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, Thomas Lukasiewicz: Combining Semantic Web Search with the Power of Inductive Reasoning. SUM 2010: 137-150
- [i10]
2000 – 2009
- 2009
- [j89]Georg Gottlob, Zoltán Miklós, Thomas Schwentick: Generalized hypertree decompositions: NP-hardness and tractable variants. J. ACM 56(6) (2009)
- [j88]Georg Gottlob, Reinhard Pichler, Vadim Savenkov: Normalization and Optimization of Schema Mappings. PVLDB 2(1): 1102-1113 (2009)
- [j87]Robert Baumgartner, Georg Gottlob, Marcus Herzog: Scalable Web Data Extraction for Online Market Intelligence. PVLDB 2(2): 1512-1523 (2009)
- [c143]Alessandro Campi, Georg Gottlob, Ben Hoye: Wormholes of Communication: Interfacing Virtual Worlds and the Real World. AINA 2009: 2-9
- [c142]Georg Gottlob, Gianluigi Greco, Bruno Marnette: HyperConsistency Width for Constraint Satisfaction: Algorithms and Complexity Results. Graph Theory, Computational Intelligence and Thought 2009: 87-99
- [c141]Georg Gottlob, Gianluigi Greco, Zoltán Miklós, Francesco Scarcello, Thomas Schwentick: Tree Projections: Game Characterization and Computational Aspects. Graph Theory, Computational Intelligence and Thought 2009: 217-226
- [c140]Andrea Calì, Georg Gottlob, Thomas Lukasiewicz: Tractable Query Answering over Ontologies with Datalog+/-. Description Logics 2009
- [c139]Andrea Calì, Georg Gottlob, Andreas Pieris: Tractable Query Answering over Conceptual Schemata. ER 2009: 175-190
- [c138]Georg Gottlob, Gianluigi Greco, Francesco Scarcello: Tractable Optimization Problems through Hypergraph-Based Structural Restrictions. ICALP (2) 2009: 16-30
- [c137]Andrea Calì, Georg Gottlob, Thomas Lukasiewicz: Datalog±: a unified approach to ontologies and integrity constraints. ICDT 2009: 14-30
- [c136]Georg Gottlob, Stephanie Tien Lee, Gregory Valiant: Size and treewidth bounds for conjunctive queries. PODS 2009: 45-54
- [c135]Andrea Calì, Georg Gottlob, Thomas Lukasiewicz: A general datalog-based framework for tractable query answering over ontologies. PODS 2009: 77-86
- [c134]
- [c133]Wolfgang Dvorák, Georg Gottlob, Reinhard Pichler, Stefan Woltran: Alternation as a programming paradigm. PPDP 2009: 61-72
- [c132]Georg Gottlob: Datalog+/-: A Unified Approach to Ontologies and Integrity Constraints. SEBD 2009: 5-6
- [c131]Andrea Calì, Georg Gottlob, Thomas Lukasiewicz: A General Datalog-Based Framework for Tractable Query Answering over Ontologies (extended abstract). SEBD 2009: 29-36
- [c130]Robert Baumgartner, Alessandro Campi, Georg Gottlob, Marcus Herzog: Web Data Extraction for Service Creation. SeCO Workshop 2009: 94-113
- [c129]Alessandro Campi, Stefano Ceri, Georg Gottlob, Andrea Maesani, Stefania Ronchi: Service Marts. SeCO Workshop 2009: 163-187
- [c128]Claudia d'Amato, Nicola Fanizzi, Bettina Fazzinga, Georg Gottlob, Thomas Lukasiewicz: Combining Semantic Web Search with the Power of Inductive Reasoning. URSW 2009: 15-26
- [p1]Andrea Calì, Georg Gottlob, Thomas Lukasiewicz: Datalog Extensions for Tractable Query Answering over Ontologies. Semantic Web Information Management 2009: 249-279
- [r2]Robert Baumgartner, Wolfgang Gatterbauer, Georg Gottlob: Web Data Extraction System. Encyclopedia of Database Systems 2009: 3465-3471
- [r1]
- 2008
- [j86]Georg Gottlob, Stefan Szeider: Fixed-Parameter Algorithms For Artificial Intelligence, Constraint Satisfaction and Database Problems. Comput. J. 51(3): 303-325 (2008)
- [j85]Petr Hlinený, Sang-il Oum, Detlef Seese, Georg Gottlob: Width Parameters Beyond Tree-width and their Applications. Comput. J. 51(3): 326-362 (2008)
- [j84]Thomas Eiter, Kazuhisa Makino, Georg Gottlob: Computational aspects of monotone dualization: A brief survey. Discrete Applied Mathematics 156(11): 2035-2049 (2008)
- [j83]
- [j82]Georg Gottlob, Marko Samer: A backtracking-based algorithm for hypertree decomposition. ACM Journal of Experimental Algorithmics 13 (2008)
- [c127]Georg Gottlob, Reinhard Pichler, Fang Wei: Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation. AAAI 2008: 1541-1546
- [c126]Francesco Scarcello, Georg Gottlob, Gianluigi Greco: Uniform Constraint Satisfaction Problems and Database Theory. Complexity of Constraints 2008: 156-195
- [c125]Andrea Calì, Georg Gottlob, Michael Kifer: Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. Description Logics 2008
- [c124]Thomas Eiter, Georg Gottlob, Magdalena Ortiz, Mantas Simkus: Query Answering in the Description Logic Horn-. JELIA 2008: 166-179
- [c123]Andrea Calì, Georg Gottlob, Michael Kifer: Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. KR 2008: 70-80
- [c122]Artan Dermaku, Tobias Ganzow, Georg Gottlob, Benjamin J. McMahan, Nysret Musliu, Marko Samer: Heuristic Methods for Hypertree Decomposition. MICAI 2008: 1-11
- [c121]Pierre Senellart, Georg Gottlob: On the complexity of deriving schema mappings from database instances. PODS 2008: 23-32
- [i9]Georg Gottlob, Reinhard Pichler, Fang Wei: Monadic Datalog over Finite Structures with Bounded Treewidth. CoRR abs/0809.3140 (2008)
- 2007
- [j81]Isolde Adler, Georg Gottlob, Martin Grohe: Hypertree width and related hypergraph invariants. Eur. J. Comb. 28(8): 2167-2181 (2007)
- [j80]Georg Gottlob, Stephanie Tien Lee: A logical approach to multicut problems. Inf. Process. Lett. 103(4): 136-141 (2007)
- [j79]Georg Gottlob, Gianluigi Greco: Combinatorial auctions with tractable winner determination. SIGecom Exchanges 7(1): 15-18 (2007)
- [c120]Georg Gottlob, Reinhard Pichler, Fang Wei: Efficient Datalog Abduction through Bounded Treewidth. AAAI 2007: 1626-1631
- [c119]Robert Baumgartner, Oliver Frölich, Georg Gottlob: The Lixto Systems Applications in Business Intelligence and Semantic Web. ESWC 2007: 16-26
- [c118]Georg Gottlob, Gianluigi Greco, Toni Mancini: Conditional Constraint Satisfaction: Logical Foundations and Complexity. IJCAI 2007: 88-93
- [c117]Georg Gottlob, Gianluigi Greco, Toni Mancini: Complexity of Pure Equilibria in Bayesian Games. IJCAI 2007: 1294-1299
- [c116]Georg Gottlob, Zoltán Miklós, Thomas Schwentick: Generalized hypertree decompositions: np-hardness and tractable variants. PODS 2007: 13-22
- [c115]Georg Gottlob, Reinhard Pichler, Fang Wei: Monadic datalog over finite structures with bounded treewidth. PODS 2007: 165-174
- [c114]Franç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
- [c113]Georg Gottlob, Gianluigi Greco: On the complexity of combinatorial auctions: structured item graphs and hypertree decomposition. ACM Conference on Electronic Commerce 2007: 152-161
- [i8]Georg Gottlob, Marko Samer: A Backtracking-Based Algorithm for Computing Hypertree-Decompositions. CoRR abs/cs/0701083 (2007)
- 2006
- [j78]Georg Gottlob: Second-Order Logic over Finite Structures - Report on a Research Programme. Electronic Notes in Discrete Mathematics 27: 41-42 (2006)
- [j77]Georg Gottlob, Christoph Koch, Klaus U. Schulz: Conjunctive queries over trees. J. ACM 53(2): 238-272 (2006)
- [j76]Thomas Eiter, Georg Gottlob: Reasoning under minimal upper bounds in propositional logic. Theor. Comput. Sci. 369(1-3): 82-115 (2006)
- [j75]Nicola 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)
- [c112]Georg Gottlob, Reinhard Pichler, Fang Wei: Bounded Treewidth as a Key to Tractability of Knowledge Representation and Reasoning. AAAI 2006: 250-256
- [c111]Julien 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
- [c110]
- [c109]Georg Gottlob, Reinhard Pichler, Fang Wei: Tractable database design through bounded treewidth. PODS 2006: 124-133
- [c108]Tim Furche, Benedikt Linse, François Bry, Dimitris Plexousakis, Georg Gottlob: RDF Querying: Language Constructs and Evaluation Methods Compared. Reasoning Web 2006: 1-52
- [c107]Georg Gottlob, Christoph Koch: A Formal Comparison of Visual Web Wrapper Generators. SOFSEM 2006: 30-48
- [i7]Georg Gottlob, Christoph Koch, Klaus U. Schulz: Conjunctive Queries over Trees. CoRR abs/cs/0602004 (2006)
- 2005
- [j74]Georg Gottlob, Christoph Koch, Reinhard Pichler, Luc Segoufin: The complexity of XPath query evaluation and XML typing. J. ACM 52(2): 284-335 (2005)
- [j73]Georg Gottlob, Gianluigi Greco, Francesco Scarcello: Pure Nash Equilibria: Hard and Easy Games. J. Artif. Intell. Res. (JAIR) 24: 357-406 (2005)
- [j72]Marco Cadoli, Thomas Eiter, Georg Gottlob: Complexity of propositional nested circumscription and nested abnormality theories. ACM Trans. Comput. Log. 6(2): 232-272 (2005)
- [j71]Georg Gottlob, Christoph Koch, Reinhard Pichler: Efficient algorithms for processing XPath queries. ACM Trans. Database Syst. 30(2): 444-491 (2005)
- [c106]
- [c105]Georg Gottlob, Gianluigi Greco, Francesco Scarcello: The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions. IJCAI 2005: 150-155
- [c104]Riccardo Rosati, Georg Gottlob: Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic. IJCAI 2005: 1378-1383
- [c103]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: Data Integration: a Challenging ASP Application. LPNMR 2005: 379-383
- [c102]Georg Gottlob: Computing cores for data exchange: new algorithms and practical solutions. PODS 2005: 148-159
- [c101]Robert Baumgartner, Thomas Eiter, Georg Gottlob, Marcus Herzog, Christoph Koch: Information Extraction for the Semantic Web. Reasoning Web 2005: 275-289
- [c100]Nicola Leone, Thomas Eiter, Wolfgang Faber, Michael Fink, Georg Gottlob, Gianluigi Greco: Boosting Information Integration: The INFOMIX System. SEBD 2005: 55-66
- [c99]Fabian 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
- [c98]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: The INFOMIX system for advanced integration of incomplete and inconsistent data. SIGMOD Conference 2005: 915-917
- [c97]Georg Gottlob, Martin Grohe, Nysret Musliu, Marko Samer, Francesco Scarcello: Hypertree Decompositions: Structure, Algorithms, and Applications. WG 2005: 1-15
- [c96]Robert 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
- 2004
- [j70]Georg Gottlob, Christoph Koch: Monadic datalog and the expressive power of languages for Web information extraction. J. ACM 51(1): 74-113 (2004)
- [j69]Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick: Existential second-order logic over graphs: Charting the tractability frontier. J. ACM 51(2): 312-362 (2004)
- [j68]Georg Gottlob, Miki Hermann, Michaël Rusinowitch: 2nd International Workshop on Complexity in Automated Deduction (CiAD) - Foreword. Theory Comput. Syst. 37(6): 639-640 (2004)
- [j67]Georg Gottlob, Reinhard Pichler: Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width. SIAM J. Comput. 33(2): 351-378 (2004)
- [j66]Georg Gottlob, Christoph Koch: Logic-based Web Information Extraction. SIGMOD Record 33(2): 87-94 (2004)
- [c95]Georg Gottlob: Second-Order Logic over Finite Structures - Report on a Research Programme. IJCAR 2004: 229-243
- [c94]
- [c93]Georg 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
- [c92]
- [c91]Robert Baumgartner, Georg Gottlob, Marcus Herzog, Wolfgang Slany: Interactively Adding Web Service Interfaces to Existing Web Applications. SAINT 2004: 74-80
- [e10]Georg Gottlob, András A. Benczúr, János Demetrovics (Eds.): Advances in Databases and Information Systems, 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceesing. Lecture Notes in Computer Science 3255, Springer 2004, ISBN 3-540-23243-5
- 2003
- [j65]Georg Gottlob, Christos H. Papadimitriou: On the complexity of single-rule datalog queries. Inf. Comput. 183(1): 104-122 (2003)
- [j64]
- [j63]Georg 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)
- [j62]Thomas Eiter, Georg Gottlob, Kazuhisa Makino: New Results on Monotone Dualization and Generating Hypergraph Transversals. SIAM J. Comput. 32(2): 514-537 (2003)
- [j61]Georg Gottlob, Christoph Koch, Reinhard Pichler: XPath Processing in a Nutshell. SIGMOD Record 32(1): 12-19 (2003)
- [j60]Georg Gottlob, Christoph Koch, Reinhard Pichler: XPath processing in a nutshell. SIGMOD Record 32(2): 21-27 (2003)
- [c90]
- [c89]Georg Gottlob, Christoph Koch, Reinhard Pichler: XPath Query Evaluation: Improving Time and Space Efficiency. ICDE 2003: 379-390
- [c88]Robert Baumgartner, Michal Ceresna, Georg Gottlob, Marcus Herzog, Viktor Zigo: Web Information Acquisition with Lixto Suite. ICDE 2003: 747-749
- [c87]Robert Baumgartner, Georg Gottlob, Marcus Herzog: Visual Programming of Web Data Aggregation Applications. IIWeb 2003: 137-142
- [c86]Georg Gottlob, Christoph Koch, Reinhard Pichler: The complexity of XPath query evaluation. PODS 2003: 179-190
- [c85]Georg Gottlob, Gianluigi Greco, Francesco Scarcello: Pure Nash equilibria: hard and easy games. TARK 2003: 215-230
- [e9]Georg Gottlob, Toby Walsh (Eds.): IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003. Morgan Kaufmann 2003
- [i6]Georg Gottlob, Christoph Koch: A Formal Comparison of Visual Web Wrapper Generators. CoRR cs.DB/0310012 (2003)
- 2002
- [j59]Georg Gottlob, Francesco Scarcello, Martha Sideri: Fixed-parameter complexity in AI and nonmonotonic reasoning. Artif. Intell. 138(1-2): 55-86 (2002)
- [j58]Georg Gottlob, Nicola Leone, Francesco Scarcello: Hypertree Decompositions and Tractable Queries. J. Comput. Syst. Sci. 64(3): 579-627 (2002)
- [j57]Georg Gottlob, Nicola Leone, Francesco Scarcello: Computing LOGCFL certificates. Theor. Comput. Sci. 270(1-2): 761-777 (2002)
- [j56]Robert Baumgartner, Georg Gottlob: Propositional default logics made easier: computational complexity of model checking. Theor. Comput. Sci. 289(1): 591-627 (2002)
- [j55]Georg 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)
- [c84]Francesco Buccafurri, Georg Gottlob: Multiagent Compromises, Joint Fixpoints, and Stable Models. Computational Logic: Logic Programming and Beyond 2002: 561-585
- [c83]Georg Gottlob, Martin Hutle, Franz Wotawa: Combining hypertree, bicomp, and hinge decomposition. ECAI 2002: 161-165
- [c82]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: The DLV System. JELIA 2002: 537-540
- [c81]Thomas Eiter, Georg Gottlob: Hypergraph Transversal Computation and Related Problems in Logic and AI. JELIA 2002: 549-564
- [c80]
- [c79]
- [c78]Georg Gottlob, Christoph Koch: Monadic Datalog and the Expressive Power of Languages for Web Information Extraction. PODS 2002: 17-28
- [c77]Thomas Eiter, Georg Gottlob, Kazuhisa Makino: New results on monotone dualization and generating hypergraph transversals. STOC 2002: 14-22
- [c76]Georg Gottlob, Christoph Koch, Reinhard Pichler: Efficient Algorithms for Processing XPath Queries. VLDB 2002: 95-106
- [i5]Marco Cadoli, Thomas Eiter, Georg Gottlob: Complexity of Nested Circumscription and Nested Abnormality Theories. CoRR cs.AI/0207072 (2002)
- [i4]Nicola 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)
- [i3]Georg Gottlob, Christoph Koch: Monadic Datalog and the Expressive Power of Languages for Web Information Extraction. CoRR cs.DB/0211020 (2002)
- [i2]Thomas Eiter, Georg Gottlob, Kazuhisa Makino: New Results on Monotone Dualization and Generating Hypergraph Transversals. CoRR cs.DS/0204009 (2002)
- 2001
- [j54]Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3): 374-425 (2001)
- [j53]Georg Gottlob, Reinhard Pichler: Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models. Inf. Comput. 165(2): 183-207 (2001)
- [j52]Georg Gottlob, Nicola Leone, Francesco Scarcello: The complexity of acyclic conjunctive queries. J. ACM 48(3): 431-498 (2001)
- [j51]Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone: On ACTL Formulas Having Linear Counterexamples. J. Comput. Syst. Sci. 62(3): 463-515 (2001)
- [c75]Thomas Eiter, Georg Gottlob, Thomas Schwentick: Second-Order Logic over Strings: Regular and Non-regular Fragments. Developments in Language Theory 2001: 37-56
- [c74]Georg Gottlob, Reinhard Pichler: Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width. ICALP 2001: 708-719
- [c73]Marco Cadoli, Thomas Eiter, Georg Gottlob: Complexity of Nested Circumscription and Abnormality Theories. IJCAI 2001: 169-174
- [c72]Robert Baumgartner, Sergio Flesca, Georg Gottlob: Visual Web Information Extraction with Lixto. Semannot@K-CAP 2001 2001
- [c71]Robert Baumgartner, Sergio Flesca, Georg Gottlob: The Elog Web Extraction Language. LPAR 2001: 548-560
- [c70]Robert Baumgartner, Sergio Flesca, Georg Gottlob: Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto. LPNMR 2001: 21-41
- [c69]Georg Gottlob, Nicola Leone, Francesco Scarcello: Hypertree Decompositions: A Survey. MFCS 2001: 37-57
- [c68]Georg Gottlob, Nicola Leone, Francesco Scarcello: Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. PODS 2001
- [c67]
- [c66]Georg Gottlob, Nicola Leone, Francesco Scarcello: Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width. SEBD 2001: 147-154
- [c65]Marcus Herzog, Georg Gottlob: InfoPipes: A Flexible Framework for M-Commerce Applications. TES 2001: 175-186
- [c64]Robert Baumgartner, Sergio Flesca, Georg Gottlob: Visual Web Information Extraction with Lixto. VLDB 2001: 119-128
- [c63]Robert Baumgartner, Sergio Flesca, Georg Gottlob: Supervised Wrapper Generation with Lixto. VLDB 2001: 715-716
- 2000
- [j50]Georg Gottlob, Nicola Leone, Francesco Scarcello: A comparison of structural CSP decomposition methods. Artif. Intell. 124(2): 243-282 (2000)
- [j49]Thomas Eiter, Yuri Gurevich, Georg Gottlob: Existential second-order logic over strings. J. ACM 47(1): 77-131 (2000)
- [j48]
- [c62]Georg Gottlob, Phokion G. Kolaitis, Thomas Schwentick: Existential Second-Order Logic over Graphs: Charting the Tractability Frontier. FOCS 2000: 664-674
- [c61]
- [e8]Victor Vianu, Georg Gottlob (Eds.): Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, May 15-17, 2000, Dallas, Texas, USA. ACM 2000, ISBN 1-58113-214-X
- [e7]Victor Vianu, Georg Gottlob (Eds.): Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, May 15-17, 2000, Dallas, Texas, USA. ACM 2000, ISBN 1-58113-214-X
1990 – 1999
- 1999
- [j47]Francesco Buccafurri, Thomas Eiter, Georg Gottlob, Nicola Leone: Enhancing Model Checking in Verification by AI Techniques. Artif. Intell. 112(1-2): 57-104 (1999)
- [j46]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)
- [j45]Georg Gottlob, Nicola Leone, Francesco Scarcello: On the Complexity of Some Inductive Logic Programming Problems. New Generation Comput. 17(1): 53-75 (1999)
- [c60]Georg Gottlob, Nicola Leone, Francesco Scarcello: On Tractable Queries and Constraints. DEXA 1999: 1-15
- [c59]Georg Gottlob, Nicola Leone, Francesco Scarcello: Computing LOGCFL Certificates. ICALP 1999: 361-371
- [c58]Robert Baumgartner, Georg Gottlob: On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases. IJCAI 1999: 64-69
- [c57]Georg Gottlob, Nicola Leone, Francesco Scarcello: A Comparison of Structural CSP Decomposition Methods. IJCAI 1999: 394-399
- [c56]Georg Gottlob, Reinhard Pichler: Working with Arms: Complexity Results on Atomic Representations of Herbrand Models. LICS 1999: 306-315
- [c55]Georg Gottlob, Christos H. Papadimitriou: On the Complexity of Single-Rule Datalog Queries. LPAR 1999: 201-222
- [c54]Georg Gottlob, Francesco Scarcello, Martha Sideri: Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning. LPNMR 1999: 1-18
- [c53]Georg Gottlob, Nicola Leone, Francesco Scarcello: Hypertree Decompositions and Tractable Queries. PODS 1999: 21-32
- [c52]Georg Gottlob, Nicola Leone, Francesco Scarcello: Hypertree Decompositions and Tractable Queries. SEBD 1999: 275-289
- [e6]Georg Gottlob, Etienne Grandjean, Katrin Seyr (Eds.): Computer Science Logic, 12th International Workshop, CSL '98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings. Lecture Notes in Computer Science 1584, Springer 1999, ISBN 3-540-65922-6
- 1998
- [j44]Thomas Eiter, Georg Gottlob: On the Expressiveness of Frame Satisfiability and Fragments of Second-Order Logic. J. Symb. Log. 63(1): 73-82 (1998)
- [j43]Anuj Dawar, Georg Gottlob, Lauri Hella: Capturing Relativized Complexity Classes without Order. Math. Log. Q. 44: 109-122 (1998)
- [c51]Georg Gottlob, Nicola Leone, Francesco Scarcello: The Complexity of Acyclic Conjunctive Queries. FOCS 1998: 706-715
- [c50]Thomas Eiter, Georg Gottlob, Yuri Gurevich: Existential Second-Order Logic over Strings. LICS 1998: 16-27
- [i1]Georg Gottlob, Nicola Leone, Francesco Scarcello: Hypertree Decompositions and Tractable Queries. CoRR cs.DB/9812022 (1998)
- 1997
- [j42]Thomas Eiter, Georg Gottlob, Nicola Leone: Semantics and Complexity of Abduction from Default Theories. Artif. Intell. 90(1-2): 177-223 (1997)
- [j41]Gerhard Brewka, Georg Gottlob: Well-Founded Semantics for Default Logic. Fundam. Inform. 31(3/4): 221-236 (1997)
- [j40]Thomas Eiter, Georg Gottlob: Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions. J. Log. Program. 33(2): 167-178 (1997)
- [j39]Georg Gottlob: Relativized Logspace and Generalized Quantifiers over Finite Ordered Structures. J. Symb. Log. 62(2): 545-574 (1997)
- [j38]Thomas Eiter, Georg Gottlob, Nicola Leone: On the Indiscernibility of Individuals in Logic Programming. J. Log. Comput. 7(6): 805-824 (1997)
- [j37]Thomas Eiter, Georg Gottlob, Nicola Leone: Abduction from Logic Programs: Semantics and Complexity. Theor. Comput. Sci. 189(1-2): 129-177 (1997)
- [j36]Marco Cadoli, Thomas Eiter, Georg Gottlob: Default Logic as a Query Language. IEEE Trans. Knowl. Data Eng. 9(3): 448-463 (1997)
- [j35]Thomas Eiter, Georg Gottlob, Heikki Mannila: Disjunctive Datalog. ACM Trans. Database Syst. 22(3): 364-418 (1997)
- [c49]Evgeny Dantsin, Thomas Eiter, Georg Gottlob, Andrei Voronkov: Complexity and Expressive Power of Logic Programming. IEEE Conference on Computational Complexity 1997: 82-101
- [c48]Thomas Eiter, Georg Gottlob, Helmut Veith: Generalized Quantifiers in Logic Programs. ESSLLI 1997: 72-98
- [c47]Thomas Eiter, Georg Gottlob: The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic. FCT 1997: 1-18
- [c46]Georg Gottlob, Nicola Leone, Francesco Scarcello: On the Complexity of Some Inductive Logic Programming Problems. ILP 1997: 17-32
- [c45]Thomas Eiter, Georg Gottlob, Helmut Veith: Modular Logic Programming and Generalized Quantifiers. LPNMR 1997: 290-309
- [c44]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-
- [e5]Georg Gottlob, Alexander Leitsch, Daniele Mundici (Eds.): Computational Logic and Proof Theory, 5th Kurt Gödel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997, Proceedings. Lecture Notes in Computer Science 1289, Springer 1997, ISBN 3-540-63385-5
- 1996
- [j34]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)
- [j33]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)
- [j32]Georg Gottlob, Miroslaw Truszczynski: Approximating the Stable Model Semantics is Hard. Fundam. Inform. 28(1-2): 123-128 (1996)
- [j31]Thomas Eiter, Georg Gottlob: The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. J. Comput. Syst. Sci. 53(3): 497-512 (1996)
- [j30]Thomas Eiter, Georg Gottlob: Mächtigkeit von Logikprogrammierung über Datenbanken. KI 10(3): 32-39 (1996)
- [j29]Georg 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)
- [j28]Georg Gottlob, Michael Schrefl, Brigitte Röck: Extending Object-Oriented Systems with Roles. ACM Trans. Inf. Syst. 14(3): 268-296 (1996)
- [c43]Georg Gottlob: Collapsing Oracle-Tape Hierarchies. IEEE Conference on Computational Complexity 1996: 33-42
- [c42]Georg Gottlob, Guido Moerkotte, V. S. Subrahmanian: The PARK Semantics for Active Rules. EDBT 1996: 35-55
- [c41]Georg Gottlob: Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract). KR 1996: 647-649
- 1995
- [j27]Thomas Eiter, Georg Gottlob: On the Computational Cost of Disjunctive Logic Programming: Propositional Case. Ann. Math. Artif. Intell. 15(3-4): 289-323 (1995)
- [j26]Georg Gottlob: The Complexity of Default Reasoning under the Stationary Fixed Point Semantics. Inf. Comput. 121(1): 81-92 (1995)
- [j25]
- [j24]
- [j23]Georg Gottlob: Translating Default Logic into Standard Autoepistemic Logic. J. ACM 42(4): 711-740 (1995)
- [j22]Thomas Eiter, Georg Gottlob: Identifying the Minimal Transversals of a Hypergraph and Related Problems. SIAM J. Comput. 24(6): 1278-1304 (1995)
- [c40]Thomas Eiter, Georg Gottlob, Nicola Leone: Semantics and Complexity of Abduction from Default Theories. IJCAI (1) 1995: 870-877
- [c39]Georg Gottlob: Relativized Logspace and Generalized Quantifiers over Finite Structures. LICS 1995: 65-78
- [c38]Thomas Eiter, Georg Gottlob, Nicola Leone: Complexity Results for Abductive Logic Programming. LPNMR 1995: 1-14
- [c37]Georg Gottlob, Nicola Leone, Helmut Veith: Second Order Logic and the Weak Exponential Hierarchies. MFCS 1995: 66-81
- [c36]Georg Gottlob, Gerti Kappel, Michael Schrefl: The Evolving Algebra Semantics of Class and Role Hierarchies. Semantics in Databases 1995: 92-113
- [e4]Georg Gottlob, Moshe Y. Vardi (Eds.): Database Theory - ICDT'95, 5th International Conference, Prague, Czech Republic, January 11-13, 1995, Proceedings. Lecture Notes in Computer Science 893, Springer 1995, ISBN 3-540-58907-4
- 1994
- [j21]Georg Gottlob, Zhang Mingyi: Cumulative Default Logic: Finite Characterization, Algorithms, and Complexity. Artif. Intell. 69(1-2): 329-345 (1994)
- [j20]Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl: Formalizing the Repair Process - Extended Report. Ann. Math. Artif. Intell. 11(1-4): 187-201 (1994)
- [c35]Thomas Eiter, Georg Gottlob, Heikki Mannila: Disjunctive Logic Programming over Finite Structures. GI Jahrestagung 1994: 69-73
- [c34]Jürgen Dix, Georg Gottlob, V. Wiktor Marek: Causal Models of Disjunctive Logic Programs. ICLP 1994: 290-302
- [c33]Thomas Eiter, Georg Gottlob, Heikki Mannila: Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics. IS/KI 1994: 83-103
- [c32]
- [c31]
- [c30]
- [c29]
- 1993
- [j19]Georg Gottlob, Christian G. Fermüller: Removing Redundancy from a Clause. Artif. Intell. 61(2): 263-289 (1993)
- [j18]Thomas Eiter, Georg Gottlob: Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete. Theor. Comput. Sci. 114(2): 231-245 (1993)
- [c28]
- [c27]Thomas Eiter, Georg Gottlob: The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions. IJCAI 1993: 526-533
- [c26]Georg Gottlob: The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic. IJCAI 1993: 570-577
- [c25]Thomas Eiter, Georg Gottlob, Yuri Gurevich: Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information. IJCAI 1993: 634-639
- [c24]Georg Gottlob: Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (Invited Talk Abstract). LPNMR 1993: 265
- [c23]Thomas Eiter, Georg Gottlob: Complexity Aspects of Various Semantics for Disjunctive Databases. PODS 1993: 158-167
- [c22]Thomas Eiter, Georg Gottlob: Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics. ILPS 1993: 266-278
- [c21]
- [e3]Georg Gottlob, Alexander Leitsch, Daniele Mundici (Eds.): Computational Logic and Proof Theory, Third Kurt Gödel Colloquium, KGC'93, Brno, Czech Republic, August 24-27, 1993, Proceedings. Lecture Notes in Computer Science 713, Springer 1993, ISBN 3-540-57184-1
- 1992
- [j17]Marco Cadoli, Thomas Eiter, Georg Gottlob: An Efficient Method for Eliminating Varying Predicates from a Circumscription. Artif. Intell. 54(2): 397-410 (1992)
- [j16]Thomas Eiter, Georg Gottlob: On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. Artif. Intell. 57(2-3): 227-270 (1992)
- [j15]Georg Gottlob, Michael Schrefl, Markus Stumptner: Selective Inheritance of Attribute Values in Relational Databases. Discrete Applied Mathematics 40(2): 187-216 (1992)
- [j14]Thomas Eiter, Georg Gottlob: Reasoning with parsimonious and moderately grounded expansions. Fundam. Inform. 17(1-2): 31-53 (1992)
- [j13]
- [c20]
- [c19]Georg Gottlob: The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic. ECAI Workshop on Knowledge Representation and Reasoning 1992: 133-144
- [c18]Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl: Formaiizing the Repair Process. ECAI 1992: 709-713
- [c17]Thomas Eiter, Georg Gottlob: Complexity Results for Logic-Based Abduction. Structural Complexity and Recursion-theoretic methods in Logic-Programming 1992: 29-44
- [c16]Thomas Eiter, Georg Gottlob: On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals. PODS 1992: 261-273
- [e2]Alain Pirotte, Claude Delobel, Georg Gottlob (Eds.): Advances in Database Technology - EDBT'92, 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992, Proceedings. Lecture Notes in Computer Science 580, Springer 1992, ISBN 3-540-55270-7
- 1991
- [c15]Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl: Towards a Theory of the Repair Process. EPIA 1991: 222-236
- [c14]
- 1990
- [b1]Stefano Ceri, Georg Gottlob, Letizia Tanca: Logic Programming and Databases. Springer 1990, ISBN 3-540-51728-6
- [j12]Georg Gottlob, Leonid Libkin: Investigations on Armstrong relations, dependency inference, and excluded functional dependencies. Acta Cybern. 9(4): 385-402 (1990)
- [c13]Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl: Physical Impossibility Instead of Fault Models. AAAI 1990: 331-336
- [c12]Gerhard Friedrich, Georg Gottlob, Wolfgang Nejdl: Hypothesis Classification, Abductive Diagnosis and Therapy. Expert Systems in Engineering 1990: 69-78
- [c11]Georg Gottlob, Gerti Kappel, Michael Schrefl: Semantics of Object-Oriented Data Models - The Evolving Algebra Approach. East/West Database Workshop 1990: 144-160
- [e1]Georg Gottlob, Wolfgang Nejdl (Eds.): Expert Systems in Engineering, Principles and Applications, International Workshop, Vienna, Austria, September 24-26, 1990, Proceedings. Lecture Notes in Computer Science 462, Springer 1990, ISBN 3-540-53104-1
1980 – 1989
- 1989
- [j11]Stefano Ceri, Georg Gottlob, Letizia Tanca, Gio Wiederhold: Magic Semi-Joins. Inf. Process. Lett. 33(2): 97-107 (1989)
- [j10]Stefano 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)
- [j9]Stefano Ceri, Georg Gottlob, Gio Wiederhold: Efficient Database Access from Prolog. IEEE Trans. Software Eng. 15(2): 153-164 (1989)
- [c10]Filippo Cacace, Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, Gianfranco Lamperti, Luigi Lavazza, Letizia Tanca, Roberto V. Zicari: ALGRES: An Extended Relational Database System for the Specification and Prototyping of Complex Applications. CA(i)SE 1989
- [c9]Georg Gottlob, Michael Schrefl, Markus Stumptner: On the Interaction between Transitive Closure and Functional Dependencies. MFDBS 1989: 187-206
- 1988
- [j8]Georg Gottlob, Paolo Paolini, Roberto Zicari: Properties and Update Semantics of Consistent Views. ACM Trans. Database Syst. 13(4): 486-524 (1988)
- [c8]Stefano Ceri, Stefano Crespi-Reghizzi, Georg Gottlob, F. Lamperti, Luigi Lavazza, Letizia Tanca, Roberto Zicari: The Algres Project. EDBT 1988: 551-555
- [c7]
- 1987
- [j7]
- [j6]
- [c6]
- 1986
- [j5]Stefano Ceri, Georg Gottlob: Normalization of Relations and PROLOG. Commun. ACM 29(6): 524-544 (1986)
- [j4]Stefano Ceri, Georg Gottlob, Giuseppe Pelagatti: Taxonomy and formal properties of distributed joins. Inf. Syst. 11(1): 25-40 (1986)
- [j3]Stefano Ceri, Georg Gottlob: Optimizing Joins between Two Partitioned Relations in Distributed Databases. J. Parallel Distrib. Comput. 3(2): 183-205 (1986)
- [c5]Stefano Ceri, Georg Gottlob, Gio Wiederhold: Interfacing Relational Databases and Prolog Efficiently. Expert Database Conf. 1986: 207-223
- [c4]Stefano Ceri, Georg Gottlob, Luigi Lavazza: Translation and Optimization of Logic Queries: The Algebraic Approach. VLDB 1986: 395-402
- 1985
- [j2]Georg Gottlob, Alexander Leitsch: On the Efficiency of Subsumption Algorithms. J. ACM 32(2): 280-295 (1985)
- [j1]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)
- [c3]Georg Gottlob, Alexander Leitsch: Fast Subsumption Algorithms. European Conference on Computer Algebra (2) 1985: 64-77
- 1984
- [c2]S. Copelli, Georg Gottlob: Implementation of a Distributed File System on a Geographic Network of Personal Computers. DDSS 1984: 203-219
- 1983
- [c1]Stefano Ceri, Georg Gottlob, Giuseppe Pelagatti: Joining Fragmented Relations in Distributed Databases. XP4.5 Workshop on Database Theory 1983
Coauthor Index
[j109] [c154] [j84] [c124] [c114] [j76] [j75] [j72] [c103] [c101] [c100] [c98] [j62] [c82] [c81] [c77] [i5] [i4] [i2] [j54] [j51] [c75] [c73] [j49] [c61] [j47] [j44] [c50] [j42] [j40] [j38] [j37] [j36] [j35] [c49] [c48] [c47] [c45] [c44] [j34] [j31] [j30] [j27] [j25] [j22] [c40] [c38] [c35] [c33] [c31] [c30] [j18] [c27] [c25] [c23] [c22] [c21] [j17] [j16] [j14] [c20] [c17] [c16]