Lecture Notes in Computer Science - Management and Processing of Complex Data Structures
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540578024, 9783540483359

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Expressive power and complexity of disjunctive datalog under the stable model semantics

Lecture Notes in Computer Science - Management and Processing of Complex Data Structures ◽

10.1007/3-540-57802-1_5 ◽

1994 ◽

pp. 83-103 ◽

Cited By ~ 6

Author(s):

Thomas Eiter ◽

Georg Gottlob ◽

Heikki Mannila

Keyword(s):

Expressive Power ◽

Stable Model

Download Full-text

Terminologies and rules

Lecture Notes in Computer Science - Management and Processing of Complex Data Structures ◽

10.1007/3-540-57802-1_3 ◽

1994 ◽

pp. 44-63

Author(s):

Hans-Jürgen Bürckert

Download Full-text

Conceptual modelling of large reusable knowledge bases

Lecture Notes in Computer Science - Management and Processing of Complex Data Structures ◽

10.1007/3-540-57802-1_10 ◽

1994 ◽

pp. 181-200 ◽

Cited By ~ 3

Author(s):

B. J. Wielinga ◽

A. Th. Schreiber

Keyword(s):

Knowledge Bases ◽

Conceptual Modelling

Download Full-text

Modelling information systems as object societies

Lecture Notes in Computer Science - Management and Processing of Complex Data Structures ◽

10.1007/3-540-57802-1_9 ◽

1994 ◽

pp. 157-180 ◽

Cited By ~ 1

Author(s):

Gunter Saake ◽

Thorsten Hartmann

Keyword(s):

Information Systems

Download Full-text

Complex structures in (deductive) database systems: Variables and open property sets

Lecture Notes in Computer Science - Management and Processing of Complex Data Structures ◽

10.1007/3-540-57802-1_1 ◽

1994 ◽

pp. 1-21

Author(s):

B. Walter ◽

S. Benzschawel

Keyword(s):

Database Systems ◽

Deductive Database ◽

Complex Structures ◽

Deductive Database Systems

Download Full-text

Database reasoning — A deductive framework for solving large and complex problems by means of subsumption

Lecture Notes in Computer Science - Management and Processing of Complex Data Structures ◽

10.1007/3-540-57802-1_7 ◽

1994 ◽

pp. 118-138 ◽

Cited By ~ 6

Author(s):

Werner Kießling ◽

Ulrich Güntzer

Keyword(s):

Complex Problems

Download Full-text

Theory reasoning in first order calculi

Lecture Notes in Computer Science - Management and Processing of Complex Data Structures ◽

10.1007/3-540-57802-1_8 ◽

1994 ◽

pp. 139-156

Author(s):

Ulrich Furbach

Keyword(s):

First Order ◽

Theory Reasoning

Download Full-text

Managing qualitative temporal information: Expressiveness vs. complexity

Lecture Notes in Computer Science - Management and Processing of Complex Data Structures ◽

10.1007/3-540-57802-1_6 ◽

1994 ◽

pp. 104-117

Author(s):

Bernhard Nebel ◽

Hans-Jürgen Bürckert

Keyword(s):

Temporal Information

Download Full-text

Object-oriented system specification using defaults

Lecture Notes in Computer Science - Management and Processing of Complex Data Structures ◽

10.1007/3-540-57802-1_2 ◽

1994 ◽

pp. 22-43 ◽

Cited By ~ 1

Author(s):

Udo W. Lipeck ◽

Stefan Brass

Keyword(s):

Object Oriented ◽

System Specification ◽

Oriented System

Download Full-text

Tool integration in evolving information systems environments

Lecture Notes in Computer Science - Management and Processing of Complex Data Structures ◽

10.1007/3-540-57802-1_11 ◽

1994 ◽

pp. 201-220 ◽

Cited By ~ 4

Author(s):

Matthias Jarke ◽

Hans W. Nissen ◽

Klaus Pohl

Keyword(s):

Information Systems ◽

Tool Integration

Download Full-text

Lecture Notes in Computer Science - Management and Processing of Complex Data StructuresLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Expressive power and complexity of disjunctive datalog under the stable model semantics

Terminologies and rules

Conceptual modelling of large reusable knowledge bases

Modelling information systems as object societies

Complex structures in (deductive) database systems: Variables and open property sets

Database reasoning — A deductive framework for solving large and complex problems by means of subsumption

Theory reasoning in first order calculi

Managing qualitative temporal information: Expressiveness vs. complexity

Object-oriented system specification using defaults

Tool integration in evolving information systems environments

Lecture Notes in Computer Science - Management and Processing of Complex Data Structures
Latest Publications