Georg Gottlob

Q: What Schools Are Affiliated With Georg Gottlob

Georg Gottlob is affiliated with the following schools: TU Wien, University of Oxford, University of Vienna

Georg Gottlob's AcademicInfluence.com Rankings

Georg Gottlob

Computer Science

#1517

World Rank

#1571

Historical Rank

Programming

#44

World Rank

#46

Historical Rank

Artificial Intelligence

#356

World Rank

#363

Historical Rank

Database

#717

World Rank

#751

Historical Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Georg Gottlob Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Georg Gottlob FRS is an Austrian-Italian computer scientist who works in the areas of database theory, logic, and artificial intelligence and is Professor of Informatics at the University of Calabria. He was Professor at the University of Oxford.

(See a Problem?)

Georg Gottlob's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

The DLV system for knowledge representation and reasoning (2002) (1282)
Complexity and expressive power of logic programming (1997) (854)
What you Always Wanted to Know About Datalog (And Never Dared to Ask) (1989) (702)
Visual Web Information Extraction with Lixto (2001) (596)
A general datalog-based framework for tractable query answering over ontologies (2009) (555)
Disjunctive datalog (1997) (530)
The complexity of logic-based abduction (1993) (468)
Logic Programming and Databases (1990) (464)
Taming the Infinite Chase: Query Answering under Expressive Relational Constraints (2008) (463)
Efficient algorithms for processing XPath queries (2002) (450)
Identifying the Minimal Transversals of a Hypergraph and Related Problems (1995) (446)
Hypertree decompositions and tractable queries (1998) (443)
On the complexity of propositional knowledge base revision, updates, and counterfactuals (1992) (442)
A Comparison of Structural CSP Decomposition Methods (1999) (416)
Complexity Results for Nonmonotonic Logics (1992) (375)
Extending object-oriented systems with roles (1996) (345)
On the computational cost of disjunctive logic programming: Propositional case (1995) (321)
Theory and Practice of Logic Programming (2013) (252)
A General Datalog-Based Framework for Tractable Query Answering over Ontologies (extended abstract) (2012) (239)
Towards more expressive ontology languages: The query answering problem (2012) (231)
The complexity of acyclic conjunctive queries (1998) (226)
Pure Nash equilibria: hard and easy games (2003) (224)
Chapter 10 – Efficient Algorithms for Processing XPath Queries* (2002) (189)
Properties and update semantics of consistent views (1988) (180)
Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications (2010) (174)
Ontological queries: Rewriting and optimization (2011) (173)
Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete (1993) (171)
Width Parameters Beyond Tree-width and their Applications (2008) (170)
The complexity of XPath query evaluation (2003) (169)
New results on monotone dualization and generating hypergraph transversals (2002) (159)
The Lixto data extraction project: back and forth between theory and practice (2004) (156)
Computational aspects of monotone dualization: A brief survey (2008) (155)
Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width (2001) (150)
Datalog±: a unified approach to ontologies and integrity constraints (2009) (146)
Abduction from Logic Programs: Semantics and Complexity (1997) (143)
Querying the Guarded Fragment (2010) (142)
Monadic queries over tree-structured data (2002) (139)
Advanced processing for ontological queries (2010) (137)
Conjunctive queries over trees (2004) (136)
Hypergraph Transversal Computation and Related Problems in Logic and AI (2002) (131)
The INFOMIX system for advanced integration of incomplete and inconsistent data (2005) (125)
Monadic datalog and the expressive power of languages for Web information extraction (2002) (124)
Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries (1985) (124)
Bounded treewidth as a key to tractability of knowledge representation and reasoning (2006) (108)
The Vadalog System: Datalog-based Reasoning for Knowledge Graphs (2018) (108)
Fixed-parameter complexity in AI and nonmonotonic reasoning (1999) (107)
Default Logic as a Query Language (1997) (107)
Hypertree width and related hypergraph invariants (2007) (105)
Query Answering under Non-guarded Rules in Datalog+/- (2010) (105)
Enhancing Model Checking in Verification by AI Techniques (1999) (98)
Physical Impossibility Instead of Fault Models (1990) (97)
Reducing Disjunctive to Non-Disjunctive Semantics by Shift-Operations (1996) (97)
The DLV System (2002) (96)
Rewriting Ontological Queries into Small Nonrecursive Datalog Programs (2011) (96)
Monadic datalog and the expressive power of languages for web information extraction (2002) (96)
The price of query rewriting in ontology-based data access (2014) (95)
Subsumption and Implication (1987) (95)
Query Rewriting and Optimization for Ontological Databases (2014) (94)
Hypertree Decompositions: Structure, Algorithms, and Applications (2005) (92)
Fixed-Parameter Algorithms For Artificial Intelligence, Constraint Satisfaction and Database Problems (2007) (91)
The complexity of XPath query evaluation and XML typing (2005) (85)
Schema mapping discovery from data instances (2010) (85)
Datalog LITE: a deductive query language with linear time model checking (2002) (83)
Generalized hypertree decompositions: np-hardness and tractable variants (2007) (82)
OXPath: A language for scalable data extraction, automation, and crawling on the deep web (2013) (81)
Hypertree Decompositions: A Survey (2001) (80)
Closed World Databases Opened Through Null Values (1988) (80)
XPath query evaluation: improving time and space efficiency (2003) (78)
Efficient core computation in data exchange (2008) (77)
DIADEM: Thousands of Websites to a Single Database (2014) (76)
Propositional circumscription and extended closed-world reasoning are ΠP2-complete (1993) (75)
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics (1993) (75)
Semantic Web Search Based on Ontological Conjunctive Queries (2010) (73)
RDF Querying: Language Constructs and Evaluation Methods Compared (2006) (72)
Modular Logic Programming and Generalized Quantifiers (1997) (71)
On the efficiency of subsumption algorithms (1985) (71)
Translating default logic into standard autoepistemic logic (1995) (70)
Expressive Languages for Querying the Semantic Web (2018) (69)
Removing Redundancy from a Clause (1993) (69)
Investigations on Armstrong relations, dependency inference, and excluded functional dependencies (1990) (67)
Hypertree Decompositions: Questions and Answers (2016) (67)
NP trees and Carnap's modal logic (1993) (66)
Data Wrangling for Big Data: Challenges and Opportunities (2016) (66)
Hypothesis Classification, Abductive Diagnosis and Therapy (1990) (64)
Interfacing Relational Databases and Prolog Efficiently (1986) (64)
Declarative Information Extraction, Web Crawling, and Recursive Wrapping with Lixto (2001) (62)
Heuristic Methods for Hypertree Decomposition (2008) (62)
Adding disjunction to datalog (extended abstract) (1994) (62)
Query answering under probabilistic uncertainty in Datalog+ / − ontologies (2013) (61)
Query Answering in the Description Logic Horn-SHIQ ⋆ (2008) (59)
Size and treewidth bounds for conjunctive queries (2009) (59)
On Tractable Queries and Constraints (1999) (58)
The dlv System: Model Generator and Application Frontends (1997) (58)
Complexity of Propositional Knowledge Base Revision (1992) (58)
Data exchange: computing cores in polynomial time (2006) (55)
Web Scraping (2009) (55)
On the complexity of single-rule datalog queries (1999) (53)
Scalable Web Data Extraction for Online Market Intelligence (2009) (50)
DIADEM: domain-centric, intelligent, automated data extraction methodology (2012) (50)
Query Answering in the Description Logic Horn- (2008) (49)
Beyond SPARQL under OWL 2 QL Entailment Regime: Rules to the Rescue (2015) (49)
Expressiveness of guarded existential rule languages (2014) (49)
Translation and Optimization of Logic Queries: The Algebraic Approach (1986) (48)
Swift Logic for Big Data and Knowledge Graphs - Overview of Requirements, Language, and System (2017) (47)
Computing LOGCFL certificates (1999) (46)
Web Data Extraction System (2009) (46)
Normalization of relations and PROLOG (1986) (46)
Computing cores for data exchange: new algorithms and practical solutions (2005) (45)
On minimal constraint networks (2011) (45)
Optimization Methods for the Partner Units Problem (2011) (45)
The VADA Architecture for Cost-Effective Data Wrangling (2017) (44)
A backtracking-based algorithm for hypertree decomposition (2007) (44)
Formalizing the repair process (1992) (44)
Web Data Extraction for Business Intelligence: The Lixto Approach (2005) (44)
Semantics of Object-Oriented Data Models - The Evolving Algebra Approach (1990) (44)
The Elog Web Extraction Language (2001) (44)
Normalization and optimization of schema mappings (2009) (42)
Generalized hypertree decompositions: NP-hardness and tractable variants (2009) (42)
Semantics and Complexity of Abduction from Default Theories (1995) (41)
Relativized logspace and generalized quantifiers over finite ordered structures (1997) (40)
Foundations of Rule-Based Query Answering (2007) (40)
The Power of Beliefs or Translating Default Logic into Standard Autoepistemic Logic (1993) (39)
Hypergraphs in Model Checking: Acyclicity and Hypertree-Width versus Clique-Width (2001) (39)
Complexity aspects of various semantics for disjunctive databases (1993) (38)
Succinctness as a Source of Complexity in Logical Formalisms (1999) (38)
XPath processing in a nutshell (2003) (38)
Well-founded semantics for extended datalog and ontological reasoning (2013) (37)
Knowledge Graphs and Enterprise AI: The Promise of an Enabling Technology (2019) (36)
Computing covers for embedded functional dependencies (1987) (36)
General and Fractional Hypertree Decompositions: Hard and Easy Cases (2016) (36)
New Expressive Languages for Ontological Query Answering (2011) (35)
Reasoning with parsimonious and moderately grounded expansions (1992) (35)
Existential second-order logic over graphs: charting the tractability frontier (2000) (34)
OXPath: A Language for Scalable, Memory-efficient Data Extraction from Web Applications (2011) (34)
A logical approach to multicut problems (2007) (34)
Treewidth and Hypertree Width (2014) (34)
Second Order Logic and the Weak Exponential Hierarchies (1995) (33)
Chase Termination for Guarded Existential Rules (2015) (33)
Tractable Optimization Problems through Hypergraph-Based Structural Restrictions (2009) (33)
Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity (2014) (33)
Monadic datalog over finite structures with bounded treewidth (2007) (32)
A Non-Ground Realization of the Stable and Well-Founded Semantics (1996) (32)
Conditional Constraint Satisfaction: Logical Foundations and Complexity (2007) (30)
Reasoning Web. Semantic Technologies for Intelligent Data Access (2013) (30)
On ACTL Formulas Having Linear Counterexamples (2001) (30)
An Efficient Method for Eliminating Varying Predicates from a Circumscription (1992) (30)
On the complexity of some inductive logic programming problems (1997) (29)
Tractable database design through bounded treewidth (2006) (29)
Tractable Query Answering over Conceptual Schemata (2009) (29)
Robust Constraint Satisfaction and Local Hidden Variables in Quantum Mechanics (2013) (29)
The Complexity Class Theta2p: Recent Results and Applications in AI and Modal Logic (1997) (28)
Efficient Database Access from Prolog (1989) (28)
Determining relevance of accesses at runtime (2011) (28)
Ontological query answering under expressive Entity-Relationship schemata (2012) (28)
OPAL: automated form understanding for the deep web (2012) (28)
Polynomial Combined Rewritings for Existential Rules (2014) (28)
Working with arms: Complexity results on atomic representations of Herbrand models (1999) (27)
Supervised Wrapper Generation with Lixto (2001) (27)
On the Complexity of Ontological Reasoning under Disjunctive Existential Rules (2012) (27)
On the complexity of combinatorial auctions: structured item graphs and hypertree decomposition (2007) (27)
The Complexity of Nested Counterfactuals and Iterated Knowledge Base Revisions (1993) (27)
InfoPipes: A Flexible Framework for M-Commerce Applications (2001) (27)
The ontological key: automatically understanding and integrating forms to access the deep Web (2012) (27)
Complexity and Expressive Power of Disjunctive Logic Programming (1994) (26)
Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions (1997) (26)
Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information (1993) (26)
Datalog+/-: A Family of Languages for Ontology Querying (2010) (26)
Existential second-order logic over strings (1998) (26)
The PARK Semantics for Active Rules (1996) (25)
Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems (1996) (25)
Combining Semantic Web Search with the Power of Inductive Reasoning (2009) (25)
Query Rewriting under Non-Guarded Rules (2010) (25)
Multiagent Compromises, Joint Fixpoints, and Stable Models (2002) (25)
Database Theory — ICDT '95 (1995) (24)
The Space-Efficient Core of Vadalog (2018) (24)
Querying the Guarded Fragment with Transitivity (2013) (23)
Combining hypertree, bicomp, and hinge decomposition (2002) (23)
Polynomial Rewritings for Linear Existential Rules (2015) (23)
The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions (2005) (23)
HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings (2018) (23)
Datalog and Its Extensions for Semantic Web Databases (2012) (23)
The Lixto Systems Applications in Business Intelligence and Semantic Web (2007) (23)
Combining decidability paradigms for existential rules (2013) (23)
Data Wrangling for Big Data: Towards a Lingua Franca for Data Wrangling (2016) (22)
Interactively adding Web service interfaces to existing Web applications (2004) (22)
Tractable database design and datalog abduction through bounded treewidth (2010) (22)
The Complexity of Default Reasoning under the Stationary Fixed Point Semantics (1995) (22)
The Personal Publication Reader (2005) (22)
Edinburgh Research Explorer Swift Logic for Big Data and Knowledge Graphs (2018) (21)
Logic-based web information extraction (2004) (21)
Vadalog: A modern architecture for automated reasoning with large knowledge graphs (2020) (21)
Query Answering under Expressive Entity-Relationship Schemata (2010) (21)
Achieving new upper bounds for the hypergraph duality problem through logic (2014) (21)
Expressive languages for querying the semantic web (2014) (21)
Ontology-based semantic search on the Web and its combination with the power of inductive reasoning (2012) (21)
Decomposing combinatorial auctions and set packing problems (2013) (20)
Conjunctive Query Answering in Probabilistic Datalog+/- Ontologies (2011) (20)
Tractable Query Answering over Ontologies with Datalog+/- (2009) (20)
Ontological Query Answering via Rewriting (2011) (20)
Cumulative Default Logic: Finite Characterization, Algorithms, and Complexity (1994) (20)
Relativized logspace and generalized quantifiers over finite structures (1995) (19)
Distributed XML design (2009) (19)
Real understanding of real estate forms (2011) (19)
Semantic Acyclicity Under Constraints (2016) (18)
The dlv System: Model Generator and Advanced Frontends (system description) (1997) (18)
Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics (1994) (18)
The impact of virtual views on containment (2010) (18)
Monadic datalog over finite structures of bounded treewidth (2010) (17)
Well-Founded Semantics for Default Logic (1997) (17)
Datalog+/-: Questions and Answers (2014) (17)
Ontological Queries: Rewriting and Optimization (Extended Version) (2011) (17)
A CSP Hypergraph Library (2006) (17)
Uniform Constraint Satisfaction Problems and Database Theory (2008) (17)
Capturing Relativized Complexity Classes without Order (1998) (16)
Equality-Friendly Well-Founded Semantics and Applications to Description Logics (2012) (16)
Tackling the Partner Units Configuration Problem (2011) (16)
Structural Decomposition Methods and What They are Good For (2011) (16)
SOFSEM 2012: Theory and Practice of Computer Science (2012) (16)
VADA: an architecture for end user informed data preparation (2019) (15)
Little Knowledge Rules the Web: Domain-Centric Result Page Extraction (2011) (15)
On the complexity of deriving schema mappings from database instances (2008) (15)
Fast Subsumption Algorithms (1985) (15)
The Lixto Project: Exploring New Frontiers of Web Data Extraction (2006) (15)
Boosting Information Integration: The INFOMIX System (2005) (15)
Complexity of Pure Equilibria in Bayesian Games (2007) (15)
Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation (2008) (14)
Investigations on Armstrong Relations (1990) (14)
Datalog Extensions for Tractable Query Answering over Ontologies (2009) (14)
On the Size of Nonredundant FD-Covers (1987) (14)
Causal Models of Disjunctive Logic Programs (1994) (14)
Hypergraph Transversals (2004) (14)
Browserless Web Data Extraction: Challenges and Opportunities (2018) (13)
Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques (1990) (13)
A logical toolbox for ontological reasoning (2011) (13)
Visual Programming of Web Data Aggregation Applications (2003) (13)
Querying UML Class Diagrams (2012) (12)
Deciding monotone duality and identifying frequent itemsets in quadratic logspace (2012) (12)
A Backtracking-Based Algorithm for Computing Hypertree-Decompositions (2007) (12)
Efficient Datalog Abduction through Bounded Treewidth (2007) (11)
Linear time datalog and branching time logic (2000) (11)
On the Interaction between Transitive Closure and Functional Dependencies (1989) (10)
Expert Systems in Engineering Principles and Applications (1990) (10)
Information Extraction for the Semantic Web (2005) (10)
Generalized Quantifiers in Logic Programs (1997) (10)
The Algres Project (1988) (10)
Complexity Analysis of Generalized and Fractional Hypertree Decompositions (2020) (10)
Inductive reasoning and semantic web search (2010) (10)
Service Marts (2009) (10)
Note on the Complexity of Some Eigenvector Problems (1995) (9)
Complexity of propositional nested circumscription and nested abnormality theories (2005) (9)
Datalog: Bag Semantics via Set Semantics (2018) (9)
Querying Conceptual Schemata with Expressive Equality Constraints (2011) (9)
Answering Threshold Queries in Probabilistic Datalog+/- Ontologies (2011) (9)
AMBER: Automatic Supervision for Multi-Attribute Extraction (2012) (9)
Vadalog: Recent Advances and Applications (2019) (9)
Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems (2020) (9)
Advanced Parallel Algorithms far Processing Acyclic Conjunctive Queries, Rules, and Constraints, (2000) (8)
How the Minotaur Turned into Ariadne: Ontologies in Web Data Extraction (2011) (8)
Optimizing Joins between Two Partitioned Relations in Distributed Databases (1986) (8)
Web Data Extraction for Service Creation (2009) (8)
Taxonomy and formal properties of distributed joins (1986) (8)
On the Interaction of Existential Rules and Equality Constraints in Ontology Querying (2012) (8)
Second-Order Logic over Strings: Regular and Non-regular Fragments (2001) (8)
Ontological Reasoning with F-logic Lite and its Extensions (2010) (8)
IJCAI-03, Proceedings of the Eighteenth International Joint Conference on Artificial Intelligence, Acapulco, Mexico, August 9-15, 2003 (2003) (7)
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2005) (7)
Datalog LITE: Temporal versus deductive reasoning in verification (1998) (7)
HyperConsistency Width for Constraint Satisfaction: Algorithms and Complexity Results (2009) (7)
Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability (2015) (7)
Introducing LoCo, a Logic for Configuration Problems (2011) (7)
Data Science with Vadalog: Bridging Machine Learning and Reasoning (2018) (7)
Taming the Infinite Chase: Query Answering under Expressive Integrity Constraints (2012) (7)
Semantic Optimization of Conjunctive Queries (2020) (7)
Logic Programming and Databases: An Overview (1990) (7)
Collapsing oracle-tape hierarchies (1996) (7)
On the Indiscernibility of Individuals in Logic Programming (1997) (7)
Wormholes of Communication: Interfacing Virtual Worlds and the Real World (2009) (6)
Tractability frontiers of the partner units configuration problem (2016) (6)
Fast and parallel decomposition of constraint satisfaction problems (2020) (6)
Web information acquisition with Lixto Suite: a demonstration (2003) (6)
On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases (1999) (6)
Towards a Theory of the Repair Process (1991) (6)
Propositional default logics made easier: computational complexity of model checking (2002) (6)
A Formal Comparison of Visual Web Wrapper Generators (2003) (6)
Complexity Results for Abductive Logic Programming (1995) (6)
Formalizing the repair process — extended report (1994) (5)
On the Complexity of Theory Curbing (2000) (5)
Tree Projections and Constraint Optimization Problems: Fixed-Parameter Tractability and Parallel Algorithms (2017) (5)
Balanced Queries: Divide and Conquer (2010) (5)
Integrating Semi-structured Data into Business Applications: A Web Intelligence Example (2005) (5)
The Model Checking Problem for Prefix Classes of Second-Order Logic: A Survey (2010) (5)
Finite Model Reasoning in Hybrid Classes of Existential Rules (2018) (4)
W3C XML Path Language (2009) (4)
Datalog: A self-contained tutorial (Part 2) (1992) (4)
Web Information Acquisition with Lixto Suite (2003) (4)
OXPath: little language, little memory, great value (2011) (4)
RED: Redundancy-Driven Data Extraction from Result Pages? (2019) (4)
Data science with Vadalog: Knowledge Graphs with machine learning and reasoning in practice (2021) (4)
Computational Logic and Proof Theory (1997) (4)
Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract) (1996) (4)
Consistency Checking of Re-engineered UML Class Diagrams via Datalog+/- (2015) (4)
Data Integration: a Challenging ASP Application (2005) (4)
Linear Time Datalog for Branching Time Logic (3)
Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science (2012) (3)
Monadic Datalog, Tree Validity, and Limited Access Containment (2019) (3)
On the expressiveness of frame satisfiability and fragments of second-order logic (1998) (3)
Alternation as a programming paradigm (2009) (3)
The Vadalog System: Swift Logic for Big Data and Enterprise Knowledge Graphs (2018) (3)
Selective Inheritance of Attribute Values in Relational Databases (1992) (3)
The Evolving Algebra Semantics of Class and Role Hierarchies (1995) (3)
Complexity of Nested Circumscription and Abnormality Theories (2001) (3)
How to Write the Introduction (2020) (3)
Syntax and Semantics of Datalog (1990) (3)
Distributed Company Control in Company Shareholding Graphs (2021) (3)
Magic Semi-Joins (1989) (3)
Query Based Learning of XPath Fragments (Extended Abstract) (2005) (3)
Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, KR 2014, Vienna, Austria, July 20-24, 2014 (2014) (3)
Forms form Patterns : Reusable Form Understanding ∗ (2012) (3)
HyperBench (2021) (3)
Semantic Web Search and Inductive Reasoning (2013) (3)
Non-Uniformly Terminating Chase: Size and Complexity (2022) (3)
Working with ARMs (2001) (3)
Taking the OXPath down the deep web (2011) (3)
Enhancing Symbolic Model Checking by Ai Techniques Justus-liebig- Universit at Gieeen Enhancing Symbolic Model Checking by Ai Techniques (1997) (3)
Remarks on a Carnapian Extension of S5 (1999) (3)
Complexity results for some eigenvector problems (2000) (3)
Multi-head Guarded Existential Rules Over Fixed Signatures (2020) (3)
Semantic Web Information Management − A Model−Based Perspective (2009) (3)
Institut F ¨ Ur Informationssysteme Arbeitsbereich Wissensbasierte Systeme from Web Search to Semantic Web Search (2008) (2)
On complexity of the acyclic hypergraph sandwich problem a (2006) (2)
Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - CORRIGENDUM (2015) (2)
Hypertree Decompositions and Tractable Queries 1 (2002) (2)
Feature Engineering and Explainability with Vadalog: A Recommender Systems Application (2019) (2)
Tree Projections: Game Characterization and Computational Aspects (2009) (2)
A front row seat to Communications' editorial transformation (2014) (2)
COMBINING ABDUCTION AND MODEL CHECKING TECHNIQUES FOR REPAIR OF CONCURRENT PROGRAMS (EXTENDED ABSTRACT) (1998) (2)
MV-Datalog+-: Effective Rule-based Reasoning with Uncertain Observations (2022) (2)
Fractional Covers of Hypergraphs with Bounded Multi-Intersection (2020) (2)
Computational Logic and Proof Theory 5th Kurt Gödel Colloquium, Kgc '97, Vienna, Austria, August 25-29, 1997 : Proceedings' (1997) (2)
The Return of the Entity-Relationship Model: Ontological Query Answering (2012) (2)
Computer Science & Problem Solving: New Foundations (Dagstuhl Seminar 11351) (2011) (2)
Approximating the Stable Model Semantics is Hard (1996) (2)
Institut F ¨ Ur Informationssysteme Arbeitsbereich Wissensbasierte Systeme from Web Search to Semantic Web Search (2008) (2)
Recent Advances in Datalog ^\pm (2015) (2)
The Impact of Active Domain Predicates on Guarded Existential Rules (2016) (2)
XPath Query Processing (2003) (2)
Generalized Quanti ers in Logic Programs ? (1997) (2)
ALGRES: An Extended Relational Database System for the Specification and Prototyping of Complex Applications (1989) (2)
From Carnap's Modal Logic to Autoepistemic Logic (1994) (2)
Proceedings of the Third Kurt Gödel Colloquium on Computational Logic and Proof Theory (1993) (2)
Conjunctive queries over trees (2004) (2)
Rule Technologies: Foundations, Tools, and Applications (2015) (2)
Vadalog: A Language and System for Knowledge Graphs (2018) (1)
Classification of Optimization Methods for Datalog (1990) (1)
Combinatorial auctions with tractable winner determination (2007) (1)
The Lixto Wrapper Generation Tool (2001) (1)
Preface of the Special Issue in Memoriam Helmut Veith (2017) (1)
Existential Second-order Logic over Strings Existential Second-order Logic over Strings – Modified March 1998 – (1997) (1)
Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data (2017) (1)
Datalog-based Reasoning for Knowledge Graphs (2019) (1)
Advances in Databases and Information Systems, 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Local Proceeding (2004) (1)
Complexity Results for Logic-Based Abduction (1992) (1)
Computational Logic and Proof Theory: Third Kurt Godel Colloquium, Kgc'93, Brno, Czech Republic, August 24-27, 1993 Proceedings (1993) (1)
Semantic Width Revisited (Extended Abstract) (2019) (1)
Determining Relevance of Accesses at Runtime (Extended Version) (2011) (1)
Complexity of Nested Circumscription and Nested Abnormality Theories (2002) (1)
On the Complexity of Clause Condensing (1991) (1)
Annotating the Legacy Web with Lixto (2004) (1)
Proceedings of the International Workshop on Expert Systems in Engineering, Principles and Applications (1990) (1)
Functional Semantic Analysis of Web Pages on the Visual Layer (2008) (1)
The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions (2020) (1)
Towards a Compact Knowledge Representationby (1998) (1)
Semantic Width of Conjunctive Queries and Constraint Satisfaction Problems (2018) (1)
Second-Order Logic over Finite Structures - Report on a Research Programme (2004) (1)
Disjunctive Logic Programming over Finite Structures (1994) (1)
Report on the ASHCOMP 96 school and workshop on approximate solutions of hard combinatorial problems (1997) (1)
Democratizing Financial Knowledge Graph Construction by Mining Massive Brokerage Research Reports (2022) (1)
Reasoning under minimal upper bounds in propositional logic (2006) (1)
Computer Science Logic: 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings (1999) (1)
Proceedings of the international workshop on Expert systems in engineering : Principles and applications: Principles and applications (1990) (1)
Non-ground stable and well-founded semantics (1994) (1)
Explorer Chase Termination for Guarded Existential Rules (2017) (1)
Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic (2005) (1)
Edinburgh Research Explorer Computational Adequacy in an Elementary Topos (2007) (1)
Tractable Reasoning in Description Logics with Functionality Constraints (2013) (1)
Big Data: 29th British National Conference on databases, BNCOD 2013, Oxford, UK, July 8-10, 2013. Proceedings (2013) (1)
Rule Learning over Knowledge Graphs with Genetic Logic Programming (2022) (1)
Exploring the web with OXPath (2011) (1)
Query answering under probabilistic uncertainty in Datalog+ / − ontologies (2013) (1)
DIADEM: Domains to Databases (2012) (1)
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015 (2015) (1)
Fast Parallel Hypertree Decompositions in Logarithmic Recursion Depth (2021) (1)
Expert systems in engineering : principles and applications : international workshop, Vienna, Austria, September 24-26, 1990, proceedings (1990) (1)
Overview of Research Prototypes for Integrating Relational Databases and Logic Programming (1990) (1)
A multiple answer Prolog system for decomposing a data base into Boyce-Codd normal form (1988) (0)
Computer Science Logic (1998) (0)
Title, Foreword, Calls for Articles (1993) (0)
NICOLA LEONE and GERALD PFEIFER and WOLFGANG FABER and THOMAS EITER and GEORG GOTTLOB and SIMONA PERRI and FRANCESCO SCARCELLO (2008) (0)
Proceedings of the 5th International Conference on Database Theory (1995) (0)
ON PERFECT INTROSPECTIONWITH QUANTIFYING-IN (2021) (0)
Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations (2015) (0)
New Perspectives for Fuzzy Datalog (Extended Abstract) (2022) (0)
Visual Data Extraction Through Visual Logic Programming (2002) (0)
Datalog: a tutorial (1991) (0)
Guarded Ontology-Mediated Queries (2021) (0)
Wrapper Stability (2009) (0)
Reasoning Web. Semantic Interoperability on the Web (2017) (0)
Self-stabilization by Tree Correction (info) Self-stabilization by Tree Correction (info) Self-stabilization by Tree Correction (1995) (0)
Querying the Semantic Web via Rules (2020) (0)
5 Outlook and Comparison with Related Work 5.1 Non-uniform Case (1999) (0)
Report on PODS 2000 (2000) (0)
D B ] 2 5 Ju l 2 01 8 Datalog : Bag Semantics via Set Semantics (2018) (0)
OXPath (2011) (0)
Wide-Area Data Replication (2009) (0)
Work Element (2009) (0)
W3C XML Query Language (2009) (0)
Tractable Query Answering over Conceptual Schemata (Extended Abstract) (2010) (0)
Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015 (2015) (0)
Joining Fragmented Relations in Distributed Databases (1983) (0)
Extensions of Pure Datalog (1990) (0)
1 Derivation-Tree Bag ( DTB ) Semantics for Datalog and Datalog (2019) (0)
Advances in Databases and Information Systems: 8th East European Conference, ADBIS 2004, Budapest, Hungary, September 22-25, 2004, Proceedings (Lecture Notes in Computer Science) (2004) (0)
Formaiizing the Repair Process (1992) (0)
AMBER: a domain-aware template based system for data extraction (2015) (0)
Archangel&y, DA, Dekhtyar, MI and Taitslin, MA, Linear logic for (1996) (0)
Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology (1992) (0)
The ATOM Middleware for Massively Parallel Multi-Player Online Games (2003) (0)
Edinburgh Research Explorer Chase Termination for Guarded Existential Rules (2015) (0)
Structure-Guided Query Evaluation: Towards Bridging the Gap from Theory to Practice (2023) (0)
An Evolutionary Algorithm for Rule Learning over Knowledge Graphs (2020) (0)
Proceedings of the First international conference on Datalog Reloaded (2010) (0)
Normalization and Optimization of Schema Mappings ∗ DBAI-TR-2011-69 (2009) (0)
Database theory -- ICDT '95 : 5th International Conference, Prague, Czech Republic, January 11-13, 1995 : proceedings (1995) (0)
Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, Panama City, Panama, May 8-10, 2016 (2016) (0)
Max-planck-institut F Ur Informatik Complexity of Nonrecursive Logic Programs with Complex Values K I N F O R M a T I K We Thank (1997) (0)
Proceedings of the 29th British National conference on Big Data (2013) (0)
Dyadic Existential Rules (2022) (0)
Pspace-hard Functions Checkable Debate Systems and Approximation Algorithms for Pspace (2007) (0)
Mining for New Knowledge in Big Data (2017) (0)
Proceedings of the 12th International Workshop on Computer Science Logic (1998) (0)
Dagstuhl Workshop on Finite Model Theory, Databases, and Computer Aided Verification (2008) (0)
Ontology-based semantic search on the Web and its combination with the power of inductive reasoning (2012) (0)
XPath processing in a nutshell (2003) (0)
Advances in Databases and Information Systems (2004) (0)
The ontological key: automatically understanding and integrating forms to access the deep Web (2013) (0)
OXPath: A language for scalable data extraction, automation, and crawling on the deep web (2012) (0)
Conceptual Model Database Schema Matching (2015) (0)
Hybrid tractability of constraint satisfaction problems with global constraints (2013) (0)
ON ACTL FORMULAS HAVING DETERMINISTIC COUNTEREXAMPLES (2007) (0)
Exploiting parallelism in decomposition methods for constraint satisfaction (2010) (0)
Overview of Systems for Coupling Prolog to Relational Databases (1990) (0)
COMPLEXITY OF NESTED CIRCUMSCRIPTION AND (2002) (0)
Combining decidability paradigms for existential rules published in Theory and Practice of Logic Programming (2013) (0)
Invited Talks (2014) (0)
Incremental Updates of Generalized Hypertree Decompositions (2022) (0)
UvA-DARE (Digital Academic Repository) Opening the black box of perceived quality: Predicting endorsement on a blog site (2019) (0)
Belegradek, OV, Stolhoushkin, AP and Taitslin, MA (1999) (0)
A Datalog-Based Language for Querying RDF Graphs (2016) (0)
Datalog + /-: A New Family of Languages for Ontology Querying (2010) (0)
Schema Matching and Automatic Web Data Extraction (2006) (0)
Web Application Server (2009) (0)
The OXPath to Success in the Deep Web (2011) (0)
Foreword from the PC Chairs (2007) (0)
Computer Science Logic: 12th International Workshop, CSL '98, Brno, Czech Republic, August 1998, Proceedings' (2001) (0)
Advances in Database Technology - EDBT '92: 3rd International Conference on Extending Database Technology, Vienna, Austria, March 23-27, 1992. Proceedings (1992) (0)
On the Complexity of Inductively Learning Guarded Rules (2021) (0)
Marco Cadoli's work on nonmonotonic reasoning (2013) (0)
Parallel Computation of Generalized Hypertree Decompositions (2019) (0)
DR AF T On the Complexity of the Match Operator in Data Exchange (2009) (0)
Session details: Data exchange (2008) (0)
The Space-Efficient Core of Vadalog (2022) (0)
Finite Model Theory, Databases, and Computer-Aided Verification (Dagstuhl Seminar 99401) (2021) (0)
Computing LOGCFL certi # cates (2001) (0)
Panel on "Past and Future of Computer Science Theory" (Discussion Paper) (2021) (0)
Extending Object-oriented Systems with Roles Extending Object-oriented Systems with Roles (1994) (0)
A Review of Relational Databases and Prolog (1990) (0)
Proof Theory and Evaluation Paradigms of Datalog (1990) (0)
On the Complexity of Inductively Learning Guarded Clauses (2022) (0)
Adventures with Datalog: Walking the Thin Line Between Theory and Practice (2022) (0)
CompeGen: Computing Company Competitor Pairs By Knowledge Based Inference Combined With Empirical Validation (2022) (0)
Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (Invited Talk Abstract) (1993) (0)
Prolog as a Query Language (1990) (0)
Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, May 15-17, 2000, Dallas, Texas, USA (1999) (0)
The ICDT 2016 Test of Time Award Announcement (2016) (0)
VADA: an architecture for end user informed data preparation (2019) (0)
Coupling Prolog Systems to Relational Databases (1990) (0)
Polynomial Combined First-Order Rewritings for Linear and Guarded Existential Rules (2023) (0)
Web Content Extraction (2009) (0)
Further Tractability Results for Fractional Hypertree Width (2017) (0)
2020 ACM PODS Alberto O. Mendelzon Test-of-Time Award (2020) (0)
Implementation of a Distributed File System on a Geographic Network of Personal Computers (1984) (0)
Weakly Growing Context-sensitive Grammars Chicago Journal of Theoretical Computer Science (1996) (0)
Edinburgh Research Explorer Semantic Acyclicity Under Constraints (2017) (0)
2nd International Workshop on Complexity in Automated Deduction (CiAD) - Foreword (2004) (0)
Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, Buenos Aires, Argentina, May 17-20, 2010 (2010) (0)
Preface of the Special Issue in Memoriam Helmut Veith (2017) (0)

This paper list is powered by the following services:

Other Resources About Georg Gottlob

What Schools Are Affiliated With Georg Gottlob?

Georg Gottlob is affiliated with the following schools:

Georg Gottlob's Academic­Influence.com Rankings

Why Is Georg Gottlob Influential?

Georg Gottlob's Published Works

Published Works

Other Resources About Georg Gottlob

What Schools Are Affiliated With Georg Gottlob?

Image Attributions

Georg Gottlob's AcademicInfluence.com Rankings