<電子ブック>
Management and Processing of Complex Data Structures : Third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28 - March 2, 1994. Proceedings / edited by Kai v. Luck, Heinz Marburger
(Lecture Notes in Computer Science. ISSN:16113349 ; 777)
版 | 1st ed. 1994. |
---|---|
出版者 | (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer) |
出版年 | 1994 |
本文言語 | 英語 |
大きさ | VII, 224 p : online resource |
著者標目 | Luck, Kai v editor Marburger, Heinz editor SpringerLink (Online service) |
件 名 | LCSH:Artificial intelligence LCSH:Computer science LCSH:Database management LCSH:Artificial intelligence -- Data processing 全ての件名で検索 FREE:Artificial Intelligence FREE:Models of Computation FREE:Database Management FREE:Data Science |
一般注記 | Complex structures in (deductive) database systems: Variables and open property sets -- Object-oriented system specification using defaults -- Terminologies and rules -- Evolution towards, in, and beyond object databases -- Expressive power and complexity of disjunctive datalog under the stable model semantics -- Managing qualitative temporal information: Expressiveness vs. complexity -- Database reasoning — A deductive framework for solving large and complex problems by means of subsumption -- Theory reasoning in first order calculi -- Modelling information systems as object societies -- Conceptual modelling of large reusable knowledge bases -- Tool integration in evolving information systems environments This volume presents the proceedings of the third workshop on Information Systems and Artificial Intelligence, organized by the German Computer Science Society. The 11 invited contributions by well known researchers and developers working in the fields of databases and knowledge representation systems are centered around the topic of management and processing of complex data structures; they give a representative snapshot of the state-of-the-art in this fruitful interdisciplinary research area important for further progress in both, information systems and artificial intelligence. Most of the papers stress the demands for new or extended formalisms and their deductive capabilities, including an analysis of their formal properties for managing complex structures HTTP:URL=https://doi.org/10.1007/3-540-57802-1 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9783540483359 |
|
電子リソース |
|
EB00225562 |