Georg Gottlob
Orcid: 0000-0002-2353-5230Affiliations:
- University of Oxford, Department of Computer Science
- TU Vienna, Faculty of Informatics
According to our database1,
Georg Gottlob
authored at least 372 papers
between 1983 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2007, "For contributions to the theory of artificial intelligence and database systems.".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on scopus.com
-
on viaf.org
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on cs.ox.ac.uk
-
on isni.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
ACM Trans. Database Syst., March, 2024
Selective Forgetting: Advancing Machine Unlearning Techniques and Evaluation in Language Models.
CoRR, 2024
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024
2023
Theor. Comput. Sci., November, 2023
Artif. Intell., August, 2023
Proc. VLDB Endow., 2023
When Automatic Filtering Comes to the Rescue: Pre-Computing Company Competitor Pairs in Owler.
Proc. ACM Manag. Data, 2023
SparqLog: A System for Efficient Evaluation of SPARQL 1.1 Queries via Datalog [Experiment, Analysis and Benchmark].
CoRR, 2023
CoRR, 2023
MV-Datalog+/-: Effective Rule-based Reasoning with Uncertain Observations (Extended Abstract).
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
Reaching Back to Move Forward: Using Old Ideas to Achieve a New Level of Query Optimization (short paper).
Proceedings of the 15th Alberto Mendelzon International Workshop on Foundations of Data Management (AMW 2023), 2023
2022
ACM J. Exp. Algorithmics, December, 2022
Theory Pract. Log. Program., 2022
Inf. Syst., 2022
Data science with Vadalog: Knowledge Graphs with machine learning and reasoning in practice.
Future Gener. Comput. Syst., 2022
Constraints An Int. J., 2022
Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022
Proceedings of the 38th IEEE International Conference on Data Engineering, 2022
Democratizing Financial Knowledge Graph Construction by Mining Massive Brokerage Research Reports.
Proceedings of the Workshops of the EDBT/ICDT 2022 Joint Conference, 2022
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022
CompeGen: Computing Company Competitor Pairs By Knowledge Based Inference Combined With Empirical Validation.
Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), 2022
Proceedings of the AIxIA 2022 - Advances in Artificial Intelligence, 2022
Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022
2021
ACM J. Exp. Algorithmics, 2021
J. ACM, 2021
Stable Model Semantics for Guarded Existential Rules and Description Logics: Decidability and Complexity.
J. ACM, 2021
Proceedings of the 29th Italian Symposium on Advanced Database Systems, 2021
Proceedings of the 37th IEEE International Conference on Data Engineering, 2021
2020
Proceedings of the Applications and Practices in Ontology Design, 2020
ACM Trans. Comput. Log., 2020
Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Semantic Width and the Fixed-Parameter Tractability of Constraint Satisfaction Problems.
Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, 2020
Proceedings of the International Workshop on Knowledge Representation and Representation Learning co-located with the 24th European Conference on Artificial Intelligence (ECAI 2020), 2020
The HyperTrac Project: Recent Progress and Future Research Directions on Hypergraph Decompositions.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020
2019
Proceedings of the World Wide Web Conference, 2019
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019
Proceedings of the 22nd International Conference on Database Theory, 2019
Proceedings of the 35th IEEE International Conference on Data Engineering, 2019
Feature Engineering and Explainability with Vadalog: A Recommender Systems Application.
Proceedings of the Datalog 2.0 2019, 2019
Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, 2019
Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, 2019
Proceedings of the 13th Alberto Mendelzon International Workshop on Foundations of Data Management, 2019
2018
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018
SIAM J. Comput., 2018
Proc. VLDB Endow., 2018
Tree projections and constraint optimization problems: Fixed-parameter tractability and parallel algorithms.
J. Comput. Syst. Sci., 2018
Fundam. Informaticae, 2018
CoRR, 2018
Proceedings of the 2018 World Wide Web Conference on World Wide Web, 2018
Swift Logic for Big Data and Knowledge Graphs - Overview of Requirements, Language, and System.
Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018
Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2018
Proceedings of the Model and Data Engineering - 8th International Conference, 2018
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018
General and Fractional Hypertree Decompositions: Hard and Easy Cases (extended abstract).
Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018
Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018
2017
Formal Methods Syst. Des., 2017
Proceedings of the 2017 ACM International Conference on Management of Data, 2017
Proceedings of the Language and Automata Theory and Applications, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
2016
Combining decidability paradigms for existential rules. Theory and Practice of Logic Programming - Corrigendum.
Theory Pract. Log. Program., 2016
J. Comput. Syst. Sci., 2016
Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016
Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016
Proceedings of the 19th International Conference on Database Theory, 2016
Proceedings of the 19th International Conference on Extending Database Technology, 2016
Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, 2016
Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, 2016
2015
Proceedings of the Reasoning Web. Web Logic Rules - 11th International Summer School 2015, Berlin, Germany, July 31, 2015
Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015
Function Symbols in Tuple-Generating Dependencies: Expressive Power and Computability.
Proceedings of the 34th ACM Symposium on Principles of Database Systems, 2015
Proceedings of the 34th ACM Symposium on Principles of Database Systems, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Polynomial Combined Rewritings for Linear Existential Rules and DL-Lite with n-ary Relations.
Proceedings of the 28th International Workshop on Description Logics, 2015
2014
ACM Trans. Database Syst., 2014
Commun. ACM, 2014
Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the Tractability: Practical Approaches to Hard Problems, 2014
2013
OXPath: A language for scalable data extraction, automation, and crawling on the deep web.
VLDB J., 2013
The ontological key: automatically understanding and integrating forms to access the deep Web.
VLDB J., 2013
Theory Pract. Log. Program., 2013
J. Artif. Intell. Res., 2013
Ann. Math. Artif. Intell., 2013
Proceedings of the Uncertainty Reasoning for the Semantic Web II, 2013
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013
Proceedings of the IJCAI 2013, 2013
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013
Proceedings of the In Search of Elegance in the Theory and Practice of Computation, 2013
2012
J. Web Semant., 2012
Inf. Syst., 2012
CoRR, 2012
Ontology-based semantic search on the Web and its combination with the power of inductive reasoning.
Ann. Math. Artif. Intell., 2012
Artif. Intell., 2012
Proceedings of the 21st World Wide Web Conference 2012, 2012
Proceedings of the 21st World Wide Web Conference, 2012
Proceedings of the Second International Workshop on Searching and Integrating New Web Data Sources, 2012
Proceedings of the Reasoning Web. Semantic Technologies for Advanced Query Answering, 2012
Proceedings of the Mathematical Foundations of Computer Science 2012, 2012
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Proceedings of the Foundations of Software Science and Computational Structures, 2012
Proceedings of the Database and Expert Systems Applications, 2012
On the Interaction of Existential Rules and Equality Constraints in Ontology Querying.
Proceedings of the Correct Reasoning, 2012
Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012
Proceedings of the Semantic Search over the Web, 2012
2011
OXPath: A Language for Scalable, Memory-efficient Data Extraction from Web Applications.
Proc. VLDB Endow., 2011
Dagstuhl Reports, 2011
Proceedings of the Proceedings Second Workshop on Logics for Component Configuration, 2011
Proceedings of the 20th International Conference on World Wide Web, 2011
Proceedings of the International Conference on Web Intelligence, Mining and Semantics, 2011
Proceedings of the Scalable Uncertainty Management - 5th International Conference, 2011
Proceedings of the 28th International Symposium on Theoretical Aspects of Computer Science, 2011
Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011
Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011
Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2011
Proceedings of the IJCAI 2011, 2011
Proceedings of the Web Engineering - 11th International Conference, 2011
Proceedings of the 27th International Conference on Data Engineering, 2011
Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011
Proceedings of the 2011 EDBT/ICDT Workshop on Linked Web Data Management, 2011
Proceedings of the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 2011
Proceedings of the Advances in Databases and Information Systems, 2011
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
2010
ACM Trans. Comput. Log., 2010
Inf. Syst., 2010
Bounded treewidth as a key to tractability of knowledge representation and reasoning.
Artif. Intell., 2010
Tractable Query Answering over Conceptual Schemata (Extended Abstract).
Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010
Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), 2010
Proceedings of the Web Reasoning and Rule Systems - Fourth International Conference, 2010
Proceedings of the Mathematical Foundations of Computer Science 2010, 2010
Datalog+/-: A Family of Logical Knowledge Representation and Query Languages for New Applications.
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010
Proceedings of the Conceptual Modeling, 2010
Proceedings of the Datalog Reloaded - First International Workshop, 2010
Proceedings of the Fields of Logic and Computation, 2010
Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Proceedings of the Encyclopedia of Database Systems, 2009
J. ACM, 2009
Proceedings of the Fifth International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2009), 2009
Proceedings of the Search Computing: Challenges and Directions [outcome of the first SeCO Workshop on Search Computing Challenges and Directions, 2009
Proceedings of the Search Computing: Challenges and Directions [outcome of the first SeCO Workshop on Search Computing Challenges and Directions, 2009
Datalog+/-: A Unified Approach to Ontologies and Integrity Constraints.
Proceedings of the Seventeenth Italian Symposium on Advanced Database Systems, 2009
A General Datalog-Based Framework for Tractable Query Answering over Ontologies (extended abstract).
Proceedings of the Seventeenth Italian Symposium on Advanced Database Systems, 2009
Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2009
Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2009
Proceedings of the Database Theory, 2009
Proceedings of the Automata, Languages and Programming, 36th Internatilonal Colloquium, 2009
Proceedings of the Conceptual Modeling, 2009
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009
Proceedings of the Graph Theory, 2009
HyperConsistency Width for Constraint Satisfaction: Algorithms and Complexity Results.
Proceedings of the Graph Theory, 2009
Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009
Proceedings of the Semantic Web Information Management - A Model-Based Perspective, 2009
2008
ACM J. Exp. Algorithmics, 2008
Discret. Appl. Math., 2008
Fixed-Parameter Algorithms For Artificial Intelligence, Constraint Satisfaction and Database Problems.
Comput. J., 2008
Proceedings of the Twenty-Seventh ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2008
Proceedings of the MICAI 2008: Advances in Artificial Intelligence, 2008
Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008
Proceedings of the Complexity of Constraints, 2008
Abduction with Bounded Treewidth: From Theoretical Tractability to Practically Efficient Computation.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, 2008
2007
On the complexity of combinatorial auctions: structured item graphs and hypertree decomposition.
Proceedings of the Proceedings 8th ACM Conference on Electronic Commerce (EC-2007), 2007
Proceedings of the IJCAI 2007, 2007
Proceedings of the Semantic Web: Research and Applications, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
ACM Trans. Comput. Log., 2006
Theor. Comput. Sci., 2006
Electron. Notes Discret. Math., 2006
Proceedings of the SOFSEM 2006: Theory and Practice of Computer Science, 2006
Proceedings of the Reasoning Web, 2006
Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006
Proceedings of the Twenty-Fifth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2006
Proceedings of the Flexible and Efficient Information Handling, 2006
2005
ACM Trans. Comput. Log., 2005
Integrating Semi-structured Data into Business Applications: A Web Intelligence Example.
Proceedings of the Professional Knowledge Management, Third Biennial Conference, 2005
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2005
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2005
Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005
Boosting Information Integration: The INFOMIX System.
Proceedings of the Thirteenth Italian Symposium on Advanced Database Systems, 2005
Proceedings of the Twenty-fourth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2005
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005
Asymptotic Conditional Probability in Modal Logic: A Probabilistic Reconstruction of Nonmonotonic Logic.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
The Complexity of Quantified Constraint Satisfaction Problems under Structural Restrictions.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the Datenbanksysteme in Business, 2005
2004
SIAM J. Comput., 2004
Theory Comput. Syst., 2004
J. ACM, 2004
Monadic datalog and the expressive power of languages for Web information extraction.
J. ACM, 2004
Proceedings of the 2004 Symposium on Applications and the Internet (SAINT 2004), 2004
Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004
Proceedings of the Foundations of Information and Knowledge Systems, 2004
2003
SIAM J. Comput., 2003
Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width.
J. Comput. Syst. Sci., 2003
Proceedings of the Twenty-Second ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2003
Proceedings of IJCAI-03 Workshop on Information Integration on the Web (IIWeb-03), 2003
Proceedings of the 19th International Conference on Data Engineering, 2003
Proceedings of the 19th International Conference on Data Engineering, 2003
Proceedings of the Database Programming Languages, 9th International Workshop, 2003
2002
ACM Trans. Comput. Log., 2002
Propositional default logics made easier: computational complexity of model checking.
Theor. Comput. Sci., 2002
Visual Data Extraction Through Visual Logic Programming.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002
Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Proceedings of the Logics in Artificial Intelligence, European Conference, 2002
Combining hypertree, bicomp, and hinge decomposition.
Proceedings of the 15th European Conference on Artificial Intelligence, 2002
Proceedings of the Computational Logic: Logic Programming and Beyond, 2002
2001
Inf. Comput., 2001
Proceedings of the Technologies for E-Services, Second International Workshop, 2001
The Lixto Wrapper Generation Tool.
Proceedings of the Nono Convegno Nazionale Sistemi Evoluti per Basi di Dati, 2001
Proceedings of the Mathematical Foundations of Computer Science 2001, 2001
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001
Proceedings of the K-CAP 2001 Workshop on Knowledge Markup and Semantic Annotation Victoria, 2001
Complexity of Nested Circumscription and Abnormality Theories.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
Proceedings of the Developments in Language Theory, 5th International Conference, 2001
2000
Proceedings of the Logic for Programming and Automated Reasoning, 2000
1999
New Gener. Comput., 1999
Ann. Pure Appl. Log., 1999
On the Complexity of Model Checking for Propositional Default Logics: New Results and Tractable Cases.
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
Proceedings of the Database and Expert Systems Applications, 10th International Conference, 1999
1998
J. Symb. Log., 1998
1997
J. Symb. Log., 1997
Expressiveness of Stable Model Semantics for Disjuncitve Logic Programs with Functions.
J. Log. Program., 1997
The dlv System: Model Generator and Advanced Frontends (system description).
Proceedings of the Twelfth Workshop Logic Programming, 1997
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997
The Complexity Class Theta<sub>2</sub><sup>p</sup>: Recent Results and Applications in AI and Modal Logic.
Proceedings of the Fundamentals of Computation Theory, 11th International Symposium, 1997
Proceedings of the Generalized Quantifiers and Computation, 1997
1996
Theor. Comput. Sci., 1996
Mächtigkeit von Logikprogrammierung über Datenbanken.
Künstliche Intell., 1996
J. Comput. Syst. Sci., 1996
Fundam. Informaticae, 1996
Normal Forms for Second-Order Logic over Finite Structures, and Classification of NP Optimization Problems.
Ann. Pure Appl. Log., 1996
Complexity and Expressive Power of KR Formalisms (Invited Talk Abstract).
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996
Proceedings of the Advances in Database Technology, 1996
Proceedings of the Eleveth Annual IEEE Conference on Computational Complexity, 1996
1995
Inf. Comput., August, 1995
SIAM J. Comput., 1995
Ann. Math. Artif. Intell., 1995
Proceedings of the Semantics in Databases, 1995
Proceedings of the Mathematical Foundations of Computer Science 1995, 1995
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995
Proceedings of the Proceedings, 1995
1994
Artif. Intell., 1994
Complexity and Expressive Power of Disjunctive Logic Programming.
Proceedings of the Logic Programming, 1994
Proceedings of the Thirteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1994
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1994
Expressive Power and Complexity of Disjunctive Datalog under the Stable Model Semantics.
Proceedings of the Management and Processing of Complex Data Structures, Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28, 1994
Causal Models of Disjunctive Logic Programs.
Proceedings of the Logic Programming, 1994
Proceedings of the Innovationen bei Rechen- und Kommunikationssystemen, Eine Herausforderung für die Informatik, 24. GI-Jahrestagung im Rahmen des 13th World Computer Congress, IFIP Congress '94, Hamburg, 28. August, 1994
1993
Theor. Comput. Sci., 1993
Complexity Results for Disjunctive Logic Programming and Application to Nonmonotonic Logics.
Proceedings of the Logic Programming, 1993
Proceedings of the Twelfth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1993
Recent Complexity Results in Logic Programming and Nonmonotonic Reasoning, and Why They Matter (Invited Talk Abstract).
Proceedings of the Logic Programming and Non-monotonic Reasoning, 1993
Curb Your Theory! A Circumspective Approach for Inclusive Interpretation of Disjunctive Information.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993
1992
Reasoning with parsimonious and moderately grounded expansions.
Fundam. Informaticae, 1992
Discret. Appl. Math., 1992
On the Complexity of Propositional Knowledge Base Revision, Updates, and Counterfactuals.
Artif. Intell., 1992
Artif. Intell., 1992
Complexity Results for Logic-Based Abduction.
Proceedings of the Informal Proceedings of the Workshop Structural Complexity and Recursion-theoretic methods in Logic-Programming, 1992
Proceedings of the Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], 1992
Formaiizing the Repair Process.
Proceedings of the 10th European Conference on Artificial Intelligence, 1992
Complexity of Propositional Knowledge Base Revision.
Proceedings of the CNKBS'92, 1992
1991
Proceedings of the Proc. 7th Austrian Conference on Artificial Intelligence, 1991
1990
Investigations on Armstrong relations, dependency inference, and excluded functional dependencies.
Acta Cybern., 1990
Proceedings of the Next Generation Information System Technology, 1990
Proceedings of the Expert Systems in Engineering, 1990
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990
Surveys in computer science, Springer, ISBN: 9783642839542, 1990
1989
IEEE Trans. Knowl. Data Eng., 1989
Proceedings of the MFDBS 89, 1989
ALGRES: An Extended Relational Database System for the Specification and Prototyping of Complex Applications.
Proceedings of the First Nordic Conference on Advanced Systems Engineering, 1989
1988
Proceedings of the Fourteenth International Conference on Very Large Data Bases, August 29, 1988
1987
Proceedings of the Sixth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1987
1986
J. Parallel Distributed Comput., 1986
Proceedings of the VLDB'86 Twelfth International Conference on Very Large Data Bases, 1986
Interfacing Relational Databases and Prolog Efficiently.
Proceedings of the Expert Database Systems, 1986
1985
Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries.
IEEE Trans. Software Eng., 1985
1984
Implementation of a Distributed File System on a Geographic Network of Personal Computers.
Proceedings of the Distributed Data Sharing Systems, 1984
1983
Joining Fragmented Relations in Distributed Databases.
Proceedings of the XP4.5 Workshop on Database Theory, 1983 Palo Alto, California, USA, 1983