Larry Kerschberg (Ed.): Expert Database Systems, Proceedings From the First International Conference, Charleston, South Carolina, USA, April 1-4, 1986. Benjamin Cummings 1987, ISBN 0-8053-3271-5

Keynote Address

• 
  Ronald J. Brachman, Hector J. Levesque: Tales from the Far Side of KRYPTON. 3-43

Object-Oriented Database Systems

• 
  Gia Toan Nguyen: Object Prototypes and database Samples for Expert Database Systems. 47-58
• 
  David Maier, Peter Nordquist, Mark Grossman: Displaying Database Objects. 59-74
• 
  Hiromichi Fujisawa, Atsushi Hatakeyama, Jun'ichi Higashino: A Personal Universal Filing System Based on the Concept-Relation Model. 75-88

Theory of Knowledge Bases

• 
  Andrew S. Cromarty: Control of Processes by Communication over Ports as a Paradigm for Distributed Knowledge-Based System Design. 91-103
• 
  Hervé Kauffmann, Alain Grumbach: Representing and Manipulating Knowledge within "Worlds". 105-117
• 
  V. Wiktor Marek: Completeness and Consistency in Knowledge Base Systems. 119-126

Intelligent Database Interfaces

• 
  Amihai Motro: Extending the Relational Database Model to Support Goal Queries. 129-150
• 
  Giorgio Brajnik, Giovanni Guida, Carlo Tasso: Design and Experimentation of IR-NLI: An Intelligent User Interface to Bibliographic Data Bases. 151-162
• 
  Dennis Shasha: When Does Non-Linear Text Help? 163-174

Knowledge System Architectures

• 
  Michael van Biema, Daniel P. Miranker, Salvatore J. Stolfo: The Do-loop Considered Harmful in Production System Programming. 177-190
• 
  Robert M. Abarbanel, Michael D. Williams: A Relational Representation for Knowledge Bases. 191-206
• 
  Stefano Ceri, Georg Gottlob, Gio Wiederhold: Interfacing Relational Databases and Prolog Efficiently. 207-223

Deductive Databases

• 
  Shamim A. Naqvi: Negative Queries in Horn Databases. 227-236
• 
  Carlo Zaniolo: Safety and Compilation of Non-recursive Horn Clauses. 237-252
• 
  Laurent Vieille: Recursive Axioms in Deductive Databases: The Query/Subquery Approach. 253-267

Reasoning in Expert Database Systems

• 
  Patrick Valduriez, Haran Boral: Evaluation of Recursive Queries Using Join Indices. 271-293
• 
  Yannis E. Ioannidis, Eugene Wong: An Algebraic Approach to Recursive Inference. 295-309
• 
  Arie Zvieli: A Fuzzy Relational Calculus. 311-326

Semantic Query Optimization

• 
  Christopher V. Malley, Stanley B. Zdonik: A Knowledge-Based Approach to Query Optimization. 329-343
• 
  Upen S. Chakravarthy, Jack Minker, John Grant: Semantic Query Optimization: Additional Constraints and Control Strategies. 345-379
• 
  Hendrik Decker: Integrity Enforcement on Deductive Databases. 381-395

Knowledge-Based Modeling and Design

• 
  Michel Pilote: Modeling Linguistic User Interfaces. 399-412
• 
  Stanley Letovsky: How Abstraction Can Reduce Ambiguity In Explanation Problems. 413-421
• 
  Antonio L. Furtado, Marco A. Casanova, Luiz Tucherman: A Framework for Design/Redesign Experts. 423-438
• 
  Michael Prietula, Gary Dickson: Flexible Interfaces and the Support of Physical Database Design Reasoning. 439-452

Knowledge Management

• 
  Mark S. Fox: Beyond The Knowledge Level. 455-463
• 
  Michael Stonebraker, Timos K. Sellis, Eric N. Hanson: An Analysis of Rule Indexing Implementations in Data Base Systems. 465-476
• 
  Laurence Cholvy, Robert Demolombe: Querying a Rule Base. 477-485
• 
  Andreas Weber: Updating Propositional Formulas. 487-500