Artificial intelligence in databases and information systems (DS-3): 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, Guagzhou, PR China, 4 - 8 July, 1988
Gespeichert in:
| Format: | Tagungsbericht Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Amsterdam u.a.
North-Holland
1990
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Literaturangaben |
| Beschreibung: | XIII, 583 S. Ill., graph. Darst. |
| ISBN: | 0444886451 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV005617880 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 921022s1990 xx ad|| |||| 10||| engod | ||
| 020 | |a 0444886451 |9 0-444-88645-1 | ||
| 035 | |a (OCoLC)440942349 | ||
| 035 | |a (DE-599)BVBBV005617880 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-91G |a DE-739 | ||
| 084 | |a DAT 700f |2 stub | ||
| 084 | |a DAT 703f |2 stub | ||
| 084 | |a DAT 600f |2 stub | ||
| 245 | 1 | 0 | |a Artificial intelligence in databases and information systems (DS-3) |b 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, Guagzhou, PR China, 4 - 8 July, 1988 |c ed. by Robert A. Meersman ... |
| 264 | 1 | |a Amsterdam u.a. |b North-Holland |c 1990 | |
| 300 | |a XIII, 583 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Literaturangaben | ||
| 650 | 4 | |a umetna inteligenca - baze podatkov - informacijski sistemi | |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informationssystem |0 (DE-588)4072806-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Wissensbanksystem |0 (DE-588)4225711-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1988 |z Kanton Stadt |2 gnd-content | |
| 689 | 0 | 0 | |a Wissensbanksystem |0 (DE-588)4225711-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 1 | 1 | |a Informationssystem |0 (DE-588)4072806-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Meersman, Robert |d 1947- |e Sonstige |0 (DE-588)1043182934 |4 oth | |
| 711 | 2 | |a Working Conference on The Role of Artificial Intelligence in Databases and Information Systems |n 3 |d 1988 |c Kanton, Stadt |j Sonstige |0 (DE-588)5045810-3 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung TU Muenchen |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003515843&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-003515843 | |
Datensatz im Suchindex
| _version_ | 1820868310032449536 |
|---|---|
| adam_text |
TABLE OF CONTENTS
Editor'
s
Foreword and Introduction
vii
Programme Committee and Invited Speakers
ix
Invited Lectures
Knowledge about Knowledge in Databases
J. McCarthy
1
Integrity Constraints for Knowledge Bases
R.
Reiter
3
Discussion on
Integrity Constraints for Knowledge Bases
R.
Reiter
13
Knowledge Representation in Databases, Expert Systems,
and Natural Language
J.F.
Sowa
17
Discussion on
Knowledge Representation in Databases, Expert Systems,
and Natural Language
J.F.
Sowa
45
Full Papers
Information Systems Design
:
An Expert System Approach
C. Cauvet, C. Proix, and C.
Rolland
51
Logical Support for Reasoning about the Specification
and the Elaboration of Requirements
E.
Dubois
79
Inheritances with Exceptions: An Approach Based on
Semantic Tolerance
С
Esculier
99
Knowledge-Based Information Analysis Support
E.D.
Falkenberg,
H.
van
Kempen,
and
N. Mimpen 113
A Self-Referential Data Model of Knowledge
Y.J. Jiang
129
Integrating Advanced Techniques into Multimedia DBMS
V.Y. Lum, C.T. Wu, and D.K. Hsiao
169
HITKMS:
A Knowledge Base Machine System Supporting
Cooperative Expert-System and Experiential Learning
Mingzeng
Hu, Tong Qin,
Yao Wang, and Xiangjun Song
193
Heuristic Control on Dynamic Database Objects
G.T. Nguyen and D. Rieu
205
Temporal Reasoning in Data Base
Wei Qian and Zhaokeng Zhao
223
The Role of
AI in
Databases versus the Role of
Database Theory in
AI
:
An Opinion
E.A.
Rundensteiner 233
The Design of a Knowledge Based Economic Modeling
Tool (EMT) Prototype
J.
Schiff 253
A Knowledge-Based Approach to Overcome Structural
Differences in Object Oriented Database Integration
M. Schrefl and E.J. Neuhold
265
Object-Oriented Conceptual Modeling from Law
C. Sernadas, J. Fiadeiro, and A. Sernadas
305
LQL: A Unified Language for Deductive Database Systems
J. Shao, D.A. Bell, and
M.E.C.
Hull
329
Data Dependency and Undecidability in a Model of
Historical Information System
Changjie Tang and Bowen Yin
345
Representing Facts in KEE'
s
Frame Language
S
.
Twine
355
MEX-1
:
An Expert System Shell
Wan Jian-Cheng and Zhou Cheng-Hua
399
Algebraic Specification of Object Dynamics in
Knowledge Base Domains
R. Wieringa and R. van
de Riet 411
Diagnosis of Conceptual
Schemas
R.
Wohed 437
Rule Rewriting Methods in the Implementation of
the Logic Data Language LDL
C. Zaniolo and D.
Sacca
457
A Model for Maintaining Compiled Prolog Databases
Zhang Chenxi and Tzu Yungui
4 85
QKBMS/75
-
A Knowledge Base Management System Growing
from Relational DBMS and Logic Programming Language
Zhou Lizhu, Yang
Deyuan, Fan
Zhengping, and Zhu Liping
499
Short
Papers
On Information-Control Systems, Object Orientation,
and Expert Systems
A.T. Berztiss
509
Semantic Optimization in Data Bases Using Artificial
Intelligence Techniques
R. Demolombe, A. Illarramendi, and J.M. Blanco
519
d-KDL: An EDS Environment Incorporating Defeasible
Reasoning
W.D. Potter and D.
Nute 529
On Enriching the Semantics of Knowledge Representation
Models
:
A Claim and an Approach
U.
Reimer 539
The Architecture of a Distributed Knowledge Base System
Bogong
Su,
Cnunyi Shi, Kehong Wang, Peng Hu,
Hao Shi, and
Jian
Wang
547
A Knowledge-Based Query Optimization System
Jun Shao
and Qingda Yao
557
A Declarative Approach to the Dynamics of Information
Systems
F. Van Assche, P. Loucopoulos, G. Speltincx,
and R. Venken
567
To Connect the Informal Graphical Design Methodology with
the Formal Specification in Information System Design
Yi Zheng and Chih-Sung Tang
575 |
| any_adam_object | 1 |
| author_GND | (DE-588)1043182934 |
| building | Verbundindex |
| bvnumber | BV005617880 |
| classification_rvk | SS 1988 |
| classification_tum | DAT 700f DAT 703f DAT 600f |
| ctrlnum | (OCoLC)440942349 (DE-599)BVBBV005617880 |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 c 4500</leader><controlfield tag="001">BV005617880</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">921022s1990 xx ad|| |||| 10||| engod</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444886451</subfield><subfield code="9">0-444-88645-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)440942349</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV005617880</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 700f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 703f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 600f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Artificial intelligence in databases and information systems (DS-3)</subfield><subfield code="b">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, Guagzhou, PR China, 4 - 8 July, 1988</subfield><subfield code="c">ed. by Robert A. Meersman ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam u.a.</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1990</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIII, 583 S.</subfield><subfield code="b">Ill., graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturangaben</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">umetna inteligenca - baze podatkov - informacijski sistemi</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informationssystem</subfield><subfield code="0">(DE-588)4072806-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Wissensbanksystem</subfield><subfield code="0">(DE-588)4225711-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">1988</subfield><subfield code="z">Kanton Stadt</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Wissensbanksystem</subfield><subfield code="0">(DE-588)4225711-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Informationssystem</subfield><subfield code="0">(DE-588)4072806-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Meersman, Robert</subfield><subfield code="d">1947-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1043182934</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Working Conference on The Role of Artificial Intelligence in Databases and Information Systems</subfield><subfield code="n">3</subfield><subfield code="d">1988</subfield><subfield code="c">Kanton, Stadt</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)5045810-3</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003515843&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-003515843</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1988 Kanton Stadt gnd-content |
| genre_facet | Konferenzschrift 1988 Kanton Stadt |
| id | DE-604.BV005617880 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T13:22:20Z |
| institution | BVB |
| institution_GND | (DE-588)5045810-3 |
| isbn | 0444886451 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-003515843 |
| oclc_num | 440942349 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-739 |
| owner_facet | DE-91G DE-BY-TUM DE-739 |
| physical | XIII, 583 S. Ill., graph. Darst. |
| publishDate | 1990 |
| publishDateSearch | 1990 |
| publishDateSort | 1990 |
| publisher | North-Holland |
| record_format | marc |
| spelling | Artificial intelligence in databases and information systems (DS-3) 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, Guagzhou, PR China, 4 - 8 July, 1988 ed. by Robert A. Meersman ... Amsterdam u.a. North-Holland 1990 XIII, 583 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Literaturangaben umetna inteligenca - baze podatkov - informacijski sistemi Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Informationssystem (DE-588)4072806-7 gnd rswk-swf Wissensbanksystem (DE-588)4225711-6 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1988 Kanton Stadt gnd-content Wissensbanksystem (DE-588)4225711-6 s DE-604 Künstliche Intelligenz (DE-588)4033447-8 s Informationssystem (DE-588)4072806-7 s Meersman, Robert 1947- Sonstige (DE-588)1043182934 oth Working Conference on The Role of Artificial Intelligence in Databases and Information Systems 3 1988 Kanton, Stadt Sonstige (DE-588)5045810-3 oth Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003515843&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Artificial intelligence in databases and information systems (DS-3) 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, Guagzhou, PR China, 4 - 8 July, 1988 umetna inteligenca - baze podatkov - informacijski sistemi Künstliche Intelligenz (DE-588)4033447-8 gnd Informationssystem (DE-588)4072806-7 gnd Wissensbanksystem (DE-588)4225711-6 gnd |
| subject_GND | (DE-588)4033447-8 (DE-588)4072806-7 (DE-588)4225711-6 (DE-588)1071861417 |
| title | Artificial intelligence in databases and information systems (DS-3) 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, Guagzhou, PR China, 4 - 8 July, 1988 |
| title_auth | Artificial intelligence in databases and information systems (DS-3) 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, Guagzhou, PR China, 4 - 8 July, 1988 |
| title_exact_search | Artificial intelligence in databases and information systems (DS-3) 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, Guagzhou, PR China, 4 - 8 July, 1988 |
| title_full | Artificial intelligence in databases and information systems (DS-3) 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, Guagzhou, PR China, 4 - 8 July, 1988 ed. by Robert A. Meersman ... |
| title_fullStr | Artificial intelligence in databases and information systems (DS-3) 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, Guagzhou, PR China, 4 - 8 July, 1988 ed. by Robert A. Meersman ... |
| title_full_unstemmed | Artificial intelligence in databases and information systems (DS-3) 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, Guagzhou, PR China, 4 - 8 July, 1988 ed. by Robert A. Meersman ... |
| title_short | Artificial intelligence in databases and information systems (DS-3) |
| title_sort | artificial intelligence in databases and information systems ds 3 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 guagzhou pr china 4 8 july 1988 |
| title_sub | 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, Guagzhou, PR China, 4 - 8 July, 1988 |
| topic | umetna inteligenca - baze podatkov - informacijski sistemi Künstliche Intelligenz (DE-588)4033447-8 gnd Informationssystem (DE-588)4072806-7 gnd Wissensbanksystem (DE-588)4225711-6 gnd |
| topic_facet | umetna inteligenca - baze podatkov - informacijski sistemi Künstliche Intelligenz Informationssystem Wissensbanksystem Konferenzschrift 1988 Kanton Stadt |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=003515843&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT meersmanrobert artificialintelligenceindatabasesandinformationsystemsds3proceedingsoftheifiptc2tc8wg26wg81workingconferenceontheroleofartificialintelligenceindatabasesandinformationsystemsguagzhouprchina48july1988 AT workingconferenceontheroleofartificialintelligenceindatabasesandinformationsystemskantonstadt artificialintelligenceindatabasesandinformationsystemsds3proceedingsoftheifiptc2tc8wg26wg81workingconferenceontheroleofartificialintelligenceindatabasesandinformationsystemsguagzhouprchina48july1988 |