Edit Profile Gottlob, Georg Compute Distance To: Compute Author ID: gottlob.georg Published as: Gottlob, G.; Gottlob, Georg Homepage: https://www.cs.ox.ac.uk/people/georg.gottlob/ External Links: MGP · Wikidata · ResearchGate · dblp · GND Documents Indexed: 156 Publications since 1981, including 13 Books all top 5 Co-Authors 17 single-authored 34 Eiter, Thomas 16 Leone, Nicola 16 Scarcello, Francesco 14 Pieris, Andreas 7 Greco, Gianluigi 7 Pichler, Reinhard 6 Koch, Christoph T. 6 Schwentick, Thomas 5 Calì, Andrea 5 Friedrich, Gerhard E. 5 Veith, Helmut 4 Leitsch, Alexander 4 Manna, Marco 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 Makino, Kazuhisa 3 Orsi, Giorgio 3 Wei, Fang 2 Adler, Isolde 2 Baumgartner, Robert 2 Cadoli, Marco 2 Furche, Tim 2 Grädel, Erich 2 Ianni, Giovambattista 2 Jeavons, Peter G. 2 Lee, Stephanie Tien 2 Lukasiewicz, Thomas 2 Malizia, Enrico 2 Miklós, Zoltán 2 Morak, Michael 2 Mundici, Daniele 2 Nejdl, Wolfgang 2 Papadimitriou, Christos Harilaos 2 Perri, Simona 2 Pfeifer, Gerald 2 Samer, Marko 2 Senellart, Pierre 2 Sideri, Martha 2 Tanca, Letizia 2 Thorstensen, Evgenij 2 Vardi, Moshe Y. 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 Bertossi, Leopoldo E. 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 Flesca, Sergio 1 Frühwirth, Thomas 1 Glimm, Birte 1 Grandjean, Etienne 1 Hella, Lauri T. 1 Henzinger, Thomas A. 1 Herzog, Marcus 1 Horn, Werner 1 Horrocks, Ian 1 Ielpa, Giuseppe 1 Katzenbeisser, Stefan 1 Kifer, Michael 1 Kikot, Stanislav 1 Kolaitis, Phokion G. 1 Kontchakov, Roman 1 Lembo, Domenico 1 Ley, Clemens 1 Libkin, Leonid O. 1 Linse, Benedikt 1 Marcus, Sherry 1 Marek, V. Wiktor 1 Marnette, Bruno 1 Martinez, Maria Vanina 1 Moser, Georg 1 Musliu, Nysret 1 Nash, Alan 1 Nerode, Anil 1 Ortiz, Magdalena 1 Otto, Martin ...and 30 more Co-Authors all top 5 Serials 12 Artificial Intelligence 11 Journal of the ACM 10 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 2 Discrete Applied Mathematics 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 Theory and Practice of Logic Programming 1 Computers & Mathematics with Applications 1 ACM Transactions on Database Systems 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 Fundamenta Informaticae 1 ACM Journal of Experimental Algorithmics 1 Logical Methods in Computer Science all top 5 Fields 145 Computer science (68-XX) 47 Mathematical logic and foundations (03-XX) 22 Combinatorics (05-XX) 13 General and overarching topics; collections (00-XX) 6 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 108 Publications have been cited 1,379 times in 897 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 119 2006 Identifying the minimal transversals of a hypergraph and related problems. Zbl 0842.05070Eiter, Thomas; Gottlob, Georg 87 1995 On the computational cost of disjunctive logic programming: Propositional case. Zbl 0858.68016Eiter, Thomas; Gottlob, Georg 77 1995 On the complexity of propositional knowledge base revision, updates, and counterfactuals. Zbl 0763.68038Eiter, Thomas; Gottlob, Georg 61 1992 Complexity results for nonmonotonic logics. Zbl 0765.03012Gottlob, Georg 54 1992 The complexity of logic-based abduction. Zbl 0886.68121Eiter, Thomas; Gottlob, Georg 53 1995 Hypertree decompositions and tractable queries. Zbl 1052.68025Gottlob, Georg; Leone, Nicola; Scarcello, Francesco 52 2002 A comparison of structural CSP decomposition methods. Zbl 0952.68044Gottlob, G.; Leone, N.; Scarcello, F. 45 2000 Enhancing model checking in verification by AI techniques. Zbl 0996.68104Buccafurri, Francesco; Eiter, Thomas; Gottlob, Georg; Leone, Nicola 40 1999 Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete. Zbl 0786.68085Eiter, Thomas; Gottlob, Georg 37 1993 Computational aspects of monotone dualization: a brief survey. Zbl 1160.68016Eiter, Thomas; Makino, Kazuhisa; Gottlob, Georg 33 2008 Pure Nash equilibria: hard and easy games. Zbl 1134.91312Gottlob, G.; Greco, G.; Scarcello, F. 33 2005 New results on monotone dualization and generating hypergraph transversals. Zbl 1052.68101Eiter, Thomas; Gottlob, Georg; Makino, Kazuhisa 33 2003 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 26 2002 Fixed-parameter complexity in AI and nonmonotonic reasoning. Zbl 0995.68118Gottlob, Georg; Scarcello, Francesco; Sideri, Martha 24 2002 Monadic Datalog and the expressive power of languages for web information extraction. Zbl 1316.68045Gottlob, Georg; Koch, Christoph 23 2004 Taming the infinite chase: query answering under expressive relational constraints. Zbl 1361.68221Calí, Andrea; Gottlob, Georg; Kifer, Michael 22 2013 Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width. Zbl 1054.68044Gottlob, Georg; Leone, Nicola; Scarcello, Francesco 21 2003 Abduction from logic programs: Semantics and complexity. Zbl 0893.68022Eiter, Thomas; Gottlob, Georg; Leone, Nicola 18 1997 Generalized hypertree decompositions: NP-hardness and tractable variants. Zbl 1325.68097Gottlob, Georg; Miklós, Zoltán; Schwentick, Thomas 17 2009 Bounded treewidth as a key to tractability of knowledge representation and reasoning. Zbl 1185.68690Gottlob, Georg; Pichler, Reinhard; Wei, Fang 15 2010 Conjunctive queries over trees. Zbl 1326.68110Gottlob, Georg; Koch, Christoph; Schulz, Klaus U. 14 2006 Monadic Datalog over finite structures of bounded treewidth. Zbl 1351.68110Gottlob, Georg; Pichler, Reinhard; Wei, Fang 13 2010 NP trees and Carnap’s modal logic. Zbl 0886.68069Gottlob, Georg 13 1995 On the efficiency of subsumption algorithms. Zbl 0633.68028Gottlob, G.; Leitsch, A. 13 1985 Hypertree width and related hypergraph invariants. Zbl 1127.05065Adler, Isolde; Gottlob, Georg; Grohe, Martin 12 2007 New results on monotone dualization and generating hypergraph transversals. Zbl 1192.68356Eiter, Thomas; Gottlob, Georg; Makino, Kazuhisa 12 2002 The complexity of XPath query evaluation and XML typing. Zbl 1317.68073Gottlob, Georg; Koch, Christoph; Pichler, Reinhard; Segoufin, Luc 11 2005 On the complexity of single-rule datalog queries. Zbl 1055.68033Gottlob, Georg; Papadimitriou, Christos 11 2003 Hypertree decompositions: A survey. Zbl 1001.05087Gottlob, Georg; Leone, Nicola; Scarcello, Francesco 11 2001 Semantics and complexity of abduction from default theories. Zbl 1017.03515Eiter, Thomas; Gottlob, Georg; Leone, Nicola 11 1997 Translating default logic into standard autoepistemic logic. Zbl 0884.03025Gottlob, Georg 11 1995 Subsumption and implication. Zbl 0629.68091Gottlob, Georg 11 1987 Querying the guarded fragment. Zbl 1314.68146Bárány, Vince; Gottlob, Georg; Otto, Martin 10 2014 Towards more expressive ontology languages: the query answering problem. Zbl 1270.68293Calì, Andrea; Gottlob, Georg; Pieris, Andreas 10 2012 Optimization methods for the partner units problem. Zbl 1302.90164Aschinger, Markus; Drescher, Conrad; Friedrich, Gerhard; Gottlob, Georg; Jeavons, Peter; Ryabokon, Anna; Thorstensen, Evgenij 10 2011 Computing LOGCFL certificates. Zbl 0992.68062Gottlob, Georg; Leone, Nicola; Scarcello, Francesco 10 2002 Relativized logspace and generalized quantifiers over finite ordered structures. Zbl 0882.03031Gottlob, Georg 10 1997 Investigations on Armstrong relations, dependency inference, and excluded functional dependencies. Zbl 0727.68026Gottlob, G.; Libkin, L. 10 1990 Efficient core computation in data exchange. Zbl 1326.68124Gottlob, Georg; Nash, Alan 9 2008 A logical approach to multicut problems. Zbl 1190.90032Gottlob, Georg; Lee, Stephanie Tien 9 2007 Existential second-order logic over graphs: charting the tractability frontier. Zbl 1316.68054Gottlob, Georg; Kolaitis, Phokion G.; Schwentick, Thomas 9 2004 Removing redundancy from a clause. Zbl 0779.68015Gottlob, Georg; Fermüller, Christian G. 9 1993 The price of query rewriting in ontology-based data access. Zbl 1390.68246Gottlob, Georg; Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir; Schwentick, Thomas; Zakharyaschev, Michael 8 2014 Hypertree decompositions: structure, algorithms, and applications. Zbl 1126.68516Gottlob, Georg; Grohe, Martin; Musliu, Nysret; Samer, Marko; Scarcello, Francesco 8 2005 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 8 2002 Succinctness as a source of complexity in logical formalisms. Zbl 0933.03048Gottlob, Georg; Leone, Nicola; Veith, Helmut 8 1999 Hypertree-width and related hypergraph invariants. Zbl 1192.05104Adler, Isolde; Gottlob, Georg; Grohe, Martin 7 2005 Second order logic and the weak exponential hierarchies. Zbl 1193.68115Gottlob, Georg; Leone, Nicola; Veith, Helmut 7 1995 Combining decidability paradigms for existential rules. Zbl 1286.68044Gottlob, Georg; Manna, Marco; Pieris, Andreas 6 2013 Decomposing combinatorial auctions and set packing problems. Zbl 1281.91088Gottlob, Georg; Greco, Gianluigi 6 2013 Query answering in the description logic Horn-\(\mathcal{SHIQ}\). Zbl 1178.68558Eiter, Thomas; Gottlob, Georg; Ortiz, Magdalena; Šimkus, Mantas 6 2008 The complexity of nested counterfactuals and iterated knowledge base revisions. Zbl 0869.68045Eiter, Thomas; Gottlob, Georg 6 1996 A non-ground realization of the stable and well-founded semantics. Zbl 0872.68108Gottlob, Georg; Marcus, Sherry; Nerode, Anil; Salzer, Gernot; Subrahmanian, V. S. 6 1996 Properties and updata semantics of consistent views. Zbl 0665.68089Gottlob, Georg; Paolini, Paolo; Zicari, Roberto 6 1988 On minimal constraint networks. Zbl 1270.68268Gottlob, Georg 5 2012 Structural decomposition methods and what they are good for. Zbl 1230.68157Aschinger, Markus; Drescher, Conrad; Gottlob, Georg; Jeavons, Peter; Thorstensen, Evgenij 5 2011 Tractable optimization problems through hypergraph-based structural restrictions. Zbl 1248.68246Gottlob, Georg; Greco, Gianluigi; Scarcello, Francesco 5 2009 Uniform constraint satisfaction problems and database theory. Zbl 1171.68501Scarcello, Francesco; Gottlob, Georg; Greco, Gianluigi 5 2008 Working with ARMs: Complexity results on atomic representations of Herbrand models. Zbl 1007.03009Gottlob, Georg; Pichler, Reinhard 5 2001 Fixed-parameter complexity in AI and nonmonotonic reasoning. Zbl 0955.68057Gottlob, Georg; Scarcello, Francesco; Sideri, Martha 5 1999 Normal forms for second-order logic over finite structures, and classification of NP optimization problems. Zbl 0883.03015Eiter, Thomas; Gottlob, Georg; Gurevich, Yuri 5 1996 Reasoning with parsimonious and moderately grounded expansions. Zbl 0772.68081Eiter, Thomas; Gottlob, Georg 5 1992 Achieving new upper bounds for the hypergraph duality problem through logic. Zbl 1395.68151Gottlob, Georg; Malizia, Enrico 4 2014 Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies. Zbl 1308.68113Gottlob, Georg; Lukasiewicz, Thomas; Martinez, Maria Vanina; Simari, Gerardo I. 4 2013 Declarative information extraction, Web crawling, and recursive wrapping with Lixto. Zbl 1007.68742Baumgartner, Robert; Flesca, Sergio; Gottlob, Georg 4 2001 Existential second-order logic over strings. Zbl 1095.03503Eiter, Thomas; Gurevich, Yuri; Gottlob, Georg 4 2000 The complexity of default reasoning under the stationary fixed point semantics. Zbl 0832.68097Gottlob, Georg 4 1995 On the size of nonredundant FD-covers. Zbl 0653.68110Gottlob, Georg 4 1987 Fast subsumption algorithms. Zbl 0588.68044Gottlob, G.; Leitsch, A. 4 1985 Datalog and its extensions for semantic web databases. Zbl 1251.68088Gottlob, Georg; Orsi, Giorgio; Pieris, Andreas; Šimkus, Mantas 3 2012 Schema mapping discovery from data instances. Zbl 1327.68092Gottlob, Georg; Senellart, Pierre 3 2010 Hypergraphs in model checking: Acyclicity and hypertree-width versus clique-width. Zbl 1062.03028Gottlob, Georg; Pichler, Reinhard 3 2004 Hypergraphs in model checking: Acyclicity and hypertree-width versus clique-width. Zbl 0987.68046Gottlob, Georg; Pichler, Reinhard 3 2001 Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088Dix, Jürgen; Gottlob, Georg; Marek, Wiktor 3 1996 Cumulative default logic: Finite characterization, algorithms, and complexity. Zbl 0821.68111Gottlob, Georg; Zhang, Mingyi 3 1994 An efficient method for eliminating varying predicates from a circumscription. Zbl 0762.03013Cadoli, Marco; Eiter, Thomas; Gottlob, Georg 3 1992 Querying the guarded fragment with transitivity. Zbl 1335.68078Gottlob, Georg; Pieris, Andreas; Tendera, Lidia 2 2013 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 Datalog reloaded. First international workshop, Datalog 2010, Oxford, UK, March 16–19, 2010. Revised selected papers. Zbl 1233.68027de Moor, Oege (ed.); Gottlob, Georg (ed.); Furche, Tim (ed.); Sellers, Andrew (ed.) 2 2011 A backtracking-based algorithm for hypertree decomposition. Zbl 1284.05284Gottlob, Georg; Samer, Marko 2 2009 Hyperconsistency width for constraint satisfaction: Algorithms and complexity results. Zbl 1194.68126Gottlob, Georg; Greco, Gianluigi; Marnette, Bruno 2 2009 Hypergraph transversals. Zbl 1202.68281Gottlob, Georg 2 2004 Second-order logic over strings: Regular and non-regular fragments. Zbl 1073.03006Eiter, Thomas; Gottlob, Georg; Schwentick, Thomas 2 2002 Multiagent compromises, joint fixpoints, and stable models. Zbl 1012.68191Buccafurri, Francesco; Gottlob, Georg 2 2002 Propositional default logics made easier: computational complexity of model checking. Zbl 1061.68068Baumgartner, Robert; Gottlob, Georg 2 2002 On ACTL formulas having linear counterexamples. Zbl 0990.68102Buccafurri, Francesco; Eiter, Thomas; Gottlob, Georg; Leone, Nicola 2 2001 Well-founded semantics for default logic. Zbl 0902.03013Brewka, Gerhard; Gottlob, Georg 2 1997 Achieving new upper bounds for the hypergraph duality problem through logic. Zbl 06864816Gottlob, Georg; Malizia, Enrico 1 2018 Tractability frontiers of the partner units configuration problem. Zbl 1338.68045Teppan, Erich Christian; Friedrich, Gerhard; Gottlob, Georg 1 2016 LoCo – a logic for configuration problems. Zbl 1354.68246Aschinger, Markus; Drescher, Conrad; Gottlob, Georg; Vollmer, Heribert 1 2014 Querying UML class diagrams. Zbl 1352.68058Calì, Andrea; Gottlob, Georg; Orsi, Giorgio; Pieris, Andreas 1 2012 Distributed XML design. Zbl 1246.68066Abiteboul, S.; Gottlob, G.; Manna, M. 1 2011 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 1 2007 A formal comparison of visual web wrapper generators. Zbl 1175.68096Gottlob, Georg; Koch, Christoph 1 2006 Complexity of propositional nested circumscription and nested abnormality theories. Zbl 1367.68276Cadoli, Marco; Eiter, Thomas; Gottlob, Georg 1 2005 Second-order logic over finite structures – report on a research programme. Zbl 1126.68567Gottlob, Georg 1 2004 Achieving new upper bounds for the hypergraph duality problem through logic. Zbl 06864816Gottlob, Georg; Malizia, Enrico 1 2018 Tractability frontiers of the partner units configuration problem. Zbl 1338.68045Teppan, Erich Christian; Friedrich, Gerhard; Gottlob, Georg 1 2016 Querying the guarded fragment. Zbl 1314.68146Bárány, Vince; Gottlob, Georg; Otto, Martin 10 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 8 2014 Achieving new upper bounds for the hypergraph duality problem through logic. Zbl 1395.68151Gottlob, Georg; Malizia, Enrico 4 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 22 2013 Combining decidability paradigms for existential rules. Zbl 1286.68044Gottlob, Georg; Manna, Marco; Pieris, Andreas 6 2013 Decomposing combinatorial auctions and set packing problems. Zbl 1281.91088Gottlob, Georg; Greco, Gianluigi 6 2013 Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies. Zbl 1308.68113Gottlob, Georg; Lukasiewicz, Thomas; Martinez, Maria Vanina; Simari, Gerardo I. 4 2013 Querying the guarded fragment with transitivity. Zbl 1335.68078Gottlob, Georg; Pieris, Andreas; Tendera, Lidia 2 2013 Towards more expressive ontology languages: the query answering problem. Zbl 1270.68293Calì, Andrea; Gottlob, Georg; Pieris, Andreas 10 2012 On minimal constraint networks. Zbl 1270.68268Gottlob, Georg 5 2012 Datalog and its extensions for semantic web databases. Zbl 1251.68088Gottlob, Georg; Orsi, Giorgio; Pieris, Andreas; Šimkus, Mantas 3 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 10 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.68027de Moor, Oege (ed.); Gottlob, Georg (ed.); Furche, Tim (ed.); Sellers, Andrew (ed.) 2 2011 Distributed XML design. Zbl 1246.68066Abiteboul, S.; Gottlob, G.; Manna, M. 1 2011 Bounded treewidth as a key to tractability of knowledge representation and reasoning. Zbl 1185.68690Gottlob, Georg; Pichler, Reinhard; Wei, Fang 15 2010 Monadic Datalog over finite structures of bounded treewidth. Zbl 1351.68110Gottlob, Georg; Pichler, Reinhard; Wei, Fang 13 2010 Schema mapping discovery from data instances. Zbl 1327.68092Gottlob, Georg; Senellart, Pierre 3 2010 Generalized hypertree decompositions: NP-hardness and tractable variants. Zbl 1325.68097Gottlob, Georg; Miklós, Zoltán; Schwentick, Thomas 17 2009 Tractable optimization problems through hypergraph-based structural restrictions. Zbl 1248.68246Gottlob, Georg; Greco, Gianluigi; Scarcello, Francesco 5 2009 A backtracking-based algorithm for hypertree decomposition. Zbl 1284.05284Gottlob, Georg; Samer, Marko 2 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 33 2008 Efficient core computation in data exchange. Zbl 1326.68124Gottlob, Georg; Nash, Alan 9 2008 Query answering in the description logic Horn-\(\mathcal{SHIQ}\). Zbl 1178.68558Eiter, Thomas; Gottlob, Georg; Ortiz, Magdalena; Šimkus, Mantas 6 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 12 2007 A logical approach to multicut problems. Zbl 1190.90032Gottlob, Georg; Lee, Stephanie Tien 9 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 1 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 119 2006 Conjunctive queries over trees. Zbl 1326.68110Gottlob, Georg; Koch, Christoph; Schulz, Klaus U. 14 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. 33 2005 The complexity of XPath query evaluation and XML typing. Zbl 1317.68073Gottlob, Georg; Koch, Christoph; Pichler, Reinhard; Segoufin, Luc 11 2005 Hypertree decompositions: structure, algorithms, and applications. Zbl 1126.68516Gottlob, Georg; Grohe, Martin; Musliu, Nysret; Samer, Marko; Scarcello, Francesco 8 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 23 2004 Existential second-order logic over graphs: charting the tractability frontier. Zbl 1316.68054Gottlob, Georg; Kolaitis, Phokion G.; Schwentick, Thomas 9 2004 Hypergraphs in model checking: Acyclicity and hypertree-width versus clique-width. Zbl 1062.03028Gottlob, Georg; Pichler, Reinhard 3 2004 Hypergraph transversals. Zbl 1202.68281Gottlob, Georg 2 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 33 2003 Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width. Zbl 1054.68044Gottlob, Georg; Leone, Nicola; Scarcello, Francesco 21 2003 On the complexity of single-rule datalog queries. Zbl 1055.68033Gottlob, Georg; Papadimitriou, Christos 11 2003 Hypertree decompositions and tractable queries. Zbl 1052.68025Gottlob, Georg; Leone, Nicola; Scarcello, Francesco 52 2002 Hypergraph transversal computation and related problems in logic and AI. Zbl 1013.68143Eiter, Thomas; Gottlob, Georg 26 2002 Fixed-parameter complexity in AI and nonmonotonic reasoning. Zbl 0995.68118Gottlob, Georg; Scarcello, Francesco; Sideri, Martha 24 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 8 2002 Second-order logic over strings: Regular and non-regular fragments. Zbl 1073.03006Eiter, Thomas; Gottlob, Georg; Schwentick, Thomas 2 2002 Multiagent compromises, joint fixpoints, and stable models. Zbl 1012.68191Buccafurri, Francesco; Gottlob, Georg 2 2002 Propositional default logics made easier: computational complexity of model checking. Zbl 1061.68068Baumgartner, Robert; Gottlob, Georg 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 11 2001 Working with ARMs: Complexity results on atomic representations of Herbrand models. Zbl 1007.03009Gottlob, Georg; Pichler, Reinhard 5 2001 Declarative information extraction, Web crawling, and recursive wrapping with Lixto. Zbl 1007.68742Baumgartner, Robert; Flesca, Sergio; Gottlob, Georg 4 2001 Hypergraphs in model checking: Acyclicity and hypertree-width versus clique-width. Zbl 0987.68046Gottlob, Georg; Pichler, Reinhard 3 2001 On ACTL formulas having linear counterexamples. Zbl 0990.68102Buccafurri, Francesco; Eiter, Thomas; Gottlob, Georg; Leone, Nicola 2 2001 A comparison of structural CSP decomposition methods. Zbl 0952.68044Gottlob, G.; Leone, N.; Scarcello, F. 45 2000 Existential second-order logic over strings. Zbl 1095.03503Eiter, Thomas; Gurevich, Yuri; Gottlob, Georg 4 2000 On the complexity of theory curbing. Zbl 0988.68176Eiter, Thomas; Gottlob, Georg 1 2000 Compexity results for some eigenvector problems. Zbl 0967.65050Eiter, 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 8 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 18 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 10 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 The complexity of nested counterfactuals and iterated knowledge base revisions. Zbl 0869.68045Eiter, Thomas; Gottlob, Georg 6 1996 A non-ground realization of the stable and well-founded semantics. Zbl 0872.68108Gottlob, Georg; Marcus, Sherry; Nerode, Anil; Salzer, Gernot; Subrahmanian, V. S. 6 1996 Normal forms for second-order logic over finite structures, and classification of NP optimization problems. Zbl 0883.03015Eiter, Thomas; Gottlob, Georg; Gurevich, Yuri 5 1996 Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088Dix, Jürgen; Gottlob, Georg; Marek, Wiktor 3 1996 Identifying the minimal transversals of a hypergraph and related problems. Zbl 0842.05070Eiter, Thomas; Gottlob, Georg 87 1995 On the computational cost of disjunctive logic programming: Propositional case. Zbl 0858.68016Eiter, Thomas; Gottlob, Georg 77 1995 The complexity of logic-based abduction. Zbl 0886.68121Eiter, Thomas; Gottlob, Georg 53 1995 NP trees and Carnap’s modal logic. Zbl 0886.68069Gottlob, Georg 13 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 37 1993 Removing redundancy from a clause. Zbl 0779.68015Gottlob, Georg; Fermüller, Christian G. 9 1993 The complexity of logic-based abduction. Zbl 0799.68089Eiter, Thomas; Gottlob, Georg 1 1993 On the complexity of propositional knowledge base revision, updates, and counterfactuals. Zbl 0763.68038Eiter, Thomas; Gottlob, Georg 61 1992 Complexity results for nonmonotonic logics. Zbl 0765.03012Gottlob, Georg 54 1992 Reasoning with parsimonious and moderately grounded expansions. Zbl 0772.68081Eiter, Thomas; Gottlob, Georg 5 1992 An efficient method for eliminating varying predicates from a circumscription. Zbl 0762.03013Cadoli, Marco; Eiter, Thomas; Gottlob, Georg 3 1992 Selective inheritance of attribute values in relational databases. Zbl 0767.68031Gottlob, G.; Schrefl, M.; Stumptner, M. 1 1992 ...and 8 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,256 Authors 45 Gottlob, Georg 39 Eiter, Thomas 26 Leone, Nicola 26 Woltran, Stefan 19 Greco, Gianluigi 18 Scarcello, Francesco 16 Pichler, Reinhard 16 Szeider, Stefan 16 Truszczyński, Mirosław 14 Elbassioni, Khaled M. 14 Schaub, Torsten H. 13 Liberatore, Paolo 13 Makino, Kazuhisa 12 Ricca, Francesco 11 Cadoli, Marco 11 Gurvich, Vladimir A. 10 Boros, Endre 10 Faber, Wolfgang 10 Khachiyan, Leonid Genrikhovich 9 Alviano, Mario 9 Barceló, Pablo 9 Fink, Michael 9 Gebser, Martin 9 Ibaraki, Toshihide 9 Libkin, Leonid O. 9 Lukasiewicz, Thomas 9 Palopoli, Luigi 8 Gelfond, Michael 8 Grohe, Martin 8 Kanté, Mamadou Moustapha 8 Pieris, Andreas 8 Schaerf, Marco 8 Schockaert, Steven 8 Wang, Kewen 7 Amendola, Giovanni 7 Ben-Eliyahu-Zohary, Rachel 7 Chiaselotti, Giampiero 7 De Cock, Martine 7 Dodaro, Carmine 7 Gentile, Tommaso 7 Jonsson, Peter A. 7 Manna, Marco 7 Maratea, Marco 7 Schwentick, Thomas 7 ten Cate, Balder David 6 Angiulli, Fabrizio 6 Creignou, Nadia 6 Delgrande, James P. 6 Demetrovics, János 6 Durand, Arnaud 6 Fichte, Johannes Klaus 6 Grégoire, Éric 6 Infusino, Federico G. 6 Janhunen, Tomi 6 Krokhin, Andrei A. 6 Lang, Jérôme 6 Ordyniak, Sebastian 6 Ortiz, Magdalena 6 Shen, Yidong 6 Šimkus, Mantas 6 Tompits, Hans 6 Vollmer, Heribert 5 Benedikt, Michael A. 5 Caroprese, Luciano 5 Dalmau, Víctor 5 Donini, Francesco M. 5 Feng, Qilong 5 Fischer, Felix 5 Garcia, Laurent 5 Gaspers, Serge 5 Golovach, Petr A. 5 Heggernes, Pinar 5 Hunter, Anthony 5 Kratsch, Dieter 5 Krennwallner, Thomas 5 Lin, Fangzhen 5 Marek, V. Wiktor 5 Marques-Silva, João P. 5 Mary, Arnaud 5 Meier, Arne 5 Morak, Michael 5 Niehren, Joachim 5 Niemelä, Ilkka N. F. 5 Nourine, Lhouari 5 Vardi, Moshe Y. 5 Vermeir, Dirk 5 Villanger, Yngve 4 Arenas, Marcelo 4 Baral, Chitta R. 4 Bárány, Vince 4 Benferhat, Salem 4 Bogaerts, Bart 4 Brandt, Felix 4 Cuenca Grau, Bernardo 4 Flum, Jörg 4 Ganian, Robert 4 Giunchiglia, Enrico 4 Hermann, Miki 4 Ianni, Giovambattista 4 Janssen, Jeroen ...and 1,156 more Authors all top 5 Cited in 96 Serials 147 Artificial Intelligence 85 Theoretical Computer Science 66 Theory and Practice of Logic Programming 62 Journal of Computer and System Sciences 43 Annals of Mathematics and Artificial Intelligence 33 Discrete Applied Mathematics 24 Information and Computation 24 Theory of Computing Systems 22 International Journal of Approximate Reasoning 21 Information Processing Letters 14 Constraints 11 Algorithmica 11 ACM Transactions on Computational Logic 9 Journal of Automated Reasoning 9 Journal of Applied Logic 8 Journal of Computer Science and Technology 7 Discrete Mathematics 7 SIAM Journal on Computing 7 Journal of Applied Non-Classical Logics 6 The Journal of Symbolic Logic 6 Logical Methods in Computer Science 5 Information Sciences 4 Computers & Mathematics with Applications 4 Studia Logica 4 Annals of Pure and Applied Logic 4 Journal of Logic, Language and Information 4 Journal of Combinatorial Optimization 3 Acta Informatica 3 Fuzzy Sets and Systems 3 Machine Learning 3 Journal of the ACM 3 RAIRO. Theoretical Informatics and Applications 3 Journal of Discrete Algorithms 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 Archive for Mathematical Logic 2 Formal Methods in System Design 2 The Journal of Artificial Intelligence Research (JAIR) 2 Discrete Optimization 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 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 Discrete & Computational Geometry 1 International Journal of Intelligent Systems 1 Journal of Parallel and Distributed Computing 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 European Journal of Operational Research 1 Distributed Computing 1 Journal of Mathematical Imaging and Vision 1 Computational Complexity 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 Discrete Mathematics and Theoretical Computer Science. DMTCS 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 ACM Journal of Experimental Algorithmics 1 Annali dell’Università di Ferrara. Sezione VII. Scienze Matematiche 1 International Journal of Semantic Computing 1 Nonlinear Analysis. Hybrid Systems 1 Mathematical Geosciences 1 Ars Mathematica Contemporanea 1 Algorithms 1 Games 1 ISRN Discrete Mathematics 1 Computer Science Review 1 Game Theory 1 Journal of Siberian Federal University. Mathematics & Physics all top 5 Cited in 28 Fields 786 Computer science (68-XX) 165 Mathematical logic and foundations (03-XX) 99 Combinatorics (05-XX) 54 Operations research, mathematical programming (90-XX) 46 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 26 Order, lattices, ordered algebraic structures (06-XX) 24 Systems theory; control (93-XX) 15 Information and communication theory, circuits (94-XX) 10 Biology and other natural sciences (92-XX) 6 Probability theory and stochastic processes (60-XX) 5 Numerical analysis (65-XX) 4 Ordinary differential equations (34-XX) 4 Convex and discrete geometry (52-XX) 3 History and biography (01-XX) 3 Linear and multilinear algebra; matrix theory (15-XX) 2 General and overarching topics; collections (00-XX) 2 General algebraic systems (08-XX) 2 Statistics (62-XX) 1 Number theory (11-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 Quantum theory (81-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.