Abstract is missing.
- Expert Database Systems: A Database PerspectiveJohn Miles Smith. 3-15
- Knowledge Base Management Systems: Discussions from the Working GroupMichael L. Brodie, Robert Balzer, Gio Wiederhold, Ronald J. Brachman, John Mylopoulos. 19-33
- Logic Programming and DatabasesDouglas Stott Parker Jr., Michael J. Carey, Forouzan Golshani, Matthias Jarke, Edward Sciore, Adrian Walker. 35-48
- Object Oriented Database Systems and Knowledge SystemsCarlo Zaniolo, Hassan Aït-Kaci, David Beech, Stephanie J. Cammarata, David Maier. 49-65
- Interactive Classification as a Knowledge Aquisition ToolTimothy W. Finin, David Silverman. 79-90
- Semantic Retrieval and Levels of AbstractionFrancisco Corella. 91-114
- Type Subsumption as a Model of ComputationHassan Aït-Kaci. 115-139
- Constructing and Utilizing Large Fact Databases Using Artificial Intelligence techniquesGian Piero Zarri. 141-160
- Experiences with SRL: An Analysis of a Frame-based Knowledge RepresentationMark S. Fox, J. Mark Wright, David Adam. 161-172
- A System-Controlled Multi-Type Specialization HierarchyUlrich Reimer. 173-187
- On Integrating Logic Programming and DatabasesMichael L. Brodie, Matthias Jarke. 191-207
- Logic Programming for Constructive Expert Database SystemsVerónica Dahl. 209-217
- Prolog: A Database Query Language for All SeasonsCarlo Zaniolo. 219-232
- PROSQL: A Prolog Programming Interface with SQL/DSChin-Liang Chang, Adrian Walker. 233-246
- Rule Support in PrologOded Shmueli, Shalom Tsur, Hana Zfira. 247-269
- Mechanisms for Concurrency Control and Recovery in Prolog - A ProposalMichael J. Carey, David J. DeWitt, Goetz Graefe. 271-291
- Towards an Integrated Database-Prolog SystemEdward Sciore, David Scott Warren. 293-305
- Constraint Management in Expert Database SystemsAllan Shepherd, Larry Kerschberg. 309-331
- Implementation Of A Semantic Integrity Manager With A Knowledge Representation SystemGilles M. E. Lafue, Reid G. Smith. 333-350
- The Role of Constraints in Databases, Expert Systems, and Knowledge RepresentationMatthew Morgenstern. 351-368
- Specification and Design of Expert Database SystemsForouzan Golshani. 369-381
- Towards a Unified Approach for Expert and Database SystemsMichele Missikoff, Gio Wiederhold. 383-399
- An Expert Database System Architecture Based on an Active and Extensible Dictionary SystemEdgar H. Sibley. 401-422
- An Interactive Data Dictionary Facility for CAD/CAM Data BasesStephanie J. Cammarata, Michel A. Melkanoff. 423-440
- A Database Management System Based on an Object-Oriented ModelRoger King. 443-468
- MILK: Multi Level Interactive Logic Simulator at Keio University: Experience in Using the Contraints LanguageMasahiro Nakazawa, Michio Isoda, Jun Miyazaki, Hideo Aiso. 469-485
- Handling Constraints and Meta-data on a Generalized Data Management SystemMichel E. Adiba, Gia Toan Nguyen. 487-504
- Distributed Database Considerations in an Expert System for Radar AnalysisAndrew S. Cromarty, Thomas L. Adams, Gerald A. Wilson, James F. Cunningham, Carl J. Tollander, Milton R. Grinberg. 505-524
- Database Support for Storage of AI Reasoning KnowledgeMichael Deering, Joseph Faletti. 527-536
- Heuristic Search in Data Base SystemsRu-Mei Kung, Eric N. Hanson, Yannis E. Ioannidis, Timos K. Sellis, Leonard D. Shapiro, Michael Stonebraker. 537-548
- A Temporal Logic for Reasoning About Changing Data Bases in the Context of Natural Language Question-AnsweringEric Mays. 559-578
- Expert Helpers to Data-Based Information SystemsAntonio L. Furtado, C. M. O. Moura. 581-596
- Query Generalization: A Method for Interpreting Null AnswersAmihai Motro. 597-616
- The IRUS Transportable Natural Language Database InterfaceMadeleine Bates, M. G. Moser, David Stallard. 617-630
- Supporting Natural Language Database Update by Modeling Real World ActionsSharon C. Salveter. 639-657
- Semantic Query Optimization in Expert Systems and Database SystemsUpen S. Chakravarthy, Daniel H. Fishman, Jack Minker. 659-674
- External Semantic Query Simplification: A Graph-Theoretic Approach and its Implementation in PrologMatthias Jarke. 675-692