CONTENTS
ORGANIZING COMMITTEE
PART Ⅰ : KEYNOTE ADDRESS = 1
Expert Database Systems : A Database Perspective / John Miles Smith = 3
PART Ⅱ : WORKING GROUP REPORTS = 17
Knowledge Base Management Systems : Discussions from the Working Group / Michbael L. Brodie(Chair) ; Robert Balzer ; Gio Wiederhold ; Ronald J. Brachman ; John Mylopoulos = 19
Logic Programming and Databases / D. Stott Parker ; Jr. (Chair) ; Michael Carey ; Forouzan Golshani ; Matthias Jarke ; Edward Sciore ; Adrian Walker = 35
Object Oriented Database Systems and Knowledge Systems / Carlo Zaniolo(Chair) ; Hassan Ait-Kaci ; David Beech ; Stephanie Cammarata ; Larry Kerschberg ; David Maier = 49
PART Ⅲ : THEORY OF KNOWLEDGE BASES = 67
What Makes a Knowledge Base Knowledgeable? A View of Databases from the Knowledge Level / Ronald J. Brachman ; Hector J. Levesque = 69
Interactive Classification of Conceptual Knowledge / Tim Finin ; David Silverman = 79
Semantic Retrieval and Levels of Abstraction / Francisco Corella = 91
Type Subsumption as a Model of Computation / Hassan Ait-Kaci = 115
Constructing and Utilizing Large Fact Databases Using Artificial Intelligence Techniques / Gian Piero Zarri = 141
Experiences with SRL : An Analysis of Frame-Based Knowledge Representations / Mark S. Fox ; J. Mark Wright ; David Adam = 161
A System-Controlled Multi-Type Specialization Hierarchy / Ulrich Reimer = 173
PART Ⅳ : LOGIC PROGRAMMING AND DATABASES = 189
On Integrating Logic Programming and Databases / Michael L. Brodie ; Matthias Jarke = 191
Logic Programming for Constructive Expert Database Systems / Veronica Dabl = 209
Prolog : A Database Query Language For All Seasons / Carlo Zaniolo = 219
PROSQL : A Prolog Programming Interface with SQL／DS／C. L. Chang and Adrian Walker = 233
Rule Support in Prolog / Oded Shmueli ; Shalom Tsur ; H. Zfira = 247
Mechanisms for Concurrency Control and Recovery in Prolog-A Proposal / Michael J. Carey ; David J. DeWitt ; Goetz Graefe = 271
Towards an Integrated Database-Prolog System / Edward Sciore ; David S. Warren = 293
PART Ⅴ : EXPERT DATABASE SYSTEM ARCHITECTURES, TOOLS AND TECHNIQUES = 307
Constraint Management in Expert Database Systems / Allen Shepherd ; Larry Kerschberg = 309
Implementation of a Semantic Integrity Manager with a Knowledge Representation System / Gilles M. E. Lafue ; Reid G. Smith = 333
The Role of Constraints in Databases, Expert Systems, and Knowledge Representation / Matthew Morgenstern = 351
Specification and Design of Expert Database Systems / Forouzan Golshani = 369
Towards a Unified Approach for Expert and Database Systems / Michele Missikoff ; Gio Wiederhold = 383
An Expert Database System Architecture Based on an Active and Extensible Dictionary System / Edgar H. Sibley = 401
An Interactive Data Dictionary Facility for CAD／CAM Data Bases / Stephanie J. Cammarata ; Michel A. Melkanoff = 423
A Database Management System Based on an Object-Oriented Model / Roger King = 443
MILK : Multi Level Interactive Logic Simulator at Keio University-Experience in Using the CONSTRAINTS Language / Masahiro Nakazawa ; Michio Isoda ; Jun Miyazaki ; Hideo Aiso = 469
Handling Constraints and Meta-Data on a Generalized Data Management System / Michel Adiba ; G. T. Nguyen = 487
Distributed Database Considerations in an Expert System for Radar Analysis / Andrew S. Cromarty ; Thomas L. Adams ; Gerald A. Wilson ; James F. Cunningham ; Carl J. Tollander ; Milton R. Grinberg = 505
PART Ⅵ : REASONING IN EXPERT DATABASE SYSTEMS = 525
Database Support for Storage of AI Reasoning Knowledge / Michael Deering ; Joseph Faletti = 527
Heuristic Search in Data Base Systems / Ru-Mei Kung ; Eric Hanson ; Yannis Ioannidis ; Timos Sellis ; Leonard Shapiro ; Michael Stonebraker = 537
Relationships Between Deductive and Abductive Inference in Knowledge-Based Diagnostic Problem Solving / Dana S. Nau ; James A. Reggia = 549
A Temporal Logic for Reasoning About Changing Data Bases in the Context of Natural Language Question-Answering / Eric Mays = 559
PART Ⅶ : INTELLIGENT DATABASE ACCESS AND INTERACTION = 579
Expert Helpers to Data-Based Information Systems / Antonio L. Furtado ; Claudio M. O. Moura = 581
Query Generalization : A Method for Interpreting Null Answers / Amihai Motro = 597
The IRUS Transportable Natural Language Database Interface / Madeleine Bates ; M. G. Moser ; David Stallard = 617
Anticipating False Implicatures : Cooperative Responses in Question-Answer Systems / Julia Hirschberg = 631
Supporting Natural Language Database Update by Modeling Real World Actions / Sharon Saiveter = 639
Semantic Query Optimization in Expert Systems and Database Systems / Upen S. Chakravarthy ; Dan H. Fishman ; Jack Minker = 659
External Semantic Query Simplification: A Graph-Theoretic Approach and Its Implementation in Prolog / Mattiasjarke = 675
AUTHOR INDEX = 693
LIST OF PARTICIPANTS = 695
