×

zbMATH — the first resource for mathematics

Gottlob, Georg

Compute Distance To:
Author ID: gottlob.georg Recent zbMATH articles by "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

Publications by Year

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.68308
Leone, 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.05070
Eiter, Thomas; Gottlob, Georg
87
1995
On the computational cost of disjunctive logic programming: Propositional case. Zbl 0858.68016
Eiter, Thomas; Gottlob, Georg
77
1995
On the complexity of propositional knowledge base revision, updates, and counterfactuals. Zbl 0763.68038
Eiter, Thomas; Gottlob, Georg
61
1992
Complexity results for nonmonotonic logics. Zbl 0765.03012
Gottlob, Georg
54
1992
The complexity of logic-based abduction. Zbl 0886.68121
Eiter, Thomas; Gottlob, Georg
53
1995
Hypertree decompositions and tractable queries. Zbl 1052.68025
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
52
2002
A comparison of structural CSP decomposition methods. Zbl 0952.68044
Gottlob, G.; Leone, N.; Scarcello, F.
45
2000
Enhancing model checking in verification by AI techniques. Zbl 0996.68104
Buccafurri, Francesco; Eiter, Thomas; Gottlob, Georg; Leone, Nicola
40
1999
Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete. Zbl 0786.68085
Eiter, Thomas; Gottlob, Georg
37
1993
Computational aspects of monotone dualization: a brief survey. Zbl 1160.68016
Eiter, Thomas; Makino, Kazuhisa; Gottlob, Georg
33
2008
Pure Nash equilibria: hard and easy games. Zbl 1134.91312
Gottlob, G.; Greco, G.; Scarcello, F.
33
2005
New results on monotone dualization and generating hypergraph transversals. Zbl 1052.68101
Eiter, Thomas; Gottlob, Georg; Makino, Kazuhisa
33
2003
The complexity of acyclic conjunctive queries. Zbl 1323.68250
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
30
2001
Hypergraph transversal computation and related problems in logic and AI. Zbl 1013.68143
Eiter, Thomas; Gottlob, Georg
26
2002
Fixed-parameter complexity in AI and nonmonotonic reasoning. Zbl 0995.68118
Gottlob, Georg; Scarcello, Francesco; Sideri, Martha
24
2002
Monadic Datalog and the expressive power of languages for web information extraction. Zbl 1316.68045
Gottlob, Georg; Koch, Christoph
23
2004
Taming the infinite chase: query answering under expressive relational constraints. Zbl 1361.68221
Calí, Andrea; Gottlob, Georg; Kifer, Michael
22
2013
Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width. Zbl 1054.68044
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
21
2003
Abduction from logic programs: Semantics and complexity. Zbl 0893.68022
Eiter, Thomas; Gottlob, Georg; Leone, Nicola
18
1997
Generalized hypertree decompositions: NP-hardness and tractable variants. Zbl 1325.68097
Gottlob, Georg; Miklós, Zoltán; Schwentick, Thomas
17
2009
Bounded treewidth as a key to tractability of knowledge representation and reasoning. Zbl 1185.68690
Gottlob, Georg; Pichler, Reinhard; Wei, Fang
15
2010
Conjunctive queries over trees. Zbl 1326.68110
Gottlob, Georg; Koch, Christoph; Schulz, Klaus U.
14
2006
Monadic Datalog over finite structures of bounded treewidth. Zbl 1351.68110
Gottlob, Georg; Pichler, Reinhard; Wei, Fang
13
2010
NP trees and Carnap’s modal logic. Zbl 0886.68069
Gottlob, Georg
13
1995
On the efficiency of subsumption algorithms. Zbl 0633.68028
Gottlob, G.; Leitsch, A.
13
1985
Hypertree width and related hypergraph invariants. Zbl 1127.05065
Adler, Isolde; Gottlob, Georg; Grohe, Martin
12
2007
New results on monotone dualization and generating hypergraph transversals. Zbl 1192.68356
Eiter, Thomas; Gottlob, Georg; Makino, Kazuhisa
12
2002
The complexity of XPath query evaluation and XML typing. Zbl 1317.68073
Gottlob, Georg; Koch, Christoph; Pichler, Reinhard; Segoufin, Luc
11
2005
On the complexity of single-rule datalog queries. Zbl 1055.68033
Gottlob, Georg; Papadimitriou, Christos
11
2003
Hypertree decompositions: A survey. Zbl 1001.05087
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
11
2001
Semantics and complexity of abduction from default theories. Zbl 1017.03515
Eiter, Thomas; Gottlob, Georg; Leone, Nicola
11
1997
Translating default logic into standard autoepistemic logic. Zbl 0884.03025
Gottlob, Georg
11
1995
Subsumption and implication. Zbl 0629.68091
Gottlob, Georg
11
1987
Querying the guarded fragment. Zbl 1314.68146
Bárány, Vince; Gottlob, Georg; Otto, Martin
10
2014
Towards more expressive ontology languages: the query answering problem. Zbl 1270.68293
Calì, Andrea; Gottlob, Georg; Pieris, Andreas
10
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
10
2011
Computing LOGCFL certificates. Zbl 0992.68062
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
10
2002
Relativized logspace and generalized quantifiers over finite ordered structures. Zbl 0882.03031
Gottlob, Georg
10
1997
Investigations on Armstrong relations, dependency inference, and excluded functional dependencies. Zbl 0727.68026
Gottlob, G.; Libkin, L.
10
1990
Efficient core computation in data exchange. Zbl 1326.68124
Gottlob, Georg; Nash, Alan
9
2008
A logical approach to multicut problems. Zbl 1190.90032
Gottlob, Georg; Lee, Stephanie Tien
9
2007
Existential second-order logic over graphs: charting the tractability frontier. Zbl 1316.68054
Gottlob, Georg; Kolaitis, Phokion G.; Schwentick, Thomas
9
2004
Removing redundancy from a clause. Zbl 0779.68015
Gottlob, Georg; Fermüller, Christian G.
9
1993
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
8
2014
Hypertree decompositions: structure, algorithms, and applications. Zbl 1126.68516
Gottlob, Georg; Grohe, Martin; Musliu, Nysret; Samer, Marko; Scarcello, Francesco
8
2005
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
8
2002
Succinctness as a source of complexity in logical formalisms. Zbl 0933.03048
Gottlob, Georg; Leone, Nicola; Veith, Helmut
8
1999
Hypertree-width and related hypergraph invariants. Zbl 1192.05104
Adler, Isolde; Gottlob, Georg; Grohe, Martin
7
2005
Second order logic and the weak exponential hierarchies. Zbl 1193.68115
Gottlob, Georg; Leone, Nicola; Veith, Helmut
7
1995
Combining decidability paradigms for existential rules. Zbl 1286.68044
Gottlob, Georg; Manna, Marco; Pieris, Andreas
6
2013
Decomposing combinatorial auctions and set packing problems. Zbl 1281.91088
Gottlob, Georg; Greco, Gianluigi
6
2013
Query answering in the description logic Horn-\(\mathcal{SHIQ}\). Zbl 1178.68558
Eiter, Thomas; Gottlob, Georg; Ortiz, Magdalena; Šimkus, Mantas
6
2008
The complexity of nested counterfactuals and iterated knowledge base revisions. Zbl 0869.68045
Eiter, Thomas; Gottlob, Georg
6
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.
6
1996
Properties and updata semantics of consistent views. Zbl 0665.68089
Gottlob, Georg; Paolini, Paolo; Zicari, Roberto
6
1988
On minimal constraint networks. Zbl 1270.68268
Gottlob, Georg
5
2012
Structural decomposition methods and what they are good for. Zbl 1230.68157
Aschinger, Markus; Drescher, Conrad; Gottlob, Georg; Jeavons, Peter; Thorstensen, Evgenij
5
2011
Tractable optimization problems through hypergraph-based structural restrictions. Zbl 1248.68246
Gottlob, Georg; Greco, Gianluigi; Scarcello, Francesco
5
2009
Uniform constraint satisfaction problems and database theory. Zbl 1171.68501
Scarcello, Francesco; Gottlob, Georg; Greco, Gianluigi
5
2008
Working with ARMs: Complexity results on atomic representations of Herbrand models. Zbl 1007.03009
Gottlob, Georg; Pichler, Reinhard
5
2001
Fixed-parameter complexity in AI and nonmonotonic reasoning. Zbl 0955.68057
Gottlob, Georg; Scarcello, Francesco; Sideri, Martha
5
1999
Normal forms for second-order logic over finite structures, and classification of NP optimization problems. Zbl 0883.03015
Eiter, Thomas; Gottlob, Georg; Gurevich, Yuri
5
1996
Reasoning with parsimonious and moderately grounded expansions. Zbl 0772.68081
Eiter, Thomas; Gottlob, Georg
5
1992
Achieving new upper bounds for the hypergraph duality problem through logic. Zbl 1395.68151
Gottlob, Georg; Malizia, Enrico
4
2014
Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies. Zbl 1308.68113
Gottlob, Georg; Lukasiewicz, Thomas; Martinez, Maria Vanina; Simari, Gerardo I.
4
2013
Declarative information extraction, Web crawling, and recursive wrapping with Lixto. Zbl 1007.68742
Baumgartner, Robert; Flesca, Sergio; Gottlob, Georg
4
2001
Existential second-order logic over strings. Zbl 1095.03503
Eiter, Thomas; Gurevich, Yuri; Gottlob, Georg
4
2000
The complexity of default reasoning under the stationary fixed point semantics. Zbl 0832.68097
Gottlob, Georg
4
1995
On the size of nonredundant FD-covers. Zbl 0653.68110
Gottlob, Georg
4
1987
Fast subsumption algorithms. Zbl 0588.68044
Gottlob, G.; Leitsch, A.
4
1985
Datalog and its extensions for semantic web databases. Zbl 1251.68088
Gottlob, Georg; Orsi, Giorgio; Pieris, Andreas; Šimkus, Mantas
3
2012
Schema mapping discovery from data instances. Zbl 1327.68092
Gottlob, Georg; Senellart, Pierre
3
2010
Hypergraphs in model checking: Acyclicity and hypertree-width versus clique-width. Zbl 1062.03028
Gottlob, Georg; Pichler, Reinhard
3
2004
Hypergraphs in model checking: Acyclicity and hypertree-width versus clique-width. Zbl 0987.68046
Gottlob, Georg; Pichler, Reinhard
3
2001
Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088
Dix, Jürgen; Gottlob, Georg; Marek, Wiktor
3
1996
Cumulative default logic: Finite characterization, algorithms, and complexity. Zbl 0821.68111
Gottlob, Georg; Zhang, Mingyi
3
1994
An efficient method for eliminating varying predicates from a circumscription. Zbl 0762.03013
Cadoli, Marco; Eiter, Thomas; Gottlob, Georg
3
1992
Querying the guarded fragment with transitivity. Zbl 1335.68078
Gottlob, 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.68112
d’Amato, Claudia; Fanizzi, Nicola; Fazzinga, Bettina; Gottlob, Georg; Lukasiewicz, Thomas
2
2012
On the complexity of ontological reasoning under disjunctive existential rules. Zbl 1365.68405
Gottlob, 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.68027
de Moor, Oege (ed.); Gottlob, Georg (ed.); Furche, Tim (ed.); Sellers, Andrew (ed.)
2
2011
A backtracking-based algorithm for hypertree decomposition. Zbl 1284.05284
Gottlob, Georg; Samer, Marko
2
2009
Hyperconsistency width for constraint satisfaction: Algorithms and complexity results. Zbl 1194.68126
Gottlob, Georg; Greco, Gianluigi; Marnette, Bruno
2
2009
Hypergraph transversals. Zbl 1202.68281
Gottlob, Georg
2
2004
Second-order logic over strings: Regular and non-regular fragments. Zbl 1073.03006
Eiter, Thomas; Gottlob, Georg; Schwentick, Thomas
2
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
On ACTL formulas having linear counterexamples. Zbl 0990.68102
Buccafurri, Francesco; Eiter, Thomas; Gottlob, Georg; Leone, Nicola
2
2001
Well-founded semantics for default logic. Zbl 0902.03013
Brewka, Gerhard; Gottlob, Georg
2
1997
Achieving new upper bounds for the hypergraph duality problem through logic. Zbl 06864816
Gottlob, Georg; Malizia, Enrico
1
2018
Tractability frontiers of the partner units configuration problem. Zbl 1338.68045
Teppan, Erich Christian; Friedrich, Gerhard; Gottlob, Georg
1
2016
LoCo – a logic for configuration problems. Zbl 1354.68246
Aschinger, Markus; Drescher, Conrad; Gottlob, Georg; Vollmer, Heribert
1
2014
Querying UML class diagrams. Zbl 1352.68058
Calì, Andrea; Gottlob, Georg; Orsi, Giorgio; Pieris, Andreas
1
2012
Distributed XML design. Zbl 1246.68066
Abiteboul, S.; Gottlob, G.; Manna, M.
1
2011
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
1
2007
A formal comparison of visual web wrapper generators. Zbl 1175.68096
Gottlob, Georg; Koch, Christoph
1
2006
Complexity of propositional nested circumscription and nested abnormality theories. Zbl 1367.68276
Cadoli, Marco; Eiter, Thomas; Gottlob, Georg
1
2005
Second-order logic over finite structures – report on a research programme. Zbl 1126.68567
Gottlob, Georg
1
2004
Achieving new upper bounds for the hypergraph duality problem through logic. Zbl 06864816
Gottlob, Georg; Malizia, Enrico
1
2018
Tractability frontiers of the partner units configuration problem. Zbl 1338.68045
Teppan, Erich Christian; Friedrich, Gerhard; Gottlob, Georg
1
2016
Querying the guarded fragment. Zbl 1314.68146
Bárány, Vince; Gottlob, Georg; Otto, Martin
10
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
8
2014
Achieving new upper bounds for the hypergraph duality problem through logic. Zbl 1395.68151
Gottlob, Georg; Malizia, Enrico
4
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
22
2013
Combining decidability paradigms for existential rules. Zbl 1286.68044
Gottlob, Georg; Manna, Marco; Pieris, Andreas
6
2013
Decomposing combinatorial auctions and set packing problems. Zbl 1281.91088
Gottlob, Georg; Greco, Gianluigi
6
2013
Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies. Zbl 1308.68113
Gottlob, Georg; Lukasiewicz, Thomas; Martinez, Maria Vanina; Simari, Gerardo I.
4
2013
Querying the guarded fragment with transitivity. Zbl 1335.68078
Gottlob, Georg; Pieris, Andreas; Tendera, Lidia
2
2013
Towards more expressive ontology languages: the query answering problem. Zbl 1270.68293
Calì, Andrea; Gottlob, Georg; Pieris, Andreas
10
2012
On minimal constraint networks. Zbl 1270.68268
Gottlob, Georg
5
2012
Datalog and its extensions for semantic web databases. Zbl 1251.68088
Gottlob, 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.68112
d’Amato, Claudia; Fanizzi, Nicola; Fazzinga, Bettina; Gottlob, Georg; Lukasiewicz, Thomas
2
2012
On the complexity of ontological reasoning under disjunctive existential rules. Zbl 1365.68405
Gottlob, Georg; Manna, Marco; Morak, Michael; Pieris, Andreas
2
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
10
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
Datalog reloaded. First international workshop, Datalog 2010, Oxford, UK, March 16–19, 2010. Revised selected papers. Zbl 1233.68027
de Moor, Oege (ed.); Gottlob, Georg (ed.); Furche, Tim (ed.); Sellers, Andrew (ed.)
2
2011
Distributed XML design. Zbl 1246.68066
Abiteboul, S.; Gottlob, G.; Manna, M.
1
2011
Bounded treewidth as a key to tractability of knowledge representation and reasoning. Zbl 1185.68690
Gottlob, Georg; Pichler, Reinhard; Wei, Fang
15
2010
Monadic Datalog over finite structures of bounded treewidth. Zbl 1351.68110
Gottlob, Georg; Pichler, Reinhard; Wei, Fang
13
2010
Schema mapping discovery from data instances. Zbl 1327.68092
Gottlob, Georg; Senellart, Pierre
3
2010
Generalized hypertree decompositions: NP-hardness and tractable variants. Zbl 1325.68097
Gottlob, Georg; Miklós, Zoltán; Schwentick, Thomas
17
2009
Tractable optimization problems through hypergraph-based structural restrictions. Zbl 1248.68246
Gottlob, Georg; Greco, Gianluigi; Scarcello, Francesco
5
2009
A backtracking-based algorithm for hypertree decomposition. Zbl 1284.05284
Gottlob, Georg; Samer, Marko
2
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
33
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
6
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
12
2007
A logical approach to multicut problems. Zbl 1190.90032
Gottlob, Georg; Lee, Stephanie Tien
9
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
1
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
119
2006
Conjunctive queries over trees. Zbl 1326.68110
Gottlob, Georg; Koch, Christoph; Schulz, Klaus U.
14
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.
33
2005
The complexity of XPath query evaluation and XML typing. Zbl 1317.68073
Gottlob, Georg; Koch, Christoph; Pichler, Reinhard; Segoufin, Luc
11
2005
Hypertree decompositions: structure, algorithms, and applications. Zbl 1126.68516
Gottlob, Georg; Grohe, Martin; Musliu, Nysret; Samer, Marko; Scarcello, Francesco
8
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
23
2004
Existential second-order logic over graphs: charting the tractability frontier. Zbl 1316.68054
Gottlob, Georg; Kolaitis, Phokion G.; Schwentick, Thomas
9
2004
Hypergraphs in model checking: Acyclicity and hypertree-width versus clique-width. Zbl 1062.03028
Gottlob, Georg; Pichler, Reinhard
3
2004
Hypergraph transversals. Zbl 1202.68281
Gottlob, Georg
2
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
33
2003
Robbers, marshals, and guards: Game theoretic and logical characterizations of hypertree width. Zbl 1054.68044
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
21
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
52
2002
Hypergraph transversal computation and related problems in logic and AI. Zbl 1013.68143
Eiter, Thomas; Gottlob, Georg
26
2002
Fixed-parameter complexity in AI and nonmonotonic reasoning. Zbl 0995.68118
Gottlob, Georg; Scarcello, Francesco; Sideri, Martha
24
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
8
2002
Second-order logic over strings: Regular and non-regular fragments. Zbl 1073.03006
Eiter, Thomas; Gottlob, Georg; Schwentick, Thomas
2
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
The complexity of acyclic conjunctive queries. Zbl 1323.68250
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
30
2001
Hypertree decompositions: A survey. Zbl 1001.05087
Gottlob, Georg; Leone, Nicola; Scarcello, Francesco
11
2001
Working with ARMs: Complexity results on atomic representations of Herbrand models. Zbl 1007.03009
Gottlob, Georg; Pichler, Reinhard
5
2001
Declarative information extraction, Web crawling, and recursive wrapping with Lixto. Zbl 1007.68742
Baumgartner, Robert; Flesca, Sergio; Gottlob, Georg
4
2001
Hypergraphs in model checking: Acyclicity and hypertree-width versus clique-width. Zbl 0987.68046
Gottlob, Georg; Pichler, Reinhard
3
2001
On ACTL formulas having linear counterexamples. Zbl 0990.68102
Buccafurri, Francesco; Eiter, Thomas; Gottlob, Georg; Leone, Nicola
2
2001
A comparison of structural CSP decomposition methods. Zbl 0952.68044
Gottlob, G.; Leone, N.; Scarcello, F.
45
2000
Existential second-order logic over strings. Zbl 1095.03503
Eiter, Thomas; Gurevich, Yuri; Gottlob, Georg
4
2000
On the complexity of theory curbing. Zbl 0988.68176
Eiter, Thomas; Gottlob, Georg
1
2000
Compexity results for some eigenvector problems. Zbl 0967.65050
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
40
1999
Succinctness as a source of complexity in logical formalisms. Zbl 0933.03048
Gottlob, Georg; Leone, Nicola; Veith, Helmut
8
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
1
1999
Abduction from logic programs: Semantics and complexity. Zbl 0893.68022
Eiter, Thomas; Gottlob, Georg; Leone, Nicola
18
1997
Semantics and complexity of abduction from default theories. Zbl 1017.03515
Eiter, Thomas; Gottlob, Georg; Leone, Nicola
11
1997
Relativized logspace and generalized quantifiers over finite ordered structures. Zbl 0882.03031
Gottlob, Georg
10
1997
Well-founded semantics for default logic. Zbl 0902.03013
Brewka, Gerhard; Gottlob, Georg
2
1997
Expressiveness of stable model semantics for disjunctive logic programs with functions. Zbl 0890.68030
Eiter, Thomas; Gottlob, Georg
1
1997
The complexity of nested counterfactuals and iterated knowledge base revisions. Zbl 0869.68045
Eiter, Thomas; Gottlob, Georg
6
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.
6
1996
Normal forms for second-order logic over finite structures, and classification of NP optimization problems. Zbl 0883.03015
Eiter, Thomas; Gottlob, Georg; Gurevich, Yuri
5
1996
Reducing disjunctive to non-disjunctive semantics by shift-operations. Zbl 0863.68088
Dix, Jürgen; Gottlob, Georg; Marek, Wiktor
3
1996
Identifying the minimal transversals of a hypergraph and related problems. Zbl 0842.05070
Eiter, Thomas; Gottlob, Georg
87
1995
On the computational cost of disjunctive logic programming: Propositional case. Zbl 0858.68016
Eiter, Thomas; Gottlob, Georg
77
1995
The complexity of logic-based abduction. Zbl 0886.68121
Eiter, Thomas; Gottlob, Georg
53
1995
NP trees and Carnap’s modal logic. Zbl 0886.68069
Gottlob, Georg
13
1995
Translating default logic into standard autoepistemic logic. Zbl 0884.03025
Gottlob, Georg
11
1995
Second order logic and the weak exponential hierarchies. Zbl 1193.68115
Gottlob, Georg; Leone, Nicola; Veith, Helmut
7
1995
The complexity of default reasoning under the stationary fixed point semantics. Zbl 0832.68097
Gottlob, Georg
4
1995
Cumulative default logic: Finite characterization, algorithms, and complexity. Zbl 0821.68111
Gottlob, Georg; Zhang, Mingyi
3
1994
Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete. Zbl 0786.68085
Eiter, Thomas; Gottlob, Georg
37
1993
Removing redundancy from a clause. Zbl 0779.68015
Gottlob, Georg; Fermüller, Christian G.
9
1993
The complexity of logic-based abduction. Zbl 0799.68089
Eiter, Thomas; Gottlob, Georg
1
1993
On the complexity of propositional knowledge base revision, updates, and counterfactuals. Zbl 0763.68038
Eiter, Thomas; Gottlob, Georg
61
1992
Complexity results for nonmonotonic logics. Zbl 0765.03012
Gottlob, Georg
54
1992
Reasoning with parsimonious and moderately grounded expansions. Zbl 0772.68081
Eiter, Thomas; Gottlob, Georg
5
1992
An efficient method for eliminating varying predicates from a circumscription. Zbl 0762.03013
Cadoli, Marco; Eiter, Thomas; Gottlob, Georg
3
1992
Selective inheritance of attribute values in relational databases. Zbl 0767.68031
Gottlob, G.; Schrefl, M.; Stumptner, M.
1
1992
...and 8 more Documents
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

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.