BibSLEIGH — Georg

Travelled to:

1 × Czech Republic
1 × Denmark
1 × Estonia
1 × France
1 × Germany
1 × Ireland
1 × Japan
1 × Latvia
1 × Portugal
1 × Sweden
1 × Switzerland
1 × United Kingdom
19 × USA
2 × Australia
2 × China
3 × Austria
3 × Canada
3 × Greece
4 × Italy

Collaborated with:

∅ R.Pichler T.Eiter A.Pieris C.Koch T.Lukasiewicz A.Calì F.Scarcello R.Baumgartner T.Schwentick N.Leone M.Manna S.Flesca M.Benedikt P.Senellart F.Wei M.Herzog A.Hernich C.Kupke E.Malizia A.Nash R.Zicari S.Ceri L.Lavazza G.Greco G.Orsi T.Furche G.Grasso C.Schallhart M.Calautti E.Sallinger M.Arenas S.Rudolph M.Simkus L.Tendera V.Bárány M.Otto S.Abiteboul S.T.Lee G.Valiant V.Savenkov M.Kifer Z.Miklós K.U.Schulz K.Makino Y.Gurevich J.Dix V.W.Marek M.Cadoli H.Mannila W.Dvorák S.Woltran A.J.Sellers B.Marnette C.d'Amato F.Esposito N.Fanizzi B.Fazzinga X.Guo C.Wang F.Cacace S.Crespi-Reghizzi G.Lamperti L.Tanca R.V.Zicari G.Ianni V.Lio G.Terracina W.Faber M.Fink R.Rosati D.Lembo M.Lenzerini M.Ruzzi E.Kalka B.Nowicki W.Staniszkis

Talks about:

queri (17) logic (13) complex (9) datalog (8) express (7) data (7) existenti (6) languag (6) databas (6) guard (6)

Person: Georg Gottlob

DBLP: Gottlob:Georg

Facilitated 2 volumes:

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

1999

1998

1996

1995

1994

1993

1992

1989

1988

1987

1986

Wrote 67 papers:

PODS-2015-CalauttiGP #termination: Chase Termination for Guarded Existential Rules (MC, GG, AP), pp. 91–103.
PODS-2015-GottlobPS #dependence: Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability (GG, RP, ES), pp. 65–77.
KR-2014-GottlobHKL #logic #semantics: Stable Model Semantics for Guarded Existential Rules and Description Logics (GG, AH, CK, TL).
KR-2014-GottlobLP #datalog: Datalog+/-: Questions and Answers (GG, TL, AP).
KR-2014-GottlobMP #polynomial: Polynomial Combined Rewritings for Existential Rules (GG, MM, AP).
LICS-CSL-2014-GottlobM #bound #logic #problem: Achieving new upper bounds for the hypergraph duality problem through logic (GG, EM), p. 10.
PODS-2014-ArenasGP #query #semantics #web: Expressive languages for querying the semantic web (MA, GG, AP), pp. 14–26.
PODS-2014-GottlobRS: Expressiveness of guarded existential rule languages (GG, SR, MS), pp. 27–38.
VLDB-2014-FurcheG0GOSW #database #named: DIADEM: Thousands of Websites to a Single Database (TF, GG, GG, XG, GO, CS, CW), pp. 1845–1856.
ICALP-v2-2013-GottlobPT #query #transitive: Querying the Guarded Fragment with Transitivity (GG, AP, LT), pp. 287–298.
ICLP-J-2013-GottlobMP #decidability #paradigm: Combining decidability paradigms for existential rules (GG, MM, AP), pp. 877–892.
PODS-2013-Gottlob #identification #polynomial: Deciding monotone duality and identifying frequent itemsets in quadratic logspace (GG), pp. 25–36.
PODS-2013-HernichKLG #datalog #ontology #reasoning #semantics: Well-founded semantics for extended datalog and ontological reasoning (AH, CK, TL, GG), pp. 225–236.
FoSSaCS-2012-CaliGOP #diagrams #query #uml: Querying UML Class Diagrams (AC, GG, GO, AP), pp. 1–25.
KR-2012-GottlobS #datalog #ontology #query #recursion #source code: Rewriting Ontological Queries into Small Nonrecursive Datalog Programs (GG, TS).
PODS-2011-BenediktGS #runtime: Determining relevance of accesses at runtime (MB, GG, PS), pp. 211–222.
VLDB-2011-FurcheGGSS #named #scalability #web: OXPath: A Language for Scalable, Memory-efficient Data Extraction from Web Applications (TF, GG, GG, CS, AJS), pp. 1016–1027.
LICS-2010-BaranyGO #query: Querying the Guarded Fragment (VB, GG, MO), pp. 1–10.
LICS-2010-CaliGLMP #datalog #information management #logic #product line #query #representation: Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications (AC, GG, TL, BM, AP), pp. 228–242.
SAC-2010-dAmatoEFFGL #induction #reasoning #semantics #web: Inductive reasoning and semantic web search (Cd, FE, NF, BF, GG, TL), pp. 1446–1447.
VLDB-2010-BenediktG: The Impact of Virtual Views on Containment (MB, GG), pp. 297–308.
VLDB-2010-CaliGP #ontology #query: Advanced Processing for Ontological Queries (AC, GG, AP), pp. 554–565.
ICALP-v2-2009-GottlobGS #optimisation #problem #strict: Tractable Optimization Problems through Hypergraph-Based Structural Restrictions (GG, GG, FS), pp. 16–30.
PODS-2009-AbiteboulGM #design #distributed #xml: Distributed XML design (SA, GG, MM), pp. 247–258.
PODS-2009-CaliGL #framework #ontology #query: A general datalog-based framework for tractable query answering over ontologies (AC, GG, TL), pp. 77–86.
PODS-2009-GottlobLV #bound #query: Size and treewidth bounds for conjunctive queries (GG, STL, GV), pp. 45–54.
PPDP-2009-DvorakGPW #paradigm #programming: Alternation as a programming paradigm (WD, GG, RP, SW), pp. 61–72.
VLDB-2009-BaumgartnerGH #online #scalability #web: Scalable Web Data Extraction for Online Market Intelligence (RB, GG, MH), pp. 1512–1523.
VLDB-2009-GottlobPS #normalisation #optimisation: Normalization and Optimization of Schema Mappings (GG, RP, VS), pp. 1102–1113.
KR-2008-CaliGK #constraints #infinity #query #relational: Taming the Infinite Chase: Query Answering under Expressive Relational Constraints (AC, GG, MK), pp. 70–80.
PODS-2008-SenellartG #complexity #database #on the: On the complexity of deriving schema mappings from database instances (PS, GG), pp. 23–32.
PODS-2007-GottlobMS #np-hard: Generalized hypertree decompositions: np-hardness and tractable variants (GG, ZM, TS), pp. 13–22.
PODS-2007-GottlobPW #bound #datalog #finite #monad: Monadic datalog over finite structures with bounded treewidth (GG, RP, FW), pp. 165–174.
PODS-2006-GottlobN #polynomial: Data exchange: computing cores in polynomial time (GG, AN), pp. 40–49.
PODS-2006-GottlobPW #bound #database #design: Tractable database design through bounded treewidth (GG, RP, FW), pp. 124–133.
PODS-2005-Gottlob #algorithm: Computing cores for data exchange: new algorithms and practical solutions (GG), pp. 148–159.
SIGMOD-2005-LeoneGILTEFFGRLLRKNS #consistency #integration: The INFOMIX system for advanced integration of incomplete and inconsistent data (NL, GG, GI, VL, GT, TE, WF, MF, GG, RR, DL, ML, MR, EK, BN, WS), pp. 915–917.
IJCAR-2004-Gottlob #finite #higher-order #logic #research: Second-Order Logic over Finite Structures — Report on a Research Programme (GG), pp. 229–243.
PODS-2004-GottlobKBHF #theory and practice: The Lixto Data Extraction Project — Back and Forth between Theory and Practice (GG, CK, RB, MH, SF), pp. 1–12.
PODS-2004-GottlobKS #query: Conjunctive Queries over Trees (GG, CK, KUS), pp. 189–200.
PODS-2003-GottlobKP #complexity #evaluation #query #xpath: The complexity of XPath query evaluation (GG, CK, RP), pp. 179–190.
LICS-2002-GottlobK #monad #query: Monadic Queries over Tree-Structured Data (GG, CK), pp. 189–202.
PODS-2002-GottlobK #datalog #information management #monad #power of #web: Monadic Datalog and the Expressive Power of Languages for Web Information Extraction (GG, CK), pp. 17–28.
STOC-2002-EiterGM #generative: New results on monotone dualization and generating hypergraph transversals (TE, GG, KM), pp. 14–22.
VLDB-2002-GottlobKP #algorithm #performance #query #xpath: Efficient Algorithms for Processing XPath Queries (GG, CK, RP), pp. 95–106.
DLT-2001-EiterGS #higher-order #logic #string: Second-Order Logic over Strings: Regular and Non-regular Fragments (TE, GG, TS), pp. 37–56.
ICALP-2001-GottlobP #clique #model checking: Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width (GG, RP), pp. 708–719.
PODS-2001-GottlobLS #game studies #logic: Robbers, Marshals, and Guards: Game Theoretic and Logical Characterizations of Hypertree Width (GG, NL, FS).
VLDB-2001-BaumgartnerFG #information management #visual notation #web: Visual Web Information Extraction with Lixto (RB, SF, GG), pp. 119–128.
VLDB-2001-BaumgartnerFG01a #generative: Supervised Wrapper Generation with Lixto (RB, SF, GG), pp. 715–716.
ICALP-1999-GottlobLS: Computing LOGCFL Certificates (GG, NL, FS), pp. 361–371.
LICS-1999-GottlobP #complexity #modelling: Working with Arms: Complexity Results on Atomic Representations of Herbrand Models (GG, RP), pp. 306–315.
PODS-1999-GottlobLS #query: Hypertree Decompositions and Tractable Queries (GG, NL, FS), pp. 21–32.
LICS-1998-EiterGG #higher-order #logic #string: Existential Second-Order Logic over Strings (TE, GG, YG), pp. 16–27.
KR-1996-Gottlob #complexity #power of: Complexity and Expressive Power of KR Formalisms (GG), pp. 647–649.
LICS-1995-Gottlob #finite #quantifier: Relativized Logspace and Generalized Quantifiers over Finite Structures (GG), pp. 65–78.
ICLP-1994-DixGM #logic programming #modelling #source code: Causal Models of Disjunctive Logic Programs (JD, GG, VWM), pp. 290–302.
ILPS-1994-Gottlob #complexity #logic programming #power of: Complexity and Expressive Power of Disjunctive Logic Programming (GG), pp. 23–42.
KR-1994-CadoliEG #logic #query: Default Logic as a Query Language (MC, TE, GG), pp. 99–108.
PODS-1994-EiterGM #datalog: Adding Disjunction to Datalog (TE, GG, HM), pp. 267–278.
ILPS-1993-EiterG #complexity #logic #logic programming: Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics (TE, GG), pp. 266–278.
PODS-1993-EiterG #aspect-oriented #complexity #database #semantics: Complexity Aspects of Various Semantics for Disjunctive Databases (TE, GG), pp. 158–167.
PODS-1992-EiterG #complexity #knowledge base #on the: On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals (TE, GG), pp. 261–273.
CAiSE-1989-CacaceCCGLLTZ #database #named #prototype #relational #specification: ALGRES: An Extended Relational Database System for the Specification and Prototyping of Complex Applications (FC, SC, SCR, GG, GL, LL, LT, RVZ).
VLDB-1988-GottlobZ #database #null: Closed World Databases Opened Through Null Values (GG, RZ), pp. 50–61.
PODS-1987-Gottlob #dependence #embedded #functional: Computing Covers for Embedded Functional Dependencies (GG), pp. 58–69.
VLDB-1986-CeriGL #algebra #approach #logic #optimisation #query: Translation and Optimization of Logic Queries: The Algebraic Approach (SC, GG, LL), pp. 395–402.