Sökning: "Declarative Programming"
Visar resultat 21 - 25 av 30 avhandlingar innehållade orden Declarative Programming.
21. Issues in Structured Knowledge Representation A Definitional Approach with Application to Case-Based Reasoning and Medical Informatics
Sammanfattning : Several issues concerned with structured knowledge representation based on definitional structures are discussed: the realisation of knowledge-based systems using declarative programming, similarity assessment in knowledge representation and case-based reasoning, and the importance of human-computer interaction and information visualisation in knowledge-based systems. To illustrate the basic ideas, real-world applications from the area of oral medicine are used. LÄS MER
22. Horn clause logic with external procedures : towards a theoretical framework
Sammanfattning : Horn clause logic has certain properties which limit its usefulness as a programming language. In this thesis we concentrate on three such limitations: (1) Horn clause logic is not intended for the implementation of algorithms. LÄS MER
23. Aspect-Oriented Business Process Management
Sammanfattning : Separation of concerns has long been considered an effective and efficient strategy to deal with complexity in information systems.One sort of concern, like security and privacy, crosses over other concerns in a system. Such concerns are called cross-cutting concerns. LÄS MER
24. Performance Optimization Techniques and Tools for Distributed Graph Processing
Sammanfattning : In this thesis, we propose optimization techniques for distributed graph processing. First, we describe a data processing pipeline that leverages an iterative graph algorithm for automatic classification of web trackers. LÄS MER
25. GCLA : the design, use and implementation of a program development system
Sammanfattning : We present a program development system, GCLA (Generalized horn Clause LAnguage*), which is based on a generalization of Horn clauses (e.g. Prolog). This generalization takes a quite different view of the meaning of a logic program - a "definitional" view rather than the traditional logical view. LÄS MER