DS-3 1988: Guangzhou, PR China

Robert Meersman, Zhongzhi Shi, Chen-Ho Kung (Eds.): Proceedings of the IFIP TC2/TC8/WG 2.6/WG 8.1 Working Conference on the Role of Artificial Intelligence in Databases and Information Systems, Guangzhou, PR China, 4-8 July, 1988. North-Holland 1990, ISBN 0-444-88645-1

Invited Lectures

Raymond Reiter: Integrity Constraints for Knowledge Bases. 3-16
John F. Sowa: Knowledge Representation in Databases, Expert Systems, and Natural Language. 17-50

Full Papers

Corine Cauvet, C. Proix, Colette Rolland: Information Systems Design: An Expert System Approach. 51-78
Eric Dubois: Logical Support for Reasoning about the Specification and the Elaboration of Requirements. 79-98
Christian Esculier: Inheritances with Exceptions: An Approach Based on Semantic Tolerance. 99-111
Eckhard D. Falkenberg, H. van Kempen, N. Mimpen: Knowledge-Based Information Analysis Support. 113-128
Y. J. Jiang: A Self-Referential Data Model of Knowledge. 129-167
Vincent Y. Lum, C. Thomas Wu, David K. Hsiao: Integrating Advanced Techniques into Multimedia DBMS. 169-191
Ming-Zeng Hu, Tong Qin, Yao Wang, Xiangjun Song: HITKMS: A Knowledge Base Machine System Supporting Cooperative Expert-System and Experimential Learning. 193-203
Gia Toan Nguyen, Dominique Rieu: Heuristic Control on Dynamic Database Objects. 205-221
Wei Qian, Zhaokeng Zhao: Temporal Reasoning in Data Base. 223-232
Elke A. Rundensteiner: The Role of AI in Databases versus the Role of Database Theory in AI: An Opinion. 233-252
Jack Schiff: The Design of a Knowledge Based Economic Modeling Tool (EMT) Prototype. 253-264
Michael Schrefl, Erich J. Neuhold: A Knowledge-Based Approach to Overcome Structural Differences in Object Oriented Database Integration. 265-304
Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas: Object-Oriented Conceptual Modeling from Law. 305-327
J. Shao, David A. Bell, M. Elizabeth C. Hull: LQL: A Unified Language for Deductive Database Systems. 329-343
Chang-jie Tang, Bowen Yin: Data Dependency and Undecidability in a Model of Historical Information System. 345-353
Steven Twine: Representing Facts in KEE's Frame Language. 355-398
Wan Jian-cheng, Zhou Cheng-hua: MEX-1: An Expert System Shell. 399-410
Roel Wieringa, Reind P. van de Riet: Algebraic Specification of Object Dynamics in Knowledge Base Domains. 411-436
Rolf Wohed: Diagnosis of Conceptual Schemas. 437-456
Carlo Zaniolo, Domenico Saccà: Rule Rewriting Methods in the Implementation of the Logic Language LDL. 457-483
Chenxi Zhang, Tzu Yungui: A Model for Maintaining Compiled Prolog Databases. 485-498
Zhou Lizhu, Yang Deyuan, Fan Zhengping, Zhu Liping: QKBMS/75 - A Knowledge Base Management System Growing from Relational DBMS and Logic Programming Language. 499-507

Short Papers

Alfs T. Berztiss: On Information-Control Systems, Object Orientation, and Expert Systems. 509-518
Robert Demolombe, Arantza Illarramendi, José Miguel Blanco: Semantic Optimization in Data Bases Using Artificial Intelligence Techniques. 519-528
Walter D. Potter, Donald Nute: d-KDL: An EDS Environment Incorporating Defeasible Reasoning. 529-538
Ulrich Reimer: On Enriching the Semantics of Knowledge Representation Models: A Claim and an Approach. 539-546
Bogong Su, Chunyi Shi, Kehong Wang, Peng Hu, Hao Shi, Jian Wang: The Architecture of a Distributed Knowledge Base System. 547-556
Jun Shao, Qingda Yao: A Knowledge-Based Query Optimization System. 557-566
Frans Van Assche, Pericles Loucopoulos, G. Speltincx, Raf Venken: A Declarative Approach to the Dynamics of Information Systems. 567-574
Yi Zheng, Chih-Sung Tang: To Connect the Informal Graphical Design Methodology with the formal Specification in Information System Design. 575-583