Edit Profile (opens in new tab) Gottlob, Georg Compute Distance To: Compute Author ID: gottlob.georg Published as: Gottlob, Georg; Gottlob, G. Homepage: https://www.cs.ox.ac.uk/people/georg.gottlob/ External Links: MGP · Wikidata · ResearchGate · dblp · GND · IdRef · theses.fr Documents Indexed: 154 Publications since 1981, including 1 Book 15 Contributions as Editor Co-Authors: 143 Co-Authors with 152 Joint Publications 2,879 Co-Co-Authors all top 5 Co-Authors 17 single-authored 35 Eiter, Thomas 17 Leone, Nicola 17 Pieris, Andreas 16 Scarcello, Francesco 13 Pichler, Reinhard 7 Greco, Gianluigi 6 Koch, Christoph T. 6 Schwentick, Thomas 5 Calì, Andrea 5 Friedrich, Gerhard E. 5 Veith, Helmut 4 Lanzinger, Matthias 4 Leitsch, Alexander 4 Manna, Marco 4 Orsi, Giorgio 4 Šimkus, Mantas 3 Aschinger, Markus 3 Buccafurri, Francesco 3 Ceri, Stefano 3 Drescher, Conrad 3 Faber, Wolfgang 3 Grohe, Martin 3 Gurevich, Yuri 3 Lukasiewicz, Thomas 3 Makino, Kazuhisa 3 Wei, Fang 2 Adler, Isolde 2 Barceló, Pablo 2 Baumgartner, Robert 2 Bertossi, Leopoldo E. 2 Cadoli, Marco 2 Furche, Tim 2 Grädel, Erich 2 Ianni, Giovambattista 2 Jeavons, Peter G. 2 Lee, Stephanie Tien 2 Longo, Davide Mario 2 Malizia, Enrico 2 Miklós, Zoltán 2 Morak, Michael 2 Mundici, Daniele 2 Nejdl, Wolfgang 2 Okulmus, Cem 2 Papadimitriou, Christos Harilaos 2 Perri, Simona 2 Pfeifer, Gerald 2 Razgon, Igor 2 Samer, Marko 2 Senellart, Pierre 2 Sideri, Martha 2 Tanca, Letizia 2 Thorstensen, Evgenij 2 Vardi, Moshe Ya’akov 1 Abiteboul, Serge 1 Afrati, Foto N. 1 Akatov, Dmitri 1 Baaz, Matthias 1 Bárány, Vince 1 Benczúr, András A. 1 Benedikt, Michael A. 1 Berger, Gerald 1 Bieliková, Mária 1 Bourhis, Pierre 1 Brewka, Gerhard 1 Bry, François 1 Calimeri, Francesco 1 d’Amato, Claudia 1 David, Claire 1 Dawar, Anuj 1 de Moor, Oege 1 Dell’Armi, Tina 1 Demetrovics, János 1 Dix, Jurgen 1 Eisinger, Norbert 1 Fanizzi, Nicola 1 Fazzinga, Bettina 1 Fermüller, Christian G. 1 Figueira, Diego 1 Fischl, Wolfgang 1 Flesca, Sergio 1 Frühwirth, Thomas 1 Glimm, Birte 1 Grandjean, Etienne 1 Hella, Lauri T. 1 Henzinger, Thomas A. 1 Hernich, André 1 Herzog, Marcus 1 Horn, Werner 1 Horrocks, Ian 1 Ielpa, Giuseppe 1 Inclezan, Daniela 1 Katzenbeisser, Stefan 1 Kifer, Michael 1 Kikot, Stanislav 1 Kolaitis, Phokion G. 1 Kontchakov, Roman 1 Kupke, Clemens 1 Lembo, Domenico 1 Ley, Clemens 1 Libkin, Leonid O. ...and 43 more Co-Authors all top 5 Serials 14 Journal of the ACM 12 Artificial Intelligence 11 Lecture Notes in Computer Science 8 Theoretical Computer Science 7 Journal of Computer and System Sciences 6 ACM Transactions on Computational Logic 4 Information Processing Letters 4 Journal of the Association for Computing Machinery 4 SIAM Journal on Computing 4 Annales Societatis Mathematicae Polonae. Series IV 4 Annals of Mathematics and Artificial Intelligence 3 Information and Computation 3 Theory and Practice of Logic Programming 2 Discrete Applied Mathematics 2 ACM Transactions on Database Systems 2 The Journal of Symbolic Logic 2 Annals of Pure and Applied Logic 2 Journal of Logic and Computation 2 The Journal of Artificial Intelligence Research (JAIR) 2 ACM Journal of Experimental Algorithmics 1 Computers & Mathematics with Applications 1 Acta Cybernetica 1 Programming and Computer Software 1 European Journal of Combinatorics 1 The Journal of Logic Programming 1 Internationale Mathematische Nachrichten 1 Information Systems 1 International Journal of Computer Mathematics 1 Formal Methods in System Design 1 Mathematical Logic Quarterly (MLQ) 1 Constraints 1 Fundamenta Informaticae 1 Logical Methods in Computer Science all top 5 Fields 158 Computer science (68-XX) 51 Mathematical logic and foundations (03-XX) 24 Combinatorics (05-XX) 14 General and overarching topics; collections (00-XX) 7 Operations research, mathematical programming (90-XX) 3 History and biography (01-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Information and communication theory, circuits (94-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 111 Publications have been cited 1,570 times in 1,000 Documents Cited by ▼ Year ▼ The DLV system for knowledge representation and reasoning. Zbl 1367.68308Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Eiter, Thomas; Gottlob, Georg; Perri, Simona; Scarcello, Francesco 138 2006 Identifying the minimal transversals of a hypergraph and related problems. Zbl 0842.05070Eiter, Thomas; Gottlob, Georg 102 1995 On the computational cost of disjunctive logic programming: Propositional case. Zbl 0858.68016Eiter, Thomas; Gottlob, Georg 87 1995 On the complexity of propositional knowledge base revision, updates, and counterfactuals. Zbl 0763.68038Eiter, Thomas; Gottlob, Georg 65 1992 Hypertree decompositions and tractable queries. Zbl 1052.68025Gottlob, Georg; Leone, Nicola; Scarcello, Francesco 59 2002 The complexity of logic-based abduction. Zbl 0886.68121Eiter, Thomas; Gottlob, Georg 58 1995 Complexity results for nonmonotonic logics. Zbl 0765.03012Gottlob, Georg 58 1992 A comparison of structural CSP decomposition methods. Zbl 0952.68044Gottlob, G.; Leone, N.; Scarcello, F. 52 2000 Pure Nash equilibria: hard and easy games. Zbl 1134.91312Gottlob, G.; Greco, G.; Scarcello, F. 46 2005 Computational aspects of monotone dualization: a brief survey. Zbl 1160.68016Eiter, Thomas; Makino, Kazuhisa; Gottlob, Georg 42 2008 Enhancing model checking in verification by AI techniques. Zbl 0996.68104Buccafurri, Francesco; Eiter, Thomas; Gottlob, Georg; Leone, Nicola 40 1999 New results on monotone dualization and generating hypergraph transversals. Zbl 1052.68101Eiter, Thomas; Gottlob, Georg; Makino, Kazuhisa 40 2003 Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete. Zbl 0786.68085Eiter, Thomas; Gottlob, Georg 39 1993 Taming the infinite chase: query answering under expressive relational constraints. Zbl 1361.68221Calí, Andrea; Gottlob, Georg; Kifer, Michael 32 2013 The complexity of acyclic conjunctive queries. Zbl 1323.68250Gottlob, Georg; Leone, Nicola; Scarcello, Francesco 30 2001 Hypergraph transversal computation and related problems in logic and AI. Zbl 1013.68143Eiter, Thomas; Gottlob, Georg 28 2002 Fixed-parameter complexity in AI and nonmonotonic reasoning. Zbl 0995.68118Gottlob, Georg; Scarcello, Francesco; Sideri, Martha 26 2002 Monadic Datalog and the expressive power of languages for web information extraction. Zbl 1316.68045Gottlob, Georg; Koch, Christoph 24 2004 Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width. Zbl 1054.68044Gottlob, Georg; Leone, Nicola; Scarcello, Francesco 23 2003 Generalized hypertree decompositions: NP-hardness and tractable variants. Zbl 1325.68097Gottlob, Georg; Miklós, Zoltán; Schwentick, Thomas 20 2009 Abduction from logic programs: Semantics and complexity. Zbl 0893.68022Eiter, Thomas; Gottlob, Georg; Leone, Nicola 20 1997 Hypertree width and related hypergraph invariants. Zbl 1127.05065Adler, Isolde; Gottlob, Georg; Grohe, Martin 16 2007 Bounded treewidth as a key to tractability of knowledge representation and reasoning. Zbl 1185.68690Gottlob, Georg; Pichler, Reinhard; Wei, Fang 16 2010 Towards more expressive ontology languages: the query answering problem. Zbl 1270.68293Calì, Andrea; Gottlob, Georg; Pieris, Andreas 16 2012 NP trees and Carnap’s modal logic. Zbl 0886.68069Gottlob, Georg 15 1995 Conjunctive queries over trees. Zbl 1326.68110Gottlob, Georg; Koch, Christoph; Schulz, Klaus U. 15 2006 On the efficiency of subsumption algorithms. Zbl 0633.68028Gottlob, G.; Leitsch, A. 14 1985 Querying the guarded fragment. Zbl 1314.68146Bárány, Vince; Gottlob, Georg; Otto, Martin 14 2014 Hypertree decompositions: A survey. Zbl 1001.05087Gottlob, Georg; Leone, Nicola; Scarcello, Francesco 13 2001 Monadic Datalog over finite structures of bounded treewidth. Zbl 1351.68110Gottlob, Georg; Pichler, Reinhard; Wei, Fang 12 2010 Subsumption and implication. Zbl 0629.68091Gottlob, Georg 12 1987 Optimization methods for the partner units problem. Zbl 1302.90164Aschinger, Markus; Drescher, Conrad; Friedrich, Gerhard; Gottlob, Georg; Jeavons, Peter; Ryabokon, Anna; Thorstensen, Evgenij 12 2011 New results on monotone dualization and generating hypergraph transversals. Zbl 1192.68356Eiter, Thomas; Gottlob, Georg; Makino, Kazuhisa 12 2002 Translating default logic into standard autoepistemic logic. Zbl 0884.03025Gottlob, Georg 11 1995 Hypertree decompositions: structure, algorithms, and applications. Zbl 1126.68516Gottlob, Georg; Grohe, Martin; Musliu, Nysret; Samer, Marko; Scarcello, Francesco 11 2005 The complexity of XPath query evaluation and XML typing. Zbl 1317.68073Gottlob, Georg; Koch, Christoph; Pichler, Reinhard; Segoufin, Luc 11 2005 Removing redundancy from a clause. Zbl 0779.68015Gottlob, Georg; Fermüller, Christian G. 11 1993 Semantics and complexity of abduction from default theories. Zbl 1017.03515Eiter, Thomas; Gottlob, Georg; Leone, Nicola 11 1997 The price of query rewriting in ontology-based data access. Zbl 1390.68246Gottlob, Georg; Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir; Schwentick, Thomas; Zakharyaschev, Michael 11 2014 Efficient core computation in data exchange. Zbl 1326.68124Gottlob, Georg; Nash, Alan 10 2008 Computing LOGCFL certificates. Zbl 0992.68062Gottlob, Georg; Leone, Nicola; Scarcello, Francesco 10 2002 A logical approach to multicut problems. Zbl 1190.90032Gottlob, Georg; Lee, Stephanie Tien 10 2007 On the complexity of single-rule datalog queries. Zbl 1055.68033Gottlob, Georg; Papadimitriou, Christos 10 2003 Investigations on Armstrong relations, dependency inference, and excluded functional dependencies. Zbl 0727.68026Gottlob, G.; Libkin, L. 10 1990 Existential second-order logic over graphs: charting the tractability frontier. Zbl 1316.68054Gottlob, Georg; Kolaitis, Phokion G.; Schwentick, Thomas 10 2004 Succinctness as a source of complexity in logical formalisms. Zbl 0933.03048Gottlob, Georg; Leone, Nicola; Veith, Helmut 9 1999 Tractable optimization problems through hypergraph-based structural restrictions. Zbl 1248.68246Gottlob, Georg; Greco, Gianluigi; Scarcello, Francesco 8 2009 Relativized logspace and generalized quantifiers over finite ordered structures. Zbl 0882.03031Gottlob, Georg 8 1997 Datalog LITE: a deductive query language with linear time model checking. Zbl 1365.68203Gottlob, Georg; Grädel, Erich; Veith, Helmut 8 2002 A non-ground realization of the stable and well-founded semantics. Zbl 0872.68108Gottlob, Georg; Marcus, Sherry; Nerode, Anil; Salzer, Gernot; Subrahmanian, V. S. 7 1996 Second order logic and the weak exponential hierarchies. Zbl 1193.68115Gottlob, Georg; Leone, Nicola; Veith, Helmut 7 1995 Hypertree-width and related hypergraph invariants. Zbl 1192.05104Adler, Isolde; Gottlob, Georg; Grohe, Martin 7 2005 Query answering in the description logic Horn-\(\mathcal{SHIQ}\). Zbl 1178.68558Eiter, Thomas; Gottlob, Georg; Ortiz, Magdalena; Šimkus, Mantas 7 2008 The DLV system. Zbl 1014.68871Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Calimeri, Francesco; Dell’Armi, Tina; Eiter, Thomas; Gottlob, Georg; Ianni, Giovambattista; Ielpa, Giuseppe; Koch, Christoph; Perri, Simona; Polleres, Axel 7 2002 Decomposing combinatorial auctions and set packing problems. Zbl 1281.91088Gottlob, Georg; Greco, Gianluigi 7 2013 Normal forms for second-order logic over finite structures, and classification of NP optimization problems. Zbl 0883.03015Eiter, Thomas; Gottlob, Georg; Gurevich, Yuri 6 1996 The complexity of nested counterfactuals and iterated knowledge base revisions. Zbl 0869.68045Eiter, Thomas; Gottlob, Georg 6 1996 Working with ARMs: Complexity results on atomic representations of Herbrand models. Zbl 1007.03009Gottlob, Georg; Pichler, Reinhard 6 2001 Achieving new upper bounds for the hypergraph duality problem through logic. Zbl 1395.68151Gottlob, Georg; Malizia, Enrico 6 2014 On minimal constraint networks. Zbl 1270.68268Gottlob, Georg 6 2012 Properties and updata semantics of consistent views. Zbl 0665.68089Gottlob, Georg; Paolini, Paolo; Zicari, Roberto 6 1988 Combining decidability paradigms for existential rules. Zbl 1286.68044Gottlob, Georg; Manna, Marco; Pieris, Andreas 6 2013 Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088Dix, Jürgen; Gottlob, Georg; Marek, Wiktor 5 1996 Uniform constraint satisfaction problems and database theory. Zbl 1171.68501Scarcello, Francesco; Gottlob, Georg; Greco, Gianluigi 5 2008 Fixed-parameter complexity in AI and nonmonotonic reasoning. Zbl 0955.68057Gottlob, Georg; Scarcello, Francesco; Sideri, Martha 5 1999 Reasoning with parsimonious and moderately grounded expansions. Zbl 0772.68081Eiter, Thomas; Gottlob, Georg 5 1992 Declarative information extraction, Web crawling, and recursive wrapping with Lixto. Zbl 1007.68742Baumgartner, Robert; Flesca, Sergio; Gottlob, Georg 5 2001 Structural decomposition methods and what they are good for. Zbl 1230.68157Aschinger, Markus; Drescher, Conrad; Gottlob, Georg; Jeavons, Peter; Thorstensen, Evgenij 5 2011 Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies. Zbl 1308.68113Gottlob, Georg; Lukasiewicz, Thomas; Martinez, Maria Vanina; Simari, Gerardo I. 5 2013 Hypergraphs in model checking: Acyclicity and hypertree-width versus clique-width. Zbl 0987.68046Gottlob, Georg; Pichler, Reinhard 4 2001 Fast subsumption algorithms. Zbl 0588.68044Gottlob, G.; Leitsch, A. 4 1985 Schema mapping discovery from data instances. Zbl 1327.68092Gottlob, Georg; Senellart, Pierre 4 2010 An efficient method for eliminating varying predicates from a circumscription. Zbl 0762.03013Cadoli, Marco; Eiter, Thomas; Gottlob, Georg 4 1992 The complexity of default reasoning under the stationary fixed point semantics. Zbl 0832.68097Gottlob, Georg 4 1995 Existential second-order logic over strings. Zbl 1095.03503Eiter, Thomas; Gurevich, Yuri; Gottlob, Georg 4 2000 On the size of nonredundant FD-covers. Zbl 0653.68110Gottlob, Georg 4 1987 Querying the guarded fragment with transitivity. Zbl 1335.68078Gottlob, Georg; Pieris, Andreas; Tendera, Lidia 4 2013 Datalog and its extensions for semantic web databases. Zbl 1251.68088Gottlob, Georg; Orsi, Giorgio; Pieris, Andreas; Šimkus, Mantas 4 2012 A backtracking-based algorithm for hypertree decomposition. Zbl 1284.05284Gottlob, Georg; Samer, Marko 4 2009 Hypergraph transversals. Zbl 1202.68281Gottlob, Georg 4 2004 Hypergraphs in model checking: Acyclicity and hypertree-width versus clique-width. Zbl 1062.03028Gottlob, Georg; Pichler, Reinhard 3 2004 Achieving new upper bounds for the hypergraph duality problem through logic. Zbl 06864816Gottlob, Georg; Malizia, Enrico 3 2018 Cumulative default logic: Finite characterization, algorithms, and complexity. Zbl 0821.68111Gottlob, Georg; Zhang, Mingyi 3 1994 On ACTL formulas having linear counterexamples. Zbl 0990.68102Buccafurri, Francesco; Eiter, Thomas; Gottlob, Georg; Leone, Nicola 3 2001 Well-founded semantics for default logic. Zbl 0902.03013Brewka, Gerhard; Gottlob, Georg 2 1997 Foundations of rule-based query answering. Zbl 1170.68646Bry, François; Eisinger, Norbert; Eiter, Thomas; Furche, Tim; Gottlob, Georg; Ley, Clemens; Linse, Benedikt; Pichler, Reinhard; Wei, Fang 2 2007 Datalog reloaded. First international workshop, Datalog 2010, Oxford, UK, March 16–19, 2010. Revised selected papers. Zbl 1233.68027 2 2011 Selective inheritance of attribute values in relational databases. Zbl 0767.68031Gottlob, G.; Schrefl, M.; Stumptner, M. 2 1992 The complexity of logic-based abduction. Zbl 0799.68089Eiter, Thomas; Gottlob, Georg 2 1993 Propositional default logics made easier: computational complexity of model checking. Zbl 1061.68068Baumgartner, Robert; Gottlob, Georg 2 2002 Multiagent compromises, joint fixpoints, and stable models. Zbl 1012.68191Buccafurri, Francesco; Gottlob, Georg 2 2002 Distributed XML design. Zbl 1246.68066Abiteboul, S.; Gottlob, G.; Manna, M. 2 2011 Tractability frontiers of the partner units configuration problem. Zbl 1338.68045Teppan, Erich Christian; Friedrich, Gerhard; Gottlob, Georg 2 2016 Second-order logic over strings: Regular and non-regular fragments. Zbl 1073.03006Eiter, Thomas; Gottlob, Georg; Schwentick, Thomas 2 2002 Ontology-based semantic search on the web and its combination with the power of inductive reasoning. Zbl 1254.68112d’Amato, Claudia; Fanizzi, Nicola; Fazzinga, Bettina; Gottlob, Georg; Lukasiewicz, Thomas 2 2012 On the complexity of ontological reasoning under disjunctive existential rules. Zbl 1365.68405Gottlob, Georg; Manna, Marco; Morak, Michael; Pieris, Andreas 2 2012 Hyperconsistency width for constraint satisfaction: Algorithms and complexity results. Zbl 1194.68126Gottlob, Georg; Greco, Gianluigi; Marnette, Bruno 2 2009 Expressiveness of stable model semantics for disjunctive logic programs with functions. Zbl 0890.68030Eiter, Thomas; Gottlob, Georg 1 1997 Compexity results for some eigenvector problems. Zbl 0967.65050Eiter, Thomas; Gottlob, Georg 1 2000 Taxonomy and formal properties of distributed joins. Zbl 0587.68087Ceri, S.; Gottlob, G.; Pelagatti, G. 1 1986 Vadalog: recent advances and applications. Zbl 07169096Gottlob, Georg; Pieris, Andreas; Sallinger, Emanuel 1 2019 Achieving new upper bounds for the hypergraph duality problem through logic. Zbl 06864816Gottlob, Georg; Malizia, Enrico 3 2018 Preface of the special issue in memoriam Helmut Veith. Zbl 1384.00074 1 2017 Tractability frontiers of the partner units configuration problem. Zbl 1338.68045Teppan, Erich Christian; Friedrich, Gerhard; Gottlob, Georg 2 2016 Querying the guarded fragment. Zbl 1314.68146Bárány, Vince; Gottlob, Georg; Otto, Martin 14 2014 The price of query rewriting in ontology-based data access. Zbl 1390.68246Gottlob, Georg; Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir; Schwentick, Thomas; Zakharyaschev, Michael 11 2014 Achieving new upper bounds for the hypergraph duality problem through logic. Zbl 1395.68151Gottlob, Georg; Malizia, Enrico 6 2014 Query rewriting and optimization for ontological databases. Zbl 1474.68103Gottlob, Georg; Orsi, Giorgio; Pieris, Andreas 1 2014 LoCo – a logic for configuration problems. Zbl 1354.68246Aschinger, Markus; Drescher, Conrad; Gottlob, Georg; Vollmer, Heribert 1 2014 Taming the infinite chase: query answering under expressive relational constraints. Zbl 1361.68221Calí, Andrea; Gottlob, Georg; Kifer, Michael 32 2013 Decomposing combinatorial auctions and set packing problems. Zbl 1281.91088Gottlob, Georg; Greco, Gianluigi 7 2013 Combining decidability paradigms for existential rules. Zbl 1286.68044Gottlob, Georg; Manna, Marco; Pieris, Andreas 6 2013 Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies. Zbl 1308.68113Gottlob, Georg; Lukasiewicz, Thomas; Martinez, Maria Vanina; Simari, Gerardo I. 5 2013 Querying the guarded fragment with transitivity. Zbl 1335.68078Gottlob, Georg; Pieris, Andreas; Tendera, Lidia 4 2013 Towards more expressive ontology languages: the query answering problem. Zbl 1270.68293Calì, Andrea; Gottlob, Georg; Pieris, Andreas 16 2012 On minimal constraint networks. Zbl 1270.68268Gottlob, Georg 6 2012 Datalog and its extensions for semantic web databases. Zbl 1251.68088Gottlob, Georg; Orsi, Giorgio; Pieris, Andreas; Šimkus, Mantas 4 2012 Ontology-based semantic search on the web and its combination with the power of inductive reasoning. Zbl 1254.68112d’Amato, Claudia; Fanizzi, Nicola; Fazzinga, Bettina; Gottlob, Georg; Lukasiewicz, Thomas 2 2012 On the complexity of ontological reasoning under disjunctive existential rules. Zbl 1365.68405Gottlob, Georg; Manna, Marco; Morak, Michael; Pieris, Andreas 2 2012 Querying UML class diagrams. Zbl 1352.68058Calì, Andrea; Gottlob, Georg; Orsi, Giorgio; Pieris, Andreas 1 2012 Optimization methods for the partner units problem. Zbl 1302.90164Aschinger, Markus; Drescher, Conrad; Friedrich, Gerhard; Gottlob, Georg; Jeavons, Peter; Ryabokon, Anna; Thorstensen, Evgenij 12 2011 Structural decomposition methods and what they are good for. Zbl 1230.68157Aschinger, Markus; Drescher, Conrad; Gottlob, Georg; Jeavons, Peter; Thorstensen, Evgenij 5 2011 Datalog reloaded. First international workshop, Datalog 2010, Oxford, UK, March 16–19, 2010. Revised selected papers. Zbl 1233.68027 2 2011 Distributed XML design. Zbl 1246.68066Abiteboul, S.; Gottlob, G.; Manna, M. 2 2011 Bounded treewidth as a key to tractability of knowledge representation and reasoning. Zbl 1185.68690Gottlob, Georg; Pichler, Reinhard; Wei, Fang 16 2010 Monadic Datalog over finite structures of bounded treewidth. Zbl 1351.68110Gottlob, Georg; Pichler, Reinhard; Wei, Fang 12 2010 Schema mapping discovery from data instances. Zbl 1327.68092Gottlob, Georg; Senellart, Pierre 4 2010 Generalized hypertree decompositions: NP-hardness and tractable variants. Zbl 1325.68097Gottlob, Georg; Miklós, Zoltán; Schwentick, Thomas 20 2009 Tractable optimization problems through hypergraph-based structural restrictions. Zbl 1248.68246Gottlob, Georg; Greco, Gianluigi; Scarcello, Francesco 8 2009 A backtracking-based algorithm for hypertree decomposition. Zbl 1284.05284Gottlob, Georg; Samer, Marko 4 2009 Hyperconsistency width for constraint satisfaction: Algorithms and complexity results. Zbl 1194.68126Gottlob, Georg; Greco, Gianluigi; Marnette, Bruno 2 2009 Computational aspects of monotone dualization: a brief survey. Zbl 1160.68016Eiter, Thomas; Makino, Kazuhisa; Gottlob, Georg 42 2008 Efficient core computation in data exchange. Zbl 1326.68124Gottlob, Georg; Nash, Alan 10 2008 Query answering in the description logic Horn-\(\mathcal{SHIQ}\). Zbl 1178.68558Eiter, Thomas; Gottlob, Georg; Ortiz, Magdalena; Šimkus, Mantas 7 2008 Uniform constraint satisfaction problems and database theory. Zbl 1171.68501Scarcello, Francesco; Gottlob, Georg; Greco, Gianluigi 5 2008 Hypertree width and related hypergraph invariants. Zbl 1127.05065Adler, Isolde; Gottlob, Georg; Grohe, Martin 16 2007 A logical approach to multicut problems. Zbl 1190.90032Gottlob, Georg; Lee, Stephanie Tien 10 2007 Foundations of rule-based query answering. Zbl 1170.68646Bry, François; Eisinger, Norbert; Eiter, Thomas; Furche, Tim; Gottlob, Georg; Ley, Clemens; Linse, Benedikt; Pichler, Reinhard; Wei, Fang 2 2007 The DLV system for knowledge representation and reasoning. Zbl 1367.68308Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Eiter, Thomas; Gottlob, Georg; Perri, Simona; Scarcello, Francesco 138 2006 Conjunctive queries over trees. Zbl 1326.68110Gottlob, Georg; Koch, Christoph; Schulz, Klaus U. 15 2006 A formal comparison of visual web wrapper generators. Zbl 1175.68096Gottlob, Georg; Koch, Christoph 1 2006 Pure Nash equilibria: hard and easy games. Zbl 1134.91312Gottlob, G.; Greco, G.; Scarcello, F. 46 2005 Hypertree decompositions: structure, algorithms, and applications. Zbl 1126.68516Gottlob, Georg; Grohe, Martin; Musliu, Nysret; Samer, Marko; Scarcello, Francesco 11 2005 The complexity of XPath query evaluation and XML typing. Zbl 1317.68073Gottlob, Georg; Koch, Christoph; Pichler, Reinhard; Segoufin, Luc 11 2005 Hypertree-width and related hypergraph invariants. Zbl 1192.05104Adler, Isolde; Gottlob, Georg; Grohe, Martin 7 2005 Complexity of propositional nested circumscription and nested abnormality theories. Zbl 1367.68276Cadoli, Marco; Eiter, Thomas; Gottlob, Georg 1 2005 Monadic Datalog and the expressive power of languages for web information extraction. Zbl 1316.68045Gottlob, Georg; Koch, Christoph 24 2004 Existential second-order logic over graphs: charting the tractability frontier. Zbl 1316.68054Gottlob, Georg; Kolaitis, Phokion G.; Schwentick, Thomas 10 2004 Hypergraph transversals. Zbl 1202.68281Gottlob, Georg 4 2004 Hypergraphs in model checking: Acyclicity and hypertree-width versus clique-width. Zbl 1062.03028Gottlob, Georg; Pichler, Reinhard 3 2004 Second-order logic over finite structures – report on a research programme. Zbl 1126.68567Gottlob, Georg 1 2004 New results on monotone dualization and generating hypergraph transversals. Zbl 1052.68101Eiter, Thomas; Gottlob, Georg; Makino, Kazuhisa 40 2003 Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width. Zbl 1054.68044Gottlob, Georg; Leone, Nicola; Scarcello, Francesco 23 2003 On the complexity of single-rule datalog queries. Zbl 1055.68033Gottlob, Georg; Papadimitriou, Christos 10 2003 Hypertree decompositions and tractable queries. Zbl 1052.68025Gottlob, Georg; Leone, Nicola; Scarcello, Francesco 59 2002 Hypergraph transversal computation and related problems in logic and AI. Zbl 1013.68143Eiter, Thomas; Gottlob, Georg 28 2002 Fixed-parameter complexity in AI and nonmonotonic reasoning. Zbl 0995.68118Gottlob, Georg; Scarcello, Francesco; Sideri, Martha 26 2002 New results on monotone dualization and generating hypergraph transversals. Zbl 1192.68356Eiter, Thomas; Gottlob, Georg; Makino, Kazuhisa 12 2002 Computing LOGCFL certificates. Zbl 0992.68062Gottlob, Georg; Leone, Nicola; Scarcello, Francesco 10 2002 Datalog LITE: a deductive query language with linear time model checking. Zbl 1365.68203Gottlob, Georg; Grädel, Erich; Veith, Helmut 8 2002 The DLV system. Zbl 1014.68871Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Calimeri, Francesco; Dell’Armi, Tina; Eiter, Thomas; Gottlob, Georg; Ianni, Giovambattista; Ielpa, Giuseppe; Koch, Christoph; Perri, Simona; Polleres, Axel 7 2002 Propositional default logics made easier: computational complexity of model checking. Zbl 1061.68068Baumgartner, Robert; Gottlob, Georg 2 2002 Multiagent compromises, joint fixpoints, and stable models. Zbl 1012.68191Buccafurri, Francesco; Gottlob, Georg 2 2002 Second-order logic over strings: Regular and non-regular fragments. Zbl 1073.03006Eiter, Thomas; Gottlob, Georg; Schwentick, Thomas 2 2002 The complexity of acyclic conjunctive queries. Zbl 1323.68250Gottlob, Georg; Leone, Nicola; Scarcello, Francesco 30 2001 Hypertree decompositions: A survey. Zbl 1001.05087Gottlob, Georg; Leone, Nicola; Scarcello, Francesco 13 2001 Working with ARMs: Complexity results on atomic representations of Herbrand models. Zbl 1007.03009Gottlob, Georg; Pichler, Reinhard 6 2001 Declarative information extraction, Web crawling, and recursive wrapping with Lixto. Zbl 1007.68742Baumgartner, Robert; Flesca, Sergio; Gottlob, Georg 5 2001 Hypergraphs in model checking: Acyclicity and hypertree-width versus clique-width. Zbl 0987.68046Gottlob, Georg; Pichler, Reinhard 4 2001 On ACTL formulas having linear counterexamples. Zbl 0990.68102Buccafurri, Francesco; Eiter, Thomas; Gottlob, Georg; Leone, Nicola 3 2001 A comparison of structural CSP decomposition methods. Zbl 0952.68044Gottlob, G.; Leone, N.; Scarcello, F. 52 2000 Existential second-order logic over strings. Zbl 1095.03503Eiter, Thomas; Gurevich, Yuri; Gottlob, Georg 4 2000 Compexity results for some eigenvector problems. Zbl 0967.65050Eiter, Thomas; Gottlob, Georg 1 2000 On the complexity of theory curbing. Zbl 0988.68176Eiter, Thomas; Gottlob, Georg 1 2000 Enhancing model checking in verification by AI techniques. Zbl 0996.68104Buccafurri, Francesco; Eiter, Thomas; Gottlob, Georg; Leone, Nicola 40 1999 Succinctness as a source of complexity in logical formalisms. Zbl 0933.03048Gottlob, Georg; Leone, Nicola; Veith, Helmut 9 1999 Fixed-parameter complexity in AI and nonmonotonic reasoning. Zbl 0955.68057Gottlob, Georg; Scarcello, Francesco; Sideri, Martha 5 1999 Review of a Carnapian extension of S5. Zbl 0922.03022Gottlob, Georg 1 1999 Abduction from logic programs: Semantics and complexity. Zbl 0893.68022Eiter, Thomas; Gottlob, Georg; Leone, Nicola 20 1997 Semantics and complexity of abduction from default theories. Zbl 1017.03515Eiter, Thomas; Gottlob, Georg; Leone, Nicola 11 1997 Relativized logspace and generalized quantifiers over finite ordered structures. Zbl 0882.03031Gottlob, Georg 8 1997 Well-founded semantics for default logic. Zbl 0902.03013Brewka, Gerhard; Gottlob, Georg 2 1997 Expressiveness of stable model semantics for disjunctive logic programs with functions. Zbl 0890.68030Eiter, Thomas; Gottlob, Georg 1 1997 A non-ground realization of the stable and well-founded semantics. Zbl 0872.68108Gottlob, Georg; Marcus, Sherry; Nerode, Anil; Salzer, Gernot; Subrahmanian, V. S. 7 1996 Normal forms for second-order logic over finite structures, and classification of NP optimization problems. Zbl 0883.03015Eiter, Thomas; Gottlob, Georg; Gurevich, Yuri 6 1996 The complexity of nested counterfactuals and iterated knowledge base revisions. Zbl 0869.68045Eiter, Thomas; Gottlob, Georg 6 1996 Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088Dix, Jürgen; Gottlob, Georg; Marek, Wiktor 5 1996 Identifying the minimal transversals of a hypergraph and related problems. Zbl 0842.05070Eiter, Thomas; Gottlob, Georg 102 1995 On the computational cost of disjunctive logic programming: Propositional case. Zbl 0858.68016Eiter, Thomas; Gottlob, Georg 87 1995 The complexity of logic-based abduction. Zbl 0886.68121Eiter, Thomas; Gottlob, Georg 58 1995 NP trees and Carnap’s modal logic. Zbl 0886.68069Gottlob, Georg 15 1995 Translating default logic into standard autoepistemic logic. Zbl 0884.03025Gottlob, Georg 11 1995 Second order logic and the weak exponential hierarchies. Zbl 1193.68115Gottlob, Georg; Leone, Nicola; Veith, Helmut 7 1995 The complexity of default reasoning under the stationary fixed point semantics. Zbl 0832.68097Gottlob, Georg 4 1995 Cumulative default logic: Finite characterization, algorithms, and complexity. Zbl 0821.68111Gottlob, Georg; Zhang, Mingyi 3 1994 Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete. Zbl 0786.68085Eiter, Thomas; Gottlob, Georg 39 1993 Removing redundancy from a clause. Zbl 0779.68015Gottlob, Georg; Fermüller, Christian G. 11 1993 The complexity of logic-based abduction. Zbl 0799.68089Eiter, Thomas; Gottlob, Georg 2 1993 On the complexity of propositional knowledge base revision, updates, and counterfactuals. Zbl 0763.68038Eiter, Thomas; Gottlob, Georg 65 1992 Complexity results for nonmonotonic logics. Zbl 0765.03012Gottlob, Georg 58 1992 ...and 11 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,357 Authors 50 Gottlob, Georg 41 Eiter, Thomas 30 Woltran, Stefan 26 Leone, Nicola 20 Greco, Gianluigi 18 Pichler, Reinhard 18 Scarcello, Francesco 18 Szeider, Stefan 18 Truszczyński, Mirosław 15 Elbassioni, Khaled M. 13 Liberatore, Paolo 13 Makino, Kazuhisa 13 Ricca, Francesco 13 Schaub, Torsten H. 12 Cadoli, Marco 11 Gebser, Martin 11 Gurvich, Vladimir A. 11 Pieris, Andreas 10 Barceló, Pablo 10 Boros, Endre 10 Faber, Wolfgang 10 Khachiyan, Leonid Genrikhovich 9 Alviano, Mario 9 Chiaselotti, Giampiero 9 Gentile, Tommaso 9 Ibaraki, Toshihide 9 Kanté, Mamadou Moustapha 9 Libkin, Leonid O. 9 Lukasiewicz, Thomas 9 Morak, Michael 9 Palopoli, Luigi 8 Amendola, Giovanni 8 Dodaro, Carmine 8 Fink, Michael 8 Gelfond, Michael 8 Grohe, Martin 8 Infusino, Federico G. 8 Maratea, Marco 8 Nourine, Lhouari 8 Schaerf, Marco 8 Schockaert, Steven 8 Wang, Kewen 7 Ben-Eliyahu-Zohary, Rachel 7 De Cock, Martine 7 Fichte, Johannes Klaus 7 Ganian, Robert 7 Janhunen, Tomi 7 Jonsson, Peter A. 7 Krokhin, Andrei A. 7 Manna, Marco 7 Ordyniak, Sebastian 7 Sakama, Chiaki 7 ten Cate, Balder David 7 Uno, Takeaki 6 Angiulli, Fabrizio 6 Benedikt, Michael A. 6 Creignou, Nadia 6 Delgrande, James P. 6 Demetrovics, János 6 Durand, Arnaud 6 Fischer, Felix 6 Grégoire, Éric 6 Lang, Jérôme 6 Ortiz, Magdalena 6 Schwentick, Thomas 6 Shen, Yidong 6 Šimkus, Mantas 6 Tompits, Hans 6 Vollmer, Heribert 5 Bogaerts, Bart 5 Brandt, Felix 5 Caroprese, Luciano 5 Cuenca Grau, Bernardo 5 Dalmau, Víctor 5 Donini, Francesco M. 5 Feng, Qilong 5 Garcia, Laurent 5 Gaspers, Serge 5 Golovach, Petr A. 5 Heggernes, Pinar 5 Hunter, Anthony 5 Inoue, Katsumi 5 Kratsch, Dieter 5 Lin, Fangzhen 5 Marek, V. Wiktor 5 Marques-Silva, João P. 5 Mary, Arnaud 5 Meier, Arne 5 Mengel, Stefan 5 Molinari, Alberto 5 Molinaro, Cristian 5 Montanari, Angelo 5 Niehren, Joachim 5 Niemelä, Ilkka N. F. 5 Peron, Adriano 5 Trubitsyna, Irina 5 Vermeir, Dirk 5 Villanger, Yngve 5 Živný, Stanislav 4 Amarilli, Antoine ...and 1,257 more Authors all top 5 Cited in 105 Serials 156 Artificial Intelligence 90 Theoretical Computer Science 76 Theory and Practice of Logic Programming 59 Journal of Computer and System Sciences 43 Annals of Mathematics and Artificial Intelligence 36 Discrete Applied Mathematics 25 Information and Computation 25 Theory of Computing Systems 23 International Journal of Approximate Reasoning 21 Information Processing Letters 17 Constraints 13 Algorithmica 11 ACM Transactions on Computational Logic 10 Journal of Automated Reasoning 9 Journal of Applied Logic 8 Discrete Mathematics 8 SIAM Journal on Computing 8 Journal of Computer Science and Technology 8 Logical Methods in Computer Science 7 Journal of Applied Non-Classical Logics 6 The Journal of Symbolic Logic 6 The Journal of Artificial Intelligence Research (JAIR) 5 Information Sciences 5 Journal of Combinatorial Optimization 4 Computers & Mathematics with Applications 4 Studia Logica 4 Machine Learning 4 Journal of Logic, Language and Information 3 Acta Informatica 3 Fuzzy Sets and Systems 3 Annals of Pure and Applied Logic 3 Archive for Mathematical Logic 3 Formal Methods in System Design 3 Journal of the ACM 3 RAIRO. Theoretical Informatics and Applications 3 Fundamenta Informaticae 3 Journal of Discrete Algorithms 3 Computer Science Review 2 Journal of Philosophical Logic 2 Journal of Symbolic Computation 2 SIAM Journal on Discrete Mathematics 2 Computational Geometry 2 MSCS. Mathematical Structures in Computer Science 2 Games and Economic Behavior 2 European Journal of Operational Research 2 Discrete Mathematics and Theoretical Computer Science. DMTCS 2 International Game Theory Review 2 ACM Journal of Experimental Algorithmics 2 Discrete Optimization 2 Ars Mathematica Contemporanea 2 Frontiers of Computer Science 2 Prikladnaya Diskretnaya Matematika 1 Communications in Mathematical Physics 1 Journal of Mathematical Biology 1 Annali di Matematica Pura ed Applicata. Serie Quarta 1 Applied Mathematics and Computation 1 Automatica 1 Journal of Combinatorial Theory. Series B 1 Networks 1 Notre Dame Journal of Formal Logic 1 Synthese 1 Theory and Decision 1 European Journal of Combinatorics 1 Mathematical Social Sciences 1 Operations Research Letters 1 Acta Mathematicae Applicatae Sinica. English Series 1 Graphs and Combinatorics 1 Discrete & Computational Geometry 1 International Journal of Intelligent Systems 1 Journal of Parallel and Distributed Computing 1 AI Communications 1 Annals of Operations Research 1 The Annals of Applied Probability 1 Computational Statistics 1 Computational Mathematics and Mathematical Physics 1 Automation and Remote Control 1 Distributed Computing 1 Journal of Mathematical Imaging and Vision 1 Computational Complexity 1 Advances in Applied Clifford Algebras 1 Journal of Functional Programming 1 The Bulletin of Symbolic Logic 1 Science in China. Series E 1 Mathematical Problems in Engineering 1 Optimization Methods & Software 1 Open Systems & Information Dynamics 1 Soft Computing 1 Journal of Discrete Mathematical Sciences & Cryptography 1 Higher-Order and Symbolic Computation 1 RAIRO. Operations Research 1 Journal of the Australian Mathematical Society 1 Comptes Rendus. Mathématique. Académie des Sciences, Paris 1 Computer Languages, Systems & Structures 1 Journal of Algebra and its Applications 1 Annali dell’Università di Ferrara. Sezione VII. Scienze Matematiche 1 International Journal of Semantic Computing 1 Applicable Analysis and Discrete Mathematics 1 Nonlinear Analysis. Hybrid Systems 1 Foundations and Trends in Databases 1 Mathematical Geosciences ...and 5 more Serials all top 5 Cited in 30 Fields 873 Computer science (68-XX) 178 Mathematical logic and foundations (03-XX) 113 Combinatorics (05-XX) 59 Operations research, mathematical programming (90-XX) 57 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 29 Order, lattices, ordered algebraic structures (06-XX) 24 Systems theory; control (93-XX) 15 Information and communication theory, circuits (94-XX) 11 Biology and other natural sciences (92-XX) 5 Convex and discrete geometry (52-XX) 5 Probability theory and stochastic processes (60-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 Ordinary differential equations (34-XX) 4 Numerical analysis (65-XX) 3 General and overarching topics; collections (00-XX) 3 History and biography (01-XX) 3 General algebraic systems (08-XX) 3 Statistics (62-XX) 2 Quantum theory (81-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Algebraic geometry (14-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Geometry (51-XX) 1 General topology (54-XX) 1 Mechanics of particles and systems (70-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Geophysics (86-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.