×
Author ID: gottlob.georg Recent zbMATH articles by "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
all top 5

Co-Authors

17 single-authored
36 Eiter, Thomas
18 Pieris, Andreas
17 Leone, Nicola
16 Scarcello, Francesco
14 Pichler, Reinhard
7 Greco, Gianluigi
6 Koch, Christoph T.
6 Lanzinger, Matthias
6 Schwentick, Thomas
5 Calì, Andrea
5 Friedrich, Gerhard E.
5 Manna, Marco
5 Veith, Helmut
4 Leitsch, Alexander
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 Longo, Davide Mario
3 Lukasiewicz, Thomas
3 Makino, Kazuhisa
3 Okulmus, Cem
3 Razgon, Igor
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 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 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

Publications by Year

Citations contained in zbMATH Open

128 Publications have been cited 1,826 times in 1,150 Documents Cited by Year
The DLV system for knowledge representation and reasoning. Zbl 1367.68308
Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Eiter, Thomas; Gottlob, Georg; Perri, Simona; Scarcello, Francesco
166
2006
Identifying the minimal transversals of a hypergraph and related problems. Zbl 0842.05070
Eiter, Thomas; Gottlob, Georg
115
1995
On the computational cost of disjunctive logic programming: Propositional case. Zbl 0858.68016
Eiter, Thomas; Gottlob, Georg
100
1995
On the complexity of propositional knowledge base revision, updates, and counterfactuals. Zbl 0763.68038
Eiter, Thomas; Gottlob, Georg
73
1992
Hypertree decompositions and tractable queries. Zbl 1052.68025
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
69
2002
The complexity of logic-based abduction. Zbl 0886.68121
Eiter, Thomas; Gottlob, Georg
64
1995
Complexity results for nonmonotonic logics. Zbl 0765.03012
Gottlob, Georg
61
1992
A comparison of structural CSP decomposition methods. Zbl 0952.68044
Gottlob, G.; Leone, N.; Scarcello, F.
58
2000
Pure Nash equilibria: hard and easy games. Zbl 1134.91312
Gottlob, G.; Greco, G.; Scarcello, F.
49
2005
Computational aspects of monotone dualization: a brief survey. Zbl 1160.68016
Eiter, Thomas; Makino, Kazuhisa; Gottlob, Georg
49
2008
New results on monotone dualization and generating hypergraph transversals. Zbl 1052.68101
Eiter, Thomas; Gottlob, Georg; Makino, Kazuhisa
44
2003
Enhancing model checking in verification by AI techniques. Zbl 0996.68104
Buccafurri, Francesco; Eiter, Thomas; Gottlob, Georg; Leone, Nicola
44
1999
Taming the infinite chase: query answering under expressive relational constraints. Zbl 1361.68221
Calí, Andrea; Gottlob, Georg; Kifer, Michael
43
2013
Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete. Zbl 0786.68085
Eiter, Thomas; Gottlob, Georg
40
1993
The complexity of acyclic conjunctive queries. Zbl 1323.68250
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
32
2001
Hypergraph transversal computation and related problems in logic and AI. Zbl 1013.68143
Eiter, Thomas; Gottlob, Georg
31
2002
Fixed-parameter complexity in AI and nonmonotonic reasoning. Zbl 0995.68118
Gottlob, Georg; Scarcello, Francesco; Sideri, Martha
29
2002
Monadic Datalog and the expressive power of languages for web information extraction. Zbl 1316.68045
Gottlob, Georg; Koch, Christoph
26
2004
Towards more expressive ontology languages: the query answering problem. Zbl 1270.68293
Calì, Andrea; Gottlob, Georg; Pieris, Andreas
26
2012
Generalized hypertree decompositions: NP-hardness and tractable variants. Zbl 1325.68097
Gottlob, Georg; Miklós, Zoltán; Schwentick, Thomas
25
2009
Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width. Zbl 1054.68044
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
25
2003
Abduction from logic programs: Semantics and complexity. Zbl 0893.68022
Eiter, Thomas; Gottlob, Georg; Leone, Nicola
25
1997
Querying the guarded fragment. Zbl 1314.68146
Bárány, Vince; Gottlob, Georg; Otto, Martin
19
2014
Bounded treewidth as a key to tractability of knowledge representation and reasoning. Zbl 1185.68690
Gottlob, Georg; Pichler, Reinhard; Wei, Fang
19
2010
Hypertree width and related hypergraph invariants. Zbl 1127.05065
Adler, Isolde; Gottlob, Georg; Grohe, Martin
19
2007
NP trees and Carnap’s modal logic. Zbl 0886.68069
Gottlob, Georg
17
1995
Optimization methods for the partner units problem. Zbl 1302.90164
Aschinger, Markus; Drescher, Conrad; Friedrich, Gerhard; Gottlob, Georg; Jeavons, Peter; Ryabokon, Anna; Thorstensen, Evgenij
17
2011
Conjunctive queries over trees. Zbl 1326.68110
Gottlob, Georg; Koch, Christoph; Schulz, Klaus U.
16
2006
On the efficiency of subsumption algorithms. Zbl 0633.68028
Gottlob, G.; Leitsch, A.
15
1985
Hypertree decompositions: A survey. Zbl 1001.05087
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
15
2001
The price of query rewriting in ontology-based data access. Zbl 1390.68246
Gottlob, Georg; Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir; Schwentick, Thomas; Zakharyaschev, Michael
14
2014
Subsumption and implication. Zbl 0629.68091
Gottlob, Georg
13
1987
Translating default logic into standard autoepistemic logic. Zbl 0884.03025
Gottlob, Georg
13
1995
Hypertree decompositions: structure, algorithms, and applications. Zbl 1126.68516
Gottlob, Georg; Grohe, Martin; Musliu, Nysret; Samer, Marko; Scarcello, Francesco
12
2005
Monadic Datalog over finite structures of bounded treewidth. Zbl 1351.68110
Gottlob, Georg; Pichler, Reinhard; Wei, Fang
12
2010
New results on monotone dualization and generating hypergraph transversals. Zbl 1192.68356
Eiter, Thomas; Gottlob, Georg; Makino, Kazuhisa
12
2002
Semantics and complexity of abduction from default theories. Zbl 1017.03515
Eiter, Thomas; Gottlob, Georg; Leone, Nicola
12
1997
Existential second-order logic over graphs: charting the tractability frontier. Zbl 1316.68054
Gottlob, Georg; Kolaitis, Phokion G.; Schwentick, Thomas
11
2004
On the complexity of single-rule datalog queries. Zbl 1055.68033
Gottlob, Georg; Papadimitriou, Christos
11
2003
Removing redundancy from a clause. Zbl 0779.68015
Gottlob, Georg; Fermüller, Christian G.
11
1993
The complexity of XPath query evaluation and XML typing. Zbl 1317.68073
Gottlob, Georg; Koch, Christoph; Pichler, Reinhard; Segoufin, Luc
11
2005
Query rewriting and optimization for ontological databases. Zbl 1474.68103
Gottlob, Georg; Orsi, Giorgio; Pieris, Andreas
11
2014
Relativized logspace and generalized quantifiers over finite ordered structures. Zbl 0882.03031
Gottlob, Georg
10
1997
Tractable optimization problems through hypergraph-based structural restrictions. Zbl 1248.68246
Gottlob, Georg; Greco, Gianluigi; Scarcello, Francesco
10
2009
Investigations on Armstrong relations, dependency inference, and excluded functional dependencies. Zbl 0727.68026
Gottlob, G.; Libkin, L.
10
1990
Computing LOGCFL certificates. Zbl 0992.68062
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
10
2002
A logical approach to multicut problems. Zbl 1190.90032
Gottlob, Georg; Lee, Stephanie Tien
10
2007
Succinctness as a source of complexity in logical formalisms. Zbl 0933.03048
Gottlob, Georg; Leone, Nicola; Veith, Helmut
9
1999
Efficient core computation in data exchange. Zbl 1326.68124
Gottlob, Georg; Nash, Alan
9
2008
Achieving new upper bounds for the hypergraph duality problem through logic. Zbl 1395.68151
Gottlob, Georg; Malizia, Enrico
8
2014
Datalog LITE: a deductive query language with linear time model checking. Zbl 1365.68203
Gottlob, Georg; Grädel, Erich; Veith, Helmut
8
2002
Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies. Zbl 1308.68113
Gottlob, Georg; Lukasiewicz, Thomas; Martinez, Maria Vanina; Simari, Gerardo I.
8
2013
Second order logic and the weak exponential hierarchies. Zbl 1193.68115
Gottlob, Georg; Leone, Nicola; Veith, Helmut
8
1995
A backtracking-based algorithm for hypertree decomposition. Zbl 1284.05284
Gottlob, Georg; Samer, Marko
7
2009
Decomposing combinatorial auctions and set packing problems. Zbl 1281.91088
Gottlob, Georg; Greco, Gianluigi
7
2013
On minimal constraint networks. Zbl 1270.68268
Gottlob, Georg
7
2012
Querying the guarded fragment with transitivity. Zbl 1335.68078
Gottlob, Georg; Pieris, Andreas; Tendera, Lidia
7
2013
Hypertree-width and related hypergraph invariants. Zbl 1192.05104
Adler, Isolde; Gottlob, Georg; Grohe, Martin
7
2005
The DLV system. Zbl 1014.68871
Leone, 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
Working with ARMs: Complexity results on atomic representations of Herbrand models. Zbl 1007.03009
Gottlob, Georg; Pichler, Reinhard
7
2001
The complexity of nested counterfactuals and iterated knowledge base revisions. Zbl 0869.68045
Eiter, Thomas; Gottlob, Georg
7
1996
Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088
Dix, Jürgen; Gottlob, Georg; Marek, Wiktor
7
1996
A non-ground realization of the stable and well-founded semantics. Zbl 0872.68108
Gottlob, Georg; Marcus, Sherry; Nerode, Anil; Salzer, Gernot; Subrahmanian, V. S.
7
1996
Datalog and its extensions for semantic web databases. Zbl 1251.68088
Gottlob, Georg; Orsi, Giorgio; Pieris, Andreas; Šimkus, Mantas
7
2012
Query answering in the description logic Horn-\(\mathcal{SHIQ}\). Zbl 1178.68558
Eiter, Thomas; Gottlob, Georg; Ortiz, Magdalena; Šimkus, Mantas
7
2008
Combining decidability paradigms for existential rules. Zbl 1286.68044
Gottlob, Georg; Manna, Marco; Pieris, Andreas
6
2013
An efficient method for eliminating varying predicates from a circumscription. Zbl 0762.03013
Cadoli, Marco; Eiter, Thomas; Gottlob, Georg
6
1992
Properties and updata semantics of consistent views. Zbl 0665.68089
Gottlob, Georg; Paolini, Paolo; Zicari, Roberto
6
1988
The complexity of default reasoning under the stationary fixed point semantics. Zbl 0832.68097
Gottlob, Georg
6
1995
Normal forms for second-order logic over finite structures, and classification of NP optimization problems. Zbl 0883.03015
Eiter, Thomas; Gottlob, Georg; Gurevich, Yuri
6
1996
The complexity class \(\varTheta^\mathrm{p}_2\): recent results and applications in AI and modal logic. Zbl 1507.68121
Eiter, Thomas; Gottlob, Georg
6
1997
Structural decomposition methods and what they are good for. Zbl 1230.68157
Aschinger, Markus; Drescher, Conrad; Gottlob, Georg; Jeavons, Peter; Thorstensen, Evgenij
5
2011
Fixed-parameter complexity in AI and nonmonotonic reasoning. Zbl 0955.68057
Gottlob, Georg; Scarcello, Francesco; Sideri, Martha
5
1999
On the size of nonredundant FD-covers. Zbl 0653.68110
Gottlob, Georg
5
1987
Declarative information extraction, Web crawling, and recursive wrapping with Lixto. Zbl 1007.68742
Baumgartner, Robert; Flesca, Sergio; Gottlob, Georg
5
2001
HyperBench. A benchmark and tool for hypergraphs and empirical findings. Zbl 1499.68269
Fischl, Wolfgang; Gottlob, Georg; Longo, Davide Mario; Pichler, Reinhard
5
2021
Uniform constraint satisfaction problems and database theory. Zbl 1171.68501
Scarcello, Francesco; Gottlob, Georg; Greco, Gianluigi
5
2008
Reasoning with parsimonious and moderately grounded expansions. Zbl 0772.68081
Eiter, Thomas; Gottlob, Georg
5
1992
Schema mapping discovery from data instances. Zbl 1327.68092
Gottlob, Georg; Senellart, Pierre
4
2010
Existential second-order logic over strings. Zbl 1095.03503
Eiter, Thomas; Gurevich, Yuri; Gottlob, Georg
4
2000
Fast subsumption algorithms. Zbl 0588.68044
Gottlob, G.; Leitsch, A.
4
1985
Hypergraphs in model checking: Acyclicity and hypertree-width versus clique-width. Zbl 0987.68046
Gottlob, Georg; Pichler, Reinhard
4
2001
Hypergraph transversals. Zbl 1202.68281
Gottlob, Georg
4
2004
Stable model semantics for guarded existential rules and description logics: decidability and complexity. Zbl 1499.68087
Gottlob, Georg; Hernich, André; Kupke, Clemens; Lukasiewicz, Thomas
4
2021
Achieving new upper bounds for the hypergraph duality problem through logic. Zbl 1506.68037
Gottlob, Georg; Malizia, Enrico
3
2018
Hypergraphs in model checking: Acyclicity and hypertree-width versus clique-width. Zbl 1062.03028
Gottlob, Georg; Pichler, Reinhard
3
2004
On the complexity of ontological reasoning under disjunctive existential rules. Zbl 1365.68405
Gottlob, Georg; Manna, Marco; Morak, Michael; Pieris, Andreas
3
2012
On ACTL formulas having linear counterexamples. Zbl 0990.68102
Buccafurri, Francesco; Eiter, Thomas; Gottlob, Georg; Leone, Nicola
3
2001
Cumulative default logic: Finite characterization, algorithms, and complexity. Zbl 0821.68111
Gottlob, Georg; Zhang, Mingyi
3
1994
Foundations of rule-based query answering. Zbl 1170.68646
Bry, François; Eisinger, Norbert; Eiter, Thomas; Furche, Tim; Gottlob, Georg; Ley, Clemens; Linse, Benedikt; Pichler, Reinhard; Wei, Fang
3
2007
Monadic Datalog, tree validity, and limited access containment. Zbl 1433.68115
Benedikt, Michael; Bourhis, Pierre; Gottlob, Georg; Senellart, Pierre
2
2020
Tractability frontiers of the partner units configuration problem. Zbl 1338.68045
Teppan, Erich Christian; Friedrich, Gerhard; Gottlob, Georg
2
2016
Distributed XML design. Zbl 1246.68066
Abiteboul, S.; Gottlob, G.; Manna, M.
2
2011
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.68031
Gottlob, G.; Schrefl, M.; Stumptner, M.
2
1992
Multiagent compromises, joint fixpoints, and stable models. Zbl 1012.68191
Buccafurri, Francesco; Gottlob, Georg
2
2002
Well-founded semantics for default logic. Zbl 0902.03013
Brewka, Gerhard; Gottlob, Georg
2
1997
Propositional default logics made easier: computational complexity of model checking. Zbl 1061.68068
Baumgartner, Robert; Gottlob, Georg
2
2002
The complexity of logic-based abduction. Zbl 0799.68089
Eiter, Thomas; Gottlob, Georg
2
1993
Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC ’97. Vienna, Austria. August 25–29, 1997. Proceedings. Zbl 0870.00023
2
1997
Fast and parallel decomposition of constraint satisfaction problems. Zbl 07594545
Gottlob, Georg; Okulmus, Cem; Pichler, Reinhard
2
2022
HyperBench. A benchmark and tool for hypergraphs and empirical findings. Zbl 1499.68269
Fischl, Wolfgang; Gottlob, Georg; Longo, Davide Mario; Pichler, Reinhard
5
2021
Stable model semantics for guarded existential rules and description logics: decidability and complexity. Zbl 1499.68087
Gottlob, Georg; Hernich, André; Kupke, Clemens; Lukasiewicz, Thomas
4
2021
Complexity analysis of generalized and fractional hypertree decompositions. Zbl 1499.68272
Gottlob, Georg; Lanzinger, Matthias; Pichler, Reinhard; Razgon, Igor
2
2021
Guarded ontology-mediated queries. Zbl 07442307
Barceló, Pablo; Berger, Gerald; Gottlob, Georg; Pieris, Andreas
1
2021
Monadic Datalog, tree validity, and limited access containment. Zbl 1433.68115
Benedikt, Michael; Bourhis, Pierre; Gottlob, Georg; Senellart, Pierre
2
2020
Semantic optimization of conjunctive queries. Zbl 1499.68085
Barceló, Pablo; Figueira, Diego; Gottlob, Georg; Pieris, Andreas
1
2020
The HyperTrac project: recent progress and future research directions on hypergraph decompositions. Zbl 07636008
Gottlob, Georg; Lanzinger, Matthias; Longo, Davide Mario; Okulmus, Cem; Pichler, Reinhard
1
2020
Fractional covers of hypergraphs with bounded multi-intersection. Zbl 07559412
Gottlob, Georg; Lanzinger, Matthias; Pichler, Reinhard; Razgon, Igor
1
2020
Vadalog: recent advances and applications. Zbl 1525.68168
Gottlob, Georg; Pieris, Andreas; Sallinger, Emanuel
1
2019
Achieving new upper bounds for the hypergraph duality problem through logic. Zbl 1506.68037
Gottlob, 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.68045
Teppan, Erich Christian; Friedrich, Gerhard; Gottlob, Georg
2
2016
Querying the guarded fragment. Zbl 1314.68146
Bárány, Vince; Gottlob, Georg; Otto, Martin
19
2014
The price of query rewriting in ontology-based data access. Zbl 1390.68246
Gottlob, Georg; Kikot, Stanislav; Kontchakov, Roman; Podolskii, Vladimir; Schwentick, Thomas; Zakharyaschev, Michael
14
2014
Query rewriting and optimization for ontological databases. Zbl 1474.68103
Gottlob, Georg; Orsi, Giorgio; Pieris, Andreas
11
2014
Achieving new upper bounds for the hypergraph duality problem through logic. Zbl 1395.68151
Gottlob, Georg; Malizia, Enrico
8
2014
LoCo – a logic for configuration problems. Zbl 1354.68246
Aschinger, Markus; Drescher, Conrad; Gottlob, Georg; Vollmer, Heribert
1
2014
Taming the infinite chase: query answering under expressive relational constraints. Zbl 1361.68221
Calí, Andrea; Gottlob, Georg; Kifer, Michael
43
2013
Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies. Zbl 1308.68113
Gottlob, Georg; Lukasiewicz, Thomas; Martinez, Maria Vanina; Simari, Gerardo I.
8
2013
Decomposing combinatorial auctions and set packing problems. Zbl 1281.91088
Gottlob, Georg; Greco, Gianluigi
7
2013
Querying the guarded fragment with transitivity. Zbl 1335.68078
Gottlob, Georg; Pieris, Andreas; Tendera, Lidia
7
2013
Combining decidability paradigms for existential rules. Zbl 1286.68044
Gottlob, Georg; Manna, Marco; Pieris, Andreas
6
2013
Towards more expressive ontology languages: the query answering problem. Zbl 1270.68293
Calì, Andrea; Gottlob, Georg; Pieris, Andreas
26
2012
On minimal constraint networks. Zbl 1270.68268
Gottlob, Georg
7
2012
Datalog and its extensions for semantic web databases. Zbl 1251.68088
Gottlob, Georg; Orsi, Giorgio; Pieris, Andreas; Šimkus, Mantas
7
2012
On the complexity of ontological reasoning under disjunctive existential rules. Zbl 1365.68405
Gottlob, Georg; Manna, Marco; Morak, Michael; Pieris, Andreas
3
2012
Ontology-based semantic search on the web and its combination with the power of inductive reasoning. Zbl 1254.68112
d’Amato, Claudia; Fanizzi, Nicola; Fazzinga, Bettina; Gottlob, Georg; Lukasiewicz, Thomas
2
2012
Size and treewidth bounds for conjunctive queries. Zbl 1281.68097
Gottlob, Georg; Lee, Stephanie Tien; Valiant, Gregory; Valiant, Paul
1
2012
Querying UML class diagrams. Zbl 1352.68058
Calì, Andrea; Gottlob, Georg; Orsi, Giorgio; Pieris, Andreas
1
2012
Optimization methods for the partner units problem. Zbl 1302.90164
Aschinger, Markus; Drescher, Conrad; Friedrich, Gerhard; Gottlob, Georg; Jeavons, Peter; Ryabokon, Anna; Thorstensen, Evgenij
17
2011
Structural decomposition methods and what they are good for. Zbl 1230.68157
Aschinger, Markus; Drescher, Conrad; Gottlob, Georg; Jeavons, Peter; Thorstensen, Evgenij
5
2011
Distributed XML design. Zbl 1246.68066
Abiteboul, S.; Gottlob, G.; Manna, M.
2
2011
Datalog reloaded. First international workshop, Datalog 2010, Oxford, UK, March 16–19, 2010. Revised selected papers. Zbl 1233.68027
2
2011
Bounded treewidth as a key to tractability of knowledge representation and reasoning. Zbl 1185.68690
Gottlob, Georg; Pichler, Reinhard; Wei, Fang
19
2010
Monadic Datalog over finite structures of bounded treewidth. Zbl 1351.68110
Gottlob, Georg; Pichler, Reinhard; Wei, Fang
12
2010
Schema mapping discovery from data instances. Zbl 1327.68092
Gottlob, Georg; Senellart, Pierre
4
2010
Generalized hypertree decompositions: NP-hardness and tractable variants. Zbl 1325.68097
Gottlob, Georg; Miklós, Zoltán; Schwentick, Thomas
25
2009
Tractable optimization problems through hypergraph-based structural restrictions. Zbl 1248.68246
Gottlob, Georg; Greco, Gianluigi; Scarcello, Francesco
10
2009
A backtracking-based algorithm for hypertree decomposition. Zbl 1284.05284
Gottlob, Georg; Samer, Marko
7
2009
Hyperconsistency width for constraint satisfaction: Algorithms and complexity results. Zbl 1194.68126
Gottlob, Georg; Greco, Gianluigi; Marnette, Bruno
2
2009
Computational aspects of monotone dualization: a brief survey. Zbl 1160.68016
Eiter, Thomas; Makino, Kazuhisa; Gottlob, Georg
49
2008
Efficient core computation in data exchange. Zbl 1326.68124
Gottlob, Georg; Nash, Alan
9
2008
Query answering in the description logic Horn-\(\mathcal{SHIQ}\). Zbl 1178.68558
Eiter, Thomas; Gottlob, Georg; Ortiz, Magdalena; Šimkus, Mantas
7
2008
Uniform constraint satisfaction problems and database theory. Zbl 1171.68501
Scarcello, Francesco; Gottlob, Georg; Greco, Gianluigi
5
2008
Hypertree width and related hypergraph invariants. Zbl 1127.05065
Adler, Isolde; Gottlob, Georg; Grohe, Martin
19
2007
A logical approach to multicut problems. Zbl 1190.90032
Gottlob, Georg; Lee, Stephanie Tien
10
2007
Foundations of rule-based query answering. Zbl 1170.68646
Bry, François; Eisinger, Norbert; Eiter, Thomas; Furche, Tim; Gottlob, Georg; Ley, Clemens; Linse, Benedikt; Pichler, Reinhard; Wei, Fang
3
2007
The DLV system for knowledge representation and reasoning. Zbl 1367.68308
Leone, Nicola; Pfeifer, Gerald; Faber, Wolfgang; Eiter, Thomas; Gottlob, Georg; Perri, Simona; Scarcello, Francesco
166
2006
Conjunctive queries over trees. Zbl 1326.68110
Gottlob, Georg; Koch, Christoph; Schulz, Klaus U.
16
2006
A formal comparison of visual web wrapper generators. Zbl 1175.68096
Gottlob, Georg; Koch, Christoph
1
2006
Pure Nash equilibria: hard and easy games. Zbl 1134.91312
Gottlob, G.; Greco, G.; Scarcello, F.
49
2005
Hypertree decompositions: structure, algorithms, and applications. Zbl 1126.68516
Gottlob, Georg; Grohe, Martin; Musliu, Nysret; Samer, Marko; Scarcello, Francesco
12
2005
The complexity of XPath query evaluation and XML typing. Zbl 1317.68073
Gottlob, Georg; Koch, Christoph; Pichler, Reinhard; Segoufin, Luc
11
2005
Hypertree-width and related hypergraph invariants. Zbl 1192.05104
Adler, Isolde; Gottlob, Georg; Grohe, Martin
7
2005
Complexity of propositional nested circumscription and nested abnormality theories. Zbl 1367.68276
Cadoli, Marco; Eiter, Thomas; Gottlob, Georg
1
2005
Monadic Datalog and the expressive power of languages for web information extraction. Zbl 1316.68045
Gottlob, Georg; Koch, Christoph
26
2004
Existential second-order logic over graphs: charting the tractability frontier. Zbl 1316.68054
Gottlob, Georg; Kolaitis, Phokion G.; Schwentick, Thomas
11
2004
Hypergraph transversals. Zbl 1202.68281
Gottlob, Georg
4
2004
Hypergraphs in model checking: Acyclicity and hypertree-width versus clique-width. Zbl 1062.03028
Gottlob, Georg; Pichler, Reinhard
3
2004
Second-order logic over finite structures – report on a research programme. Zbl 1126.68567
Gottlob, Georg
1
2004
New results on monotone dualization and generating hypergraph transversals. Zbl 1052.68101
Eiter, Thomas; Gottlob, Georg; Makino, Kazuhisa
44
2003
Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width. Zbl 1054.68044
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
25
2003
On the complexity of single-rule datalog queries. Zbl 1055.68033
Gottlob, Georg; Papadimitriou, Christos
11
2003
Hypertree decompositions and tractable queries. Zbl 1052.68025
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
69
2002
Hypergraph transversal computation and related problems in logic and AI. Zbl 1013.68143
Eiter, Thomas; Gottlob, Georg
31
2002
Fixed-parameter complexity in AI and nonmonotonic reasoning. Zbl 0995.68118
Gottlob, Georg; Scarcello, Francesco; Sideri, Martha
29
2002
New results on monotone dualization and generating hypergraph transversals. Zbl 1192.68356
Eiter, Thomas; Gottlob, Georg; Makino, Kazuhisa
12
2002
Computing LOGCFL certificates. Zbl 0992.68062
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
10
2002
Datalog LITE: a deductive query language with linear time model checking. Zbl 1365.68203
Gottlob, Georg; Grädel, Erich; Veith, Helmut
8
2002
The DLV system. Zbl 1014.68871
Leone, 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
Multiagent compromises, joint fixpoints, and stable models. Zbl 1012.68191
Buccafurri, Francesco; Gottlob, Georg
2
2002
Propositional default logics made easier: computational complexity of model checking. Zbl 1061.68068
Baumgartner, Robert; Gottlob, Georg
2
2002
Second-order logic over strings: Regular and non-regular fragments. Zbl 1073.03006
Eiter, Thomas; Gottlob, Georg; Schwentick, Thomas
2
2002
The complexity of acyclic conjunctive queries. Zbl 1323.68250
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
32
2001
Hypertree decompositions: A survey. Zbl 1001.05087
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
15
2001
Working with ARMs: Complexity results on atomic representations of Herbrand models. Zbl 1007.03009
Gottlob, Georg; Pichler, Reinhard
7
2001
Declarative information extraction, Web crawling, and recursive wrapping with Lixto. Zbl 1007.68742
Baumgartner, Robert; Flesca, Sergio; Gottlob, Georg
5
2001
Hypergraphs in model checking: Acyclicity and hypertree-width versus clique-width. Zbl 0987.68046
Gottlob, Georg; Pichler, Reinhard
4
2001
On ACTL formulas having linear counterexamples. Zbl 0990.68102
Buccafurri, Francesco; Eiter, Thomas; Gottlob, Georg; Leone, Nicola
3
2001
A comparison of structural CSP decomposition methods. Zbl 0952.68044
Gottlob, G.; Leone, N.; Scarcello, F.
58
2000
Existential second-order logic over strings. Zbl 1095.03503
Eiter, Thomas; Gurevich, Yuri; Gottlob, Georg
4
2000
Compexity results for some eigenvector problems. Zbl 0967.65050
Eiter, Thomas; Gottlob, Georg
1
2000
On the complexity of theory curbing. Zbl 0988.68176
Eiter, Thomas; Gottlob, Georg
1
2000
Enhancing model checking in verification by AI techniques. Zbl 0996.68104
Buccafurri, Francesco; Eiter, Thomas; Gottlob, Georg; Leone, Nicola
44
1999
Succinctness as a source of complexity in logical formalisms. Zbl 0933.03048
Gottlob, Georg; Leone, Nicola; Veith, Helmut
9
1999
Fixed-parameter complexity in AI and nonmonotonic reasoning. Zbl 0955.68057
Gottlob, Georg; Scarcello, Francesco; Sideri, Martha
5
1999
Review of a Carnapian extension of S5. Zbl 0922.03022
Gottlob, Georg
2
1999
Generalized quantifiers in logic programs. Zbl 0966.68043
Eiter, Thomas; Gottlob, Georg; Veith, Helmut
1
1999
Capturing relativized complexity classes without order. Zbl 0892.03010
Dawar, Anuj; Gottlob, Georg; Hella, Lauri
1
1998
Abduction from logic programs: Semantics and complexity. Zbl 0893.68022
Eiter, Thomas; Gottlob, Georg; Leone, Nicola
25
1997
Semantics and complexity of abduction from default theories. Zbl 1017.03515
Eiter, Thomas; Gottlob, Georg; Leone, Nicola
12
1997
Relativized logspace and generalized quantifiers over finite ordered structures. Zbl 0882.03031
Gottlob, Georg
10
1997
The complexity class \(\varTheta^\mathrm{p}_2\): recent results and applications in AI and modal logic. Zbl 1507.68121
Eiter, Thomas; Gottlob, Georg
6
1997
Well-founded semantics for default logic. Zbl 0902.03013
Brewka, Gerhard; Gottlob, Georg
2
1997
Computational logic and proof theory. 5th Kurt Gödel Colloquium, KGC ’97. Vienna, Austria. August 25–29, 1997. Proceedings. Zbl 0870.00023
2
1997
Expressiveness of stable model semantics for disjunctive logic programs with functions. Zbl 0890.68030
Eiter, Thomas; Gottlob, Georg
2
1997
The complexity of nested counterfactuals and iterated knowledge base revisions. Zbl 0869.68045
Eiter, Thomas; Gottlob, Georg
7
1996
Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088
Dix, Jürgen; Gottlob, Georg; Marek, Wiktor
7
1996
A non-ground realization of the stable and well-founded semantics. Zbl 0872.68108
Gottlob, Georg; Marcus, Sherry; Nerode, Anil; Salzer, Gernot; Subrahmanian, V. S.
7
1996
...and 28 more Documents
all top 5

Cited by 1,531 Authors

56 Gottlob, Georg
47 Eiter, Thomas
32 Woltran, Stefan
31 Leone, Nicola
21 Greco, Gianluigi
21 Pichler, Reinhard
21 Szeider, Stefan
20 Ricca, Francesco
19 Schaub, Torsten H.
18 Scarcello, Francesco
18 Truszczyński, Mirosław
16 Elbassioni, Khaled M.
16 Gebser, Martin
14 Liberatore, Paolo
14 Makino, Kazuhisa
14 Pieris, Andreas
13 Faber, Wolfgang
12 Alviano, Mario
12 Cadoli, Marco
12 Dodaro, Carmine
12 Lukasiewicz, Thomas
11 Barceló, Pablo
11 Gurvich, Vladimir A.
11 Kanté, Mamadou Moustapha
11 Nourine, Lhouari
10 Amendola, Giovanni
10 Boros, Endre
10 Janhunen, Tomi
10 Khachiyan, Leonid Genrikhovich
10 Maratea, Marco
10 Palopoli, Luigi
9 Chiaselotti, Giampiero
9 Fink, Michael
9 Gelfond, Michael
9 Gentile, Tommaso
9 Ibaraki, Toshihide
9 Libkin, Leonid O.
9 Morak, Michael
9 Ordyniak, Sebastian
9 Schockaert, Steven
9 Šimkus, Mantas
9 Uno, Takeaki
8 Ben-Eliyahu-Zohary, Rachel
8 Benedikt, Michael A.
8 De Cock, Martine
8 Delgrande, James P.
8 Fichte, Johannes Klaus
8 Grohe, Martin
8 Infusino, Federico G.
8 Jonsson, Peter
8 Manna, Marco
8 Ortiz, Magdalena
8 Sakama, Chiaki
8 Schaerf, Marco
8 ten Cate, Balder David
8 Wang, Kewen
7 Angiulli, Fabrizio
7 Ganian, Robert
7 Grégoire, Éric
7 Krokhin, Andrei A.
7 Lutz, Carsten
7 Mary, Arnaud
7 Niehren, Joachim
7 Schwentick, Thomas
7 Tompits, Hans
6 Bertossi, Leopoldo E.
6 Creignou, Nadia
6 Demetrovics, János
6 Durand, Arnaud
6 Fischer, Felix
6 Golovach, Petr A.
6 Hunter, Anthony
6 Inoue, Katsumi
6 Lang, Jérôme
6 Lin, Fangzhen
6 Marques-Silva, João P.
6 Meier, Arne
6 Molinaro, Cristian
6 Serna Iglesias, Maria José
6 Shen, Yidong
6 Simari, Gerardo I.
6 Vollmer, Heribert
6 Zhang, Yan
6 Živný, Stanislav
5 Bogaerts, Bart
5 Brandt, Felix
5 Brewka, Gerhard
5 Capelli, Florent
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 Hecher, Markus
5 Heggernes, Pinar
5 Hermann, Miki
5 Järvisalo, Matti
5 Kratsch, Dieter
...and 1,431 more Authors
all top 5

Cited in 108 Serials

173 Artificial Intelligence
94 Theoretical Computer Science
83 Theory and Practice of Logic Programming
60 Journal of Computer and System Sciences
43 Annals of Mathematics and Artificial Intelligence
39 Discrete Applied Mathematics
28 Theory of Computing Systems
25 Information and Computation
25 International Journal of Approximate Reasoning
21 Information Processing Letters
19 Constraints
15 Algorithmica
14 ACM Transactions on Computational Logic
11 Journal of Automated Reasoning
11 The Journal of Artificial Intelligence Research (JAIR)
11 Logical Methods in Computer Science
9 SIAM Journal on Computing
9 Journal of Applied Logic
8 Discrete Mathematics
8 Journal of Computer Science and Technology
8 Journal of Applied Non-Classical Logics
6 Information Sciences
6 The Journal of Symbolic Logic
5 Journal of Logic, Language and Information
5 Journal of Combinatorial Optimization
4 Computers & Mathematics with Applications
4 Fuzzy Sets and Systems
4 Studia Logica
4 Machine Learning
4 ACM Journal of Experimental Algorithmics
3 Acta Informatica
3 Annals of Pure and Applied Logic
3 Journal of Symbolic Computation
3 SIAM Journal on Discrete Mathematics
3 Games and Economic Behavior
3 European Journal of Operational Research
3 Archive for Mathematical Logic
3 Formal Methods in System Design
3 Journal of the ACM
3 Discrete Mathematics and Theoretical Computer Science. DMTCS
3 RAIRO. Theoretical Informatics and Applications
3 Fundamenta Informaticae
3 Journal of Discrete Algorithms
3 Computer Science Review
2 Journal of Philosophical Logic
2 Synthese
2 European Journal of Combinatorics
2 AI Communications
2 Computational Geometry
2 Mathematical Structures in Computer Science
2 International Game Theory Review
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 Theory and Decision
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 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 Computational and Applied Mathematics
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 Wuhan University Journal of Natural Sciences (WUJNS)
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
...and 8 more Serials

Citations by Year

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.