Larry Kerschberg (Ed.): Expert Database Systems, Proceedings From the First international Workshop, Kiawah Island, South Carolina, USA, October 24-27, 1984. Benjamin Cummings 1986, ISBN 0-8053-3270-7

Keynote Address

• 
  John Miles Smith: Expert Database Systems: A Database Perspective. 3-15

Working Group Reports

• 
  Michael L. Brodie, Robert Balzer, Gio Wiederhold, Ronald J. Brachman, John Mylopoulos: Knowledge Base Management Systems: Discussions from the Working Group. 19-33
• 
  Douglas Stott Parker Jr., Michael J. Carey, Forouzan Golshani, Matthias Jarke, Edward Sciore, Adrian Walker: Logic Programming and Databases. 35-48
• 
  Carlo Zaniolo, Hassan Aït-Kaci, David Beech, Stephanie J. Cammarata, David Maier: Object Oriented Database Systems and Knowledge Systems. 49-65

Theory of Knowledge Bases

• 
  Ronald J. Brachman, Hector J. Levesque: What Makes a Knowledge Base Knowledgeable? A View of Databases from the Knowledge Level. 69-78
• 
  Timothy W. Finin, David Silverman: Interactive Classification as a Knowledge Aquisition Tool. 79-90
• 
  Francisco Corella: Semantic Retrieval and Levels of Abstraction. 91-114
• 
  Hassan Aït-Kaci: Type Subsumption as a Model of Computation. 115-139
• 
  Gian Piero Zarri: Constructing and Utilizing Large Fact Databases Using Artificial Intelligence techniques. 141-160
• 
  Mark S. Fox, J. Mark Wright, David Adam: Experiences with SRL: An Analysis of a Frame-based Knowledge Representation. 161-172
• 
  Ulrich Reimer: A System-Controlled Multi-Type Specialization Hierarchy. 173-187

Logic Programming and Databases

• 
  Michael L. Brodie, Matthias Jarke: On Integrating Logic Programming and Databases. 191-207
• 
  Verónica Dahl: Logic Programming for Constructive Expert Database Systems. 209-217
• 
  Carlo Zaniolo: Prolog: A Database Query Language for All Seasons. 219-232
• 
  Chin-Liang Chang, Adrian Walker: PROSQL: A Prolog Programming Interface with SQL/DS. 233-246
• 
  Oded Shmueli, Shalom Tsur, Hana Zfira: Rule Support in Prolog. 247-269
• 
  Michael J. Carey, David J. DeWitt, Goetz Graefe: Mechanisms for Concurrency Control and Recovery in Prolog - A Proposal. 271-291
• 
  Edward Sciore, David Scott Warren: Towards an Integrated Database-Prolog System. 293-305

Expert Database System Architectures, Tools and Techniques

• 
  Allan Shepherd, Larry Kerschberg: Constraint Management in Expert Database Systems. 309-331
• 
  Gilles M. E. Lafue, Reid G. Smith: Implementation Of A Semantic Integrity Manager With A Knowledge Representation System. 333-350
• 
  Matthew Morgenstern: The Role of Constraints in Databases, Expert Systems, and Knowledge Representation. 351-368
• 
  Forouzan Golshani: Specification and Design of Expert Database Systems. 369-381
• 
  Michele Missikoff, Gio Wiederhold: Towards a Unified Approach for Expert and Database Systems. 383-399
• 
  Edgar H. Sibley: An Expert Database System Architecture Based on an Active and Extensible Dictionary System. 401-422
• 
  Stephanie J. Cammarata, Michel A. Melkanoff: An Interactive Data Dictionary Facility for CAD/CAM Data Bases. 423-440
• 
  Roger King: A Database Management System Based on an Object-Oriented Model. 443-468
• 
  Masahiro Nakazawa, Michio Isoda, Jun Miyazaki, Hideo Aiso: MILK: Multi Level Interactive Logic Simulator at Keio University: Experience in Using the Contraints Language. 469-485
• 
  Michel E. Adiba, Gia Toan Nguyen: Handling Constraints and Meta-data on a Generalized Data Management System. 487-504
• 
  Andrew S. Cromarty, Thomas L. Adams, Gerald A. Wilson, James F. Cunningham, Carl J. Tollander, Milton R. Grinberg: Distributed Database Considerations in an Expert System for Radar Analysis. 505-524

Reasoning in Expert Database Systems

• 
  Michael Deering, Joseph Faletti: Database Support for Storage of AI Reasoning Knowledge. 527-536
• 
  Ru-Mei Kung, Eric N. Hanson, Yannis E. Ioannidis, Timos K. Sellis, Leonard D. Shapiro, Michael Stonebraker: Heuristic Search in Data Base Systems. 537-548
• 
  Dana S. Nau, James A. Reggia: Relationships Between Deductive and Abductive Inference in Knowledge-Based Diagnostic Problem Solving. 549-558
• 
  Eric Mays: A Temporal Logic for Reasoning About Changing Data Bases in the Context of Natural Language Question-Answering. 559-578

Intelligent Database Access and Interaction

• 
  Antonio L. Furtado, C. M. O. Moura: Expert Helpers to Data-Based Information Systems. 581-596
• 
  Amihai Motro: Query Generalization: A Method for Interpreting Null Answers. 597-616
• 
  Madeleine Bates, M. G. Moser, David Stallard: The IRUS Transportable Natural Language Database Interface. 617-630
• 
  Julia Hirschberg: Anticipating False Implicatures: Cooperative Responses in Question-Answer Systems. 631-638
• 
  Sharon C. Salveter: Supporting Natural Language Database Update by Modeling Real World Actions. 639-657
• 
  Upen S. Chakravarthy, Daniel H. Fishman, Jack Minker: Semantic Query Optimization in Expert Systems and Database Systems. 659-674
• 
  Matthias Jarke: External Semantic Query Simplification: A Graph-Theoretic Approach and its Implementation in Prolog. 675-692