Management and processing of complex data structures : third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28-March 2, 1994 : proceedings

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 syste...

Description complète

Enregistré dans:
Détails bibliographiques
Collectivité auteur: Workshop on information systems and artificial intelligence :Hambourg
Autres auteurs: Luck, Kai von, 19..- (Directeur de la publication), Marburger, Heinz, 19..- (Directeur de la publication)
Format: Livre numérique
Langue:Anglais
Publié: Berlin [etc.] : Springer [20..].
Cham : Springer Nature
Collection:Lecture notes in computer science 777
Sujets:
Accès en ligne:Accès sur la plateforme de l'éditeur
Accès sur la plateforme Istex
Accès Université d'Orléans
Accès INSA CVL
Note: Archives Springer e-books (Licence nationale)
Archives Springer e-books (Licence nationale)
Autres localisations: Voir dans le Sudoc
Edition sous un autre format:• Management and processing of complex data structures, third Workshop on Information Systems and Artificial Intelligence, Hamburg, Germany, February 28-March 2, 1994, proceedings, Kai von Luck, Heinz Marburger, eds, Berlin, Springer-Verlag, 1994, 1 vol. (220 p.), Lecture notes in computer science, 0-387-57802-1
• Management and Processing of Complex Data Structures, Texte imprimé, 9783662169391
Table des matières:
  • 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.