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.
Author(s): B. Walter, S. Benzschawel (auth.), Kai von Luck, Heinz Marburger (eds.)
Series: Lecture Notes in Computer Science 777
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1994
Language: English
Pages: 224
Tags: Models and Principles; Database Management; Artificial Intelligence (incl. Robotics); Data Structures
Complex structures in (deductive) database systems: Variables and open property sets....Pages 1-21
Object-oriented system specification using defaults....Pages 22-43
Terminologies and rules....Pages 44-63
Evolution towards, in, and beyond object databases....Pages 64-82
Expressive power and complexity of disjunctive datalog under the stable model semantics....Pages 83-103
Managing qualitative temporal information: Expressiveness vs. complexity....Pages 104-117
Database reasoning — A deductive framework for solving large and complex problems by means of subsumption....Pages 118-138
Theory reasoning in first order calculi....Pages 139-156
Modelling information systems as object societies....Pages 157-180
Conceptual modelling of large reusable knowledge bases....Pages 181-200
Tool integration in evolving information systems environments....Pages 201-220
