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
Full Papers
- Corine Cauvet, C. Proix, Colette Rolland:
Information Systems Design: An Expert System Approach.
51-78 BibTeX
- Eric Dubois:
Logical Support for Reasoning about the Specification and the Elaboration of Requirements.
79-98 BibTeX
- Christian Esculier:
Inheritances with Exceptions: An Approach Based on Semantic Tolerance.
99-111 BibTeX
- Eckhard D. Falkenberg, H. van Kempen, N. Mimpen:
Knowledge-Based Information Analysis Support.
113-128 BibTeX
- Y. J. Jiang:
A Self-Referential Data Model of Knowledge.
129-167 BibTeX
- Vincent Y. Lum, C. Thomas Wu, David K. Hsiao:
Integrating Advanced Techniques into Multimedia DBMS.
169-191 BibTeX
- Ming-Zeng Hu, Tong Qin, Yao Wang, Xiangjun Song:
HITKMS: A Knowledge Base Machine System Supporting Cooperative Expert-System and Experimential Learning.
193-203 BibTeX
- Gia Toan Nguyen, Dominique Rieu:
Heuristic Control on Dynamic Database Objects.
205-221 BibTeX
- Wei Qian, Zhaokeng Zhao:
Temporal Reasoning in Data Base.
223-232 BibTeX
- Elke A. Rundensteiner:
The Role of AI in Databases versus the Role of Database Theory in AI: An Opinion.
233-252 BibTeX
- Jack Schiff:
The Design of a Knowledge Based Economic Modeling Tool (EMT) Prototype.
253-264 BibTeX
- Michael Schrefl, Erich J. Neuhold:
A Knowledge-Based Approach to Overcome Structural Differences in Object Oriented Database Integration.
265-304 BibTeX
- Cristina Sernadas, José Luiz Fiadeiro, Amílcar Sernadas:
Object-Oriented Conceptual Modeling from Law.
305-327 BibTeX
- J. Shao, David A. Bell, M. Elizabeth C. Hull:
LQL: A Unified Language for Deductive Database Systems.
329-343 BibTeX
- Chang-jie Tang, Bowen Yin:
Data Dependency and Undecidability in a Model of Historical Information System.
345-353 BibTeX
- Steven Twine:
Representing Facts in KEE's Frame Language.
355-398 BibTeX
- Wan Jian-cheng, Zhou Cheng-hua:
MEX-1: An Expert System Shell.
399-410 BibTeX
- Roel Wieringa, Reind P. van de Riet:
Algebraic Specification of Object Dynamics in Knowledge Base Domains.
411-436 BibTeX
- Rolf Wohed:
Diagnosis of Conceptual Schemas.
437-456 BibTeX
- Carlo Zaniolo, Domenico Saccà:
Rule Rewriting Methods in the Implementation of the Logic Language LDL.
457-483 BibTeX
- Chenxi Zhang, Tzu Yungui:
A Model for Maintaining Compiled Prolog Databases.
485-498 BibTeX
- 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 BibTeX
Short Papers
- Alfs T. Berztiss:
On Information-Control Systems, Object Orientation, and Expert Systems.
509-518 BibTeX
- Robert Demolombe, Arantza Illarramendi, José Miguel Blanco:
Semantic Optimization in Data Bases Using Artificial Intelligence Techniques.
519-528 BibTeX
- Walter D. Potter, Donald Nute:
d-KDL: An EDS Environment Incorporating Defeasible Reasoning.
529-538 BibTeX
- Ulrich Reimer:
On Enriching the Semantics of Knowledge Representation Models: A Claim and an Approach.
539-546 BibTeX
- Bogong Su, Chunyi Shi, Kehong Wang, Peng Hu, Hao Shi, Jian Wang:
The Architecture of a Distributed Knowledge Base System.
547-556 BibTeX
- Jun Shao, Qingda Yao:
A Knowledge-Based Query Optimization System.
557-566 BibTeX
- Frans Van Assche, Pericles Loucopoulos, G. Speltincx, Raf Venken:
A Declarative Approach to the Dynamics of Information Systems.
567-574 BibTeX
- Yi Zheng, Chih-Sung Tang:
To Connect the Informal Graphical Design Methodology with the formal Specification in Information System Design.
575-583 BibTeX
Copyright © Sat May 16 23:07:27 2009
by Michael Ley (ley@uni-trier.de)
