Intersection of databases and ai bibliography

219,160pages on
this wiki
Add New Page
Discuss this page0 Share


  • Diagnosis of asynchronous discrete event systems: datalog to the rescue. Serge Abiteboul, Zoë Abrams, Stefan Haar, Tova Milo. PODS 2005. (logic in databases)
  • Differential constraints. Bassem Sayrafi, Dirk Van Gucht. PODS 2005. (logic in databases)
  • Relative risk and odds ratio: a data mining perspective. Haiquan Li, Jinyan Li, Limsoon Wong, Mengling Feng, Yap-Peng Tan. PODS 2005. (logic in databases)


  • Decision Tables: Scalable Classification Exploring RDBMS Capabilities. Hongjun Lu, Hongyan Liu. VLDB 2000. (knowledge discovery)
  • Fast Time Sequence Indexing for Arbitrary Lp Norms. Byoung-Kee Yi, Christos Faloutsos. VLDB 2000. (knowledge discovery)
  • Identifying Representative Trends in Massive Time Series Data Sets Using Sketches. Piotr Indyk, Nick Koudas, S. Muthukrishnan. VLDB 2000. (knowledge discovery)


  • Answering Recursive Queries Using Views. Oliver M. Duschka, Michael R. Genesereth. PODS 1997. (logic and databases)
  • Languages for Relational Databases over Interpreted Structures. Michael Benedikt, Leonid Libkin. PODS 1997. (logic and databases)
  • Rewriting Queries Using Views in Description Logics. Catriel Beeri, Alon Y. Levy, Marie-Christine Rousset. PODS 1997. (logic and databases)


  • Knowledge Discovery from Telecommunication Network Alarm Databases. Kimmo Hätönen, Mika Klemettinen, Heikki Mannila, Pirjo Ronkainen, Hannu Toivonen. ICDE 1996. (knowledge discovery)
  • Maintenance of Discovered Association Rules in Large Databases: An Incremental Updating Technique. David Wai-Lok Cheung, Jiawei Han, Vincent T. Y. Ng, C. Y. Wong. ICDE 1996. (knowledge discovery)
  • Mining Knowledge Rules from Databases: A Rough Set Approach. Xiaohua Hu, Nick Cercone. ICDE 1996. (knowledge discovery)


  • A New Recursive Subclass of Domain Independent Formulas Based on Subimplication. Joonyeoub Sung, Lawrence J. Henschen. ICDE 1995. (logic and ai)
  • Bottom-Up Evaluation of Logic Programs Using Binary Decision Diagrams. Mizuho Iwaihara, Yusaku Inoue. ICDE 1995. (logic and ai)
  • Ternary Relationship Decomposition Strategies Based on Binary Imposition Rules. Il-Yeol Song, Trevor H. Jones. ICDE 1995. (logic and ai)


  • A Descriptive Semantic Formalism for Medicine. Carole A. Goble, Andrzej J. Glowinski, W. A. Nowlan, Alan L. Rector. ICDE 1993. (knowledge bases)
  • An Alternating Fixpoint Tailored to Magic Programs. Shinichi Morishita. PODS 1993. (optimization of logic programs)
  • Equivalence, Query-Reachability, and Satisfiability in Datalog Extensions. Alon Y. Levy, Inderpal Singh Mumick, Yehoshua Sagiv, Oded Shmueli. PODS 1993. (optimization of logic programs)
  • Finding Nonrecursive Envelopes for Datalog Predicates. Surajit Chaudhuri. PODS 1993. (optimization of logic programs)
  • JazzMatch: Fine-Grained Parallel Matching for Large Rule Sets. Marco Richeldi, Jack Tan. ICDE 1993. (knowledge bases)
  • On Updates and Inconsistency Repairing in Knowledge Bases. Beat Wüthrich. ICDE 1993. (knowledge bases)
  • On the Semantics of Theory Change: Arbitration between Old and New Information. Peter Z. Revesz. PODS 1993. (knowledge base revision)


  • A Performance Comparison of the Rete and TREAT Algorithms for Testing Database Rule Conditions. Yu-Wang Wang, Eric N. Hanson. ICDE 1992. (knowledge based systems)
  • An Information-Retrieval Approach for Image Databases. Fausto Rabitti, Pasquale Savino. VLDB 1992. (knowledge discovery)
  • An Interval Classifier for Database Mining Applications. Rakesh Agrawal, Sakti P. Ghosh, Tomasz Imielinski, Balakrishna R. Iyer, Arun N. Swami. VLDB 1992. (knowledge discovery)
  • Distributed Rule Processing in Active Databases. Ing-Miin Hsu, Mukesh Singhal, Ming T. Liu. ICDE 1992. (knowledge based systems)
  • ESQL2: An Object-Oriented SQL with F-Logic Semantics. Georges Gardarin, Patrick Valduriez. ICDE 1992. (logic and databases)
  • Knowledge Discovery in Databases: An Attribute-Oriented Approach. Jiawei Han, Yandong Cai, Nick Cercone. VLDB 1992. (knowledge discovery)
  • Object-Oriented Modeling and Design of Coupled Knowledge-base/Database Systems. Olivia R. Liu Sheng, Chih-Ping Wei. ICDE 1992. (knowledge based systems)
  • Query Optimization for KBMSs: Temporal, Syntactic and Semantic Transformantions. Thodoros Topaloglou, Arantza Illarramendi, Licia Sbattella. ICDE 1992. (logic and databases)
  • Relational Databases with Exclusive Disjunctions. Adegbemiga Ola. ICDE 1992. (logic and databases)
  • Tie-Breaking Semantics and Structural Totality. Christos H. Papadimitriou, Mihalis Yannakakis. PODS 1992. (negation in databases)


  • An Extended Memoryless Inference Control Method: Accounting for Dependence in Table-level Controls. S. C. Hansen, E. A. Unger. ACM SIGMOD Conference 1991. (knowledge bases)
  • Distributed Query Optimization by One-Shot Fixed-Precision Semi-Join Execution. Chihping Wang, Victor O. K. Li, Arbee L. P. Chen. ICDE 1991. (ai and databases)
  • First-Order Logic Reducible Programs. Ke Wang, Li-Yan Yuan. ICDE 1991. (ai and databases)
  • Inference of Inequality Constraints in Logic Programs. Alexander Brodsky, Yehoshua Sagiv. PODS 1991. (logic programming and databases)
  • K: A High-Level Knowledge Base Programming Language for Advanced Database Applications. Yuh-Ming Shyy, Stanley Y. W. Su. ACM SIGMOD Conference 1991. (knowledge bases)
  • Lk: A Language for Capturing Real World Meanings of the Stored Data. D. G. Shin. ICDE 1991. (ai and databases)
  • Nested Relation Based Database Knowledge Representation. Qiming Chen, Yahiko Kambayashi. ACM SIGMOD Conference 1991. (knowledge bases)
  • On Negation in HiLog. Kenneth A. Ross. PODS 1991. (logic programming and databases)
  • Parallelizing Datalog Programs by Generalized Pivoting. Jürgen Seib, Georg Lausen. PODS 1991. (logic programming and databases)
  • Termination Detection in Logic Programs using Argument Sizes. Kirack Sohn, Allen Van Gelder. PODS 1991. (logic programming and databases)


  • A Cooperative Approach to Large Knowledge Based Systems. C. V. Ramamoorthy, Shashi Shekhar. ICDE 1990. (large knowledge-based systems)
  • An Algorithmic Basis for Integrating Production Systems and Large Databases. Daniel P. Miranker, David A. Brant. ICDE 1990. (large knowledge-based systems)
  • An Attribute-Oriented Approach for Learning Classification Rules from Relational Databases. Yandong Cai, Nick Cercone, Jiawei Han. ICDE 1990. (knowledge structuring and modeling)
  • An Object-Oriented Approach to Data/Knowledge Modeling Based on Logic. Kyuchul Lee, Sukho Lee. ICDE 1990. (knowledge structuring and modeling)
  • Compilation of Logic Programs to Implement Very Large Knowledge Base Systems - A Case Study: Educe*. Jorge B. Bocca. ICDE 1990. (large knowledge-based systems)
  • Structuring Knowledge Bases Using Automatic Learning. Guy W. Mineau, Jan Gecsei, Robert Godin. ICDE 1990. (knowledge structuring and modeling)


  • Relational Specifications of Infinite Query Answers. Jan Chomicki, Tomasz Imielinski. ACM SIGMOD Conference 1989. (logic and databases)
  • Solving Implication Problems in Database Applications. Xian-He Sun, Nabil Kamel, Lionel M. Ni. ACM SIGMOD Conference 1989. (logic and databases)
  • Towards an Efficient Evaluation of General Queries: Quantifier and Disjunction Processing Revisited. François Bry. ACM SIGMOD Conference 1989. (logic and databases)


  • A Framework for Testing Safety and Effective Computability of Extended Datalog (Extended Abstract). Ravi Krishnamurthy, Raghu Ramakrishnan, Oded Shmueli. ACM SIGMOD Conference 1988. (logic & databases)
  • A Production Rule-Based Approach to Deductive Databases. Christophe de Maindreville, Eric Simon. ICDE 1988. (knowledge-based systems)
  • A Tool for Integrating Conceptual Schemas and User Views. Amit P. Sheth, James A. Larson, Aloysius Cornelio, Shamkant B. Navathe. ICDE 1988. (knowledge-based systems)
  • ADT: A Toolkit for Development of Database-Centered Applications. Rob Bell, Hany Atchan, Richard S. Dennis. ICDE 1988. (knowledge-based systems)
  • An Implementation Model for Reasoning with Complex Objects. Qiming Chen, Georges Gardarin. ACM SIGMOD Conference 1988. (logic & databases)
  • Data Functions, Datalog and Negation (Extended Abstract). Serge Abiteboul, Richard Hull. ACM SIGMOD Conference 1988. (logic & databases)
  • EDICT - An Enhanced Relational Data Dictionary: Architecture and Example. James P. Davis, Ronald D. Bonnell. ICDE 1988. (knowledge-based systems)
  • On Representing Indefinite and Maybe Information in Relational Databases. Ken-Chih Liu, Rajshekhar Sunderraman. ICDE 1988. (knowledge-based systems)
  • RATIONALE: Reasoning by Explaining. Suhayya Abu-Hakima, Franz Oppacher. ICDE 1988. (knowledge-based systems)
  • Reasoning by Analogy in Knowledge Base Systems. Bonnie MacKellar, Fred J. Maryanski. ICDE 1988. (knowledge-based systems)


  • Covering and Disjointness Constraints in Type Networks. Maurizio Lenzerini. ICDE 1987. (knowledge representations)
  • Database Support for Knowledge-Based Image Evaluation. Ingrid M. Walter, Peter C. Lockemann, Hans-Hellmut Nagel. VLDB 1987. (ai techniques for database)
  • Handling Redundancy in the Processing of Recursive Database Queries. Jiawei Han, Lawrence J. Henschen. ACM SIGMOD Conference 1987. (logic queries)
  • Implementing Logic Programs as a Database System. Michael Kifer, Eliezer L. Lozinskii. ICDE 1987. (knowledge representations)
  • MOBY: An Architecture for Distributed Expert Database Systems. Jonathan Bein, Roger King. VLDB 1987. (ai techniques for database)
  • Magic Counting Methods. Domenico Saccà, Carlo Zaniolo. ACM SIGMOD Conference 1987. (logic queries)
  • Magic Functions: A Technique to Optimize Extended Datalog Recursive Programs. Georges Gardarin. VLDB 1987. (logic and databases)
  • Non-deterministic Modelling of Logical Queries in Deductive Databases. Hussien Aly, Z. Meral Özsoyoglu. ACM SIGMOD Conference 1987. (logic queries)
  • Optimization of Systems of Algebraic Equations for Evaluating Datalog Queries. Stefano Ceri, Letizia Tanca. VLDB 1987. (logic and databases)
  • Recursive Strategies for Answering Recursive Queries - The RQA/FQI Strategy. Wolfgang Nejdl. VLDB 1987. (logic and databases)
  • The Design of the Postgres Rules System. Michael Stonebraker, Eric N. Hanson, Chin-Heng Hong. ICDE 1987. (knowledge representations)
  • What do you mean ``Null? Turning Null Responses into Quality Responses. Mimi Kao, Nick Cercone, Wo-Shun Luk. ICDE 1987. (knowledge representations)


  • A Framework of Expert System with Strategic Knowledge. Daisuke Tomoda, Minoru Tanaka, Tadao Ichikawa. ICDE 1986. (knowledge-based systems)
  • A Message Passing Framework for Logical Query Evaluation. Allen Van Gelder. ACM SIGMOD Conference 1986. (logic and databases)
  • Adaptive Predicate Managers in Database Systems. Stefan Böttcher, Matthias Jarke, Joachim W. Schmidt. VLDB 1986. (knowledge database)
  • Checking Consistency of Database Constraints: a Logical Basis. François Bry, Rainer Manthey. VLDB 1986. (knowledge database)
  • Constructorset's Database Support for Knowledge Based Systems. Volker Linnemann. ICDE 1986. (knowledge-based systems)
  • Deductive Database System based on Unit Resolution. Haruo Yokota, Sko Sakai, Hidenori Itoh. ICDE 1986. (knowledge-based systems)
  • Evaluation of Database Recursive Logic Programs as Recurrent Function Series. Georges Gardarin, Christophe de Maindreville. ACM SIGMOD Conference 1986. (logic and databases)
  • Knowledge-based Integrity Constraint Validation. Xiaolei Qian, Gio Wiederhold. VLDB 1986. (knowledge database)
  • LDL: A Logic-Based Data Language. Shalom Tsur, Carlo Zaniolo. VLDB 1986. (knowledge database)
  • Multiple Query Processing in Deductive Databases using Query Graphs. Upen S. Chakravarthy, Jack Minker. VLDB 1986. (knowledge database)
  • On Analogical Query Processing in Logic Database. Takashi Yokomori. VLDB 1986. (knowledge database)
  • Optimizing the Rule-Data Interface in a KMS. Charles Kellogg, Anthony B. O'Hare, Larry Travis. VLDB 1986. (knowledge database)
  • Relational Data Model with Cause-Effect Association (Abstract). Qingda Yao, Rong Yi. VLDB 1986. (knowledge database)
  • Retrieval-By-Unification Operation on a Relational Knowledge Base. Yukihiro Morita, Haruo Yokota, Kenji Nishida, Hidenori Itoh. VLDB 1986. (knowledge database)
  • Traversal Recursion: A Practical Approach to Supporting Recursive Applications. Arnon Rosenthal, Sandra Heiler, Umeshwar Dayal, Frank Manola. ACM SIGMOD Conference 1986. (logic and databases)


  • A Knowledge-Based Approach to Data Management for Intelligent User Interfaces. Carol A. Broverman, W. Bruce Croft. VLDB 1985. (knowledge-based management)
  • Accommodating Exceptions in Databases, and Refining the Schema by Learning from them. Alexander Borgida, Keith E. Williamson. VLDB 1985. (knowledge-based management)
  • Acquisition of Terminological Knowledge Using Database Design Techniques. Christoph F. Eick, Peter C. Lockemann. ACM SIGMOD Conference 1985. (knowledge base design)
  • Coping with Complexity in Automated Reasoning about Database Systems. Tim Sheard, David W. Stemple. VLDB 1985. (knowledge-based management)
  • Functional Dependencies in Logic Programs. Alberto O. Mendelzon. VLDB 1985. (knowledge-based management)
  • NetBook - a Data Model to Support Knowledge Exploration. Dennis Shasha. VLDB 1985. (knowledge-based management)
  • Partitioning a Relational Database Horizontally Using a Knowledge-Based Approach. D. G. Shin, Keki B. Irani. ACM SIGMOD Conference 1985. (knowledge base design)
  • The Representation and Deductive Retrieval of Complex Objects. Carlo Zaniolo. VLDB 1985. (knowledge-based management)


  • Issues in Distributed Artificial Intelligence. Bonnie McDaniel. ICDE 1984. (construction of knowledge bases)
  • Judgmental-Knowledge Bases: Problem Solving and Expert Systems. James D. Johannes. ICDE 1984. (construction of knowledge bases)
  • Overview of Tools for Knowledge Base Construction. Virginia P. Kobler. ICDE 1984. (construction of knowledge bases)
  • Specification-Based Computing Environments for Information Management. Robert Balzer, Neil M. Goldman, Robert Neches. ICDE 1984. (artificial intelligence applications)
  • The CMS-Help Expert System. David Y. Y. Yun, David Loeb. ICDE 1984. (artificial intelligence applications)
  • The Transition from Data Management to Knowledge Management. Charles Kellogg. ICDE 1984. (artificial intelligence applications)
  • Towards a Data Model for Artificial Intelligence Applications. Sergei Nirenburg, Chagit Attiya. ICDE 1984. (artificial intelligence applications)


  • A Modal System of Algebras for Database Specification and Query/Update Language Support. Forouzan Golshani, T. S. E. Maibaum, M. R. Sadler. VLDB 1983. (logic & databases)
  • An Abstract Introduction to the Temporal-Hierarchic Data Model (THM). Ulrich Schiel. VLDB 1983. (logic & databases)
  • Characterization of Well-Behaved Database Schemata and Their Update Semantics. Anne Verroust. VLDB 1983. (logic & databases)


  • Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory. Alexander Borgida, Harry K. T. Wong. VLDB 1981. (logic and data bases)
  • Efficient Processing of Interactive Relational Data Base Queries expressed in Logic. David H. D. Warren. VLDB 1981. (logic and data bases)
  • Impacts of Logic and Databases (Invited Paper). Hervé Gallaire. VLDB 1981. (logic and data bases)

Ad blocker interference detected!

Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.

Also on Fandom

Random wikia