ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    Building knowledge base management systems (1996)
    Springer
    The VLDB journal 5 (1996), S. 238-263 
    Details
    ISSN: 0949-877X
    Keywords: Key words:Knowledge base management systems – Storage management – Concurrency control – Constraint enforcement – Rule management
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract. Advanced applications in fields such as CAD, software engineering, real-time process control, corporate repositories and digital libraries require the construction, efficient access and management of large, shared knowledge bases. Such knowledge bases cannot be built using existing tools such as expert system shells, because these do not scale up, nor can they be built in terms of existing database technology, because such technology does not support the rich representational structure and inference mechanisms required for knowledge-based systems. This paper proposes a generic architecture for a knowledge base management system intended for such applications. The architecture assumes an object-oriented knowledge representation language with an assertional sublanguage used to express constraints and rules. It also provides for general-purpose deductive inference and special-purpose temporal reasoning. Results reported in the paper address several knowledge base management issues. For storage management, a new method is proposed for generating a logical schema for a given knowledge base. Query processing algorithms are offered for semantic and physical query optimization, along with an enhanced cost model for query cost estimation. On concurrency control, the paper describes a novel concurrency control policy which takes advantage of knowledge base structure and is shown to outperform two-phase locking for highly structured knowledge bases and update-intensive transactions. Finally, algorithms for compilation and efficient processing of constraints and rules during knowledge base operations are described. The paper describes original results, including novel data structures and algorithms, as well as preliminary performance evaluation data. Based on these results, we conclude that knowledge base management systems which can accommodate large knowledge bases are feasible.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/s007780050027
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    The software information base: A server for reuse (1995)
    Springer
    The VLDB journal 4 (1995), S. 1-43 
    Details
    ISSN: 0949-877X
    Keywords: Information storage and retrieval ; conceptual modeling ; software engineering ; object-oriented databases, reuse
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We present an experimental software repository system that provides organization, storage, management, and access facilities for reusable software components. The system, intended as part of an applications development environment, supports the representation of information about requirements, designs and implementations of software, and offers facilities for visual presentation of the soft-ware objects. This article details the features and architecture of the repository system, the technical challenges and the choices made for the system development along with a usage scenario that illustrates its functionality. The system has been developed and evaluated within the context of the ITHACA project, a technology integration/software engineering project sponsored by the European Communities through the ESPRIT program, aimed at developing an integrated reuse-centered application development and support environment based on object-oriented techniques.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01232471
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 3
    Electronic Resource
    Electronic Resource
    Higher order generalization and its application in program verification (2000)
    Springer
    Annals of mathematics and artificial intelligence 28 (2000), S. 107-126 
    Details
    ISSN: 1573-7470
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Mathematics
    Notes: Abstract Generalization is a fundamental operation of inductive inference. While first order syntactic generalization (anti–unification) is well understood, its various extensions are often needed in applications. This paper discusses syntactic higher order generalization in a higher order language λ2 [1]. Based on the application ordering, we prove that least general generalization exists for any two terms and is unique up to renaming. An algorithm to compute the least general generalization is also presented. To illustrate its usefulness, we propose a program verification system based on higher order generalization that can reuse the proofs of similar programs.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1018952121991
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 4
    Electronic Resource
    Electronic Resource
    Introduction (1994)
    Springer
    Applied intelligence 4 (1994), S. 107-108 
    Details
    ISSN: 1573-7497
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00872104
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 5
    Electronic Resource
    Electronic Resource
    Incremental Iterative Retrieval and Browsing for Efficient Conversational CBR Systems (2000)
    Springer
    Applied intelligence 12 (2000), S. 251-268 
    Details
    ISSN: 1573-7497
    Keywords: knowledge base technology ; case-based reasoning ; performance evaluation ; context-based iterative browsing and retrieval
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract A case base is a repository of past experiences that can be used for problem solving. Given a new problem, expressed in the form of a query, the case base is browsed in search of “similar” or “relevant” cases. Conversational case-based reasoning (CBR) systems generally support user interaction during case retrieval and adaptation. Here we focus on case retrieval where users initiate problem solving by entering a partial problem description. During an interactive CBR session, a user may submit additional queries to provide a “focus of attention”. These queries may be obtained by relaxing or restricting the constraints specified for a prior query. Thus, case retrieval involves the iterative evaluation of a series of queries against the case base, where each query in the series is obtained by restricting or relaxing the preceding query. This paper considers alternative approaches for implementing iterative browsing in conversational CBR systems. First, we discuss a naive algorithm, which evaluates each query independent of earlier evaluations. Second, we introduce an incremental algorithm, which reuses the results of past query evaluations to minimize the computation required for subsequent queries. In particular, the paper proposes an efficient algorithm for case base browsing and retrieval using database techniques for incremental view maintenance. In addition, the paper evaluates scalability of the proposed algorithm using its performance model. The model is created using algorithmic complexity and experimental evaluation of the system performance.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1008375309626
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 6
    Electronic Resource
    Electronic Resource
    Desert Island Column: A Trip to Carthea (2000)
    Springer
    Automated software engineering 7 (2000), S. 377-380 
    Details
    ISSN: 1573-7535
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1026506621627
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 7
    Electronic Resource
    Electronic Resource
    Requirements engineering: An educational dilemma (1995)
    Springer
    Automated software engineering 2 (1995), S. 343-351 
    Details
    ISSN: 1573-7535
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00871804
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 8
    Electronic Resource
    Electronic Resource
    Representing Software Engineering Knowledge (1997)
    Springer
    Automated software engineering 4 (1997), S. 291-317 
    Details
    ISSN: 1573-7535
    Keywords: knowledge representation ; software knowledge bases ; languages
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We argue that one important role that Artificial Intelligence can play in Software Engineering is to act as a source of ideas about representing knowledge that can improve the state-of-the-art in software information management, rather than just building intelligent computer assistants. Among others, such techniques can lead to new approaches for capturing, recording, organizing, and retrieving knowledge about a software system. Moreover, this knowledge can be stored in a software knowledge base, which serves as “corporate memory”, facilitating the work of developers, maintainers and users alike. We pursue this central theme by focusing on requirements engineering knowledge, illustrating it with ideas originally reported in (Greenspan et al., 1982; Borgida et al., 1993; Yu, 1993) and (Chung, 1993b). The first example concerns the language RML, designed on a foundation of ideas from frame- and logic-based knowledge representation schemes, to offer a novel (at least for its time) formal requirements modeling language. The second contribution adapts solutions of the frame problem originally proposed in the context of AI planning in order to offer a better formulation of the notion of state change caused by an activity, which appears in most formal requirements modeling languages. The final contribution imports ideas from multi-agent planning systems to propose a novel ontology for capturing organizational intentions in requirements modeling. In each case we examine alterations that have been made to knowledge representation ideas in order to adapt them for Software Engineering use.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1008627026003
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 9
    facet.materialart.
    Unknown
    A region-based formalism for picture processing (1981)
    Elsevier
    Details
    Publication Date: 1981-01-01
    Print ISSN: 0031-3203
    Electronic ISSN: 1873-5142
    Topics: Computer Science
    Published by Elsevier
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
  • 10
    facet.materialart.
    Unknown
    Ontologies for Knowledge Management: An Information Systems Perspective (2004)
    Springer
    Details
    Publication Date: 2004-07-01
    Print ISSN: 0219-1377
    Electronic ISSN: 0219-3116
    Topics: Computer Science
    Published by Springer
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    PAPER CURRENT
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...