Abstract is missing.
- Integrity Constraints for Knowledge BasesRaymond Reiter. 3-16
- Information Systems Design: An Expert System ApproachCorine Cauvet, C. Proix, Colette Rolland. 51-78
- Logical Support for Reasoning about the Specification and the Elaboration of RequirementsEric Dubois. 79-98
- Inheritances with Exceptions: An Approach Based on Semantic ToleranceChristian Esculier. 99-111
- Knowledge-Based Information Analysis SupportEckhard D. Falkenberg, H. van Kempen, N. Mimpen. 113-128
- A Self-Referential Data Model of KnowledgeY. J. Jiang. 129-167
- Integrating Advanced Techniques into Multimedia DBMSVincent Y. Lum, C. Thomas Wu, David K. Hsiao. 169-191
- HITKMS: A Knowledge Base Machine System Supporting Cooperative Expert-System and Experimential LearningMing-Zeng Hu, Tong Qin, Yao Wang, Xiangjun Song. 193-203
- Heuristic Control on Dynamic Database ObjectsGia Toan Nguyen, Dominique Rieu. 205-221
- Temporal Reasoning in Data BaseWei Qian, Zhaokeng Zhao. 223-232
- The Role of AI in Databases versus the Role of Database Theory in AI: An OpinionElke A. Rundensteiner. 233-252
- A Knowledge-Based Approach to Overcome Structural Differences in Object Oriented Database IntegrationMichael Schrefl, Erich J. Neuhold. 265-304
- Object-Oriented Conceptual Modeling from LawCristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas. 305-327
- LQL: A Unified Language for Deductive Database SystemsJ. Shao, David A. Bell, M. Elizabeth C. Hull. 329-343
- Data Dependency and Undecidability in a Model of Historical Information SystemChang-jie Tang, Bowen Yin. 345-353
- Algebraic Specification of Object Dynamics in Knowledge Base DomainsRoel Wieringa, Reind P. van de Riet. 411-436
- Diagnosis of Conceptual SchemasRolf Wohed. 437-456
- Rule Rewriting Methods in the Implementation of the Logic Language LDLCarlo Zaniolo, Domenico Saccà. 457-483
- A Model for Maintaining Compiled Prolog DatabasesChenxi Zhang, Tzu Yungui. 485-498
- On Information-Control Systems, Object Orientation, and Expert SystemsAlfs T. Berztiss. 509-518
- Semantic Optimization in Data Bases Using Artificial Intelligence TechniquesRobert Demolombe, Arantza Illarramendi, José Miguel Blanco. 519-528
- d-KDL: An EDS Environment Incorporating Defeasible ReasoningWalter D. Potter, Donald Nute. 529-538
- On Enriching the Semantics of Knowledge Representation Models: A Claim and an ApproachUlrich Reimer. 539-546
- A Knowledge-Based Query Optimization SystemJun Shao, Qingda Yao. 557-566
- A Declarative Approach to the Dynamics of Information SystemsFrans Van Assche, Pericles Loucopoulos, G. Speltincx, Raf Venken. 567-574
- To Connect the Informal Graphical Design Methodology with the formal Specification in Information System DesignYi Zheng, Chih-Sung Tang. 575-583