1. EDS Conference 1986, Charleston, South Carolina

Keynote Address

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

Object-Oriented Database Systems

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

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 BibTeX
• Hervé Kauffmann, Alain Grumbach: Representing and Manipulating Knowledge within "Worlds". 105-117 BibTeX
• V. Wiktor Marek: Completeness and Consistency in Knowledge Base Systems. 119-126 BibTeX

Intelligent Database Interfaces

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

Knowledge System Architectures

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

Deductive Databases

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

Reasoning in Expert Database Systems

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

Semantic Query Optimization

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

Knowledge-Based Modeling and Design

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

Knowledge Management

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