The programming language GCLA—a definitional approach to logic programming
New Generation Computing
Theoretical Computer Science
Methodology and programming techniques in GCLA II
ELP'91 Conference Proceedings on Extensions of logic programming
GCLA II: a definitional approach to control
ELP'91 Conference Proceedings on Extensions of logic programming
FUDGETS: a graphical user interface in a lazy functional language
FPCA '93 Proceedings of the conference on Functional programming languages and computer architecture
A Functional Logic Programming Approach to Graphical User Interfaces
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
tu Prolog: A Light-Weight Prolog for Internet Applications and Infrastructures
PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
Similarity Measures for Structured Representations: A Definitional Approach
EWCBR '00 Proceedings of the 5th European Workshop on Advances in Case-Based Reasoning
A Definitional Approach to Functional Logic Programming
ELP '96 Proceedings of the 5th International Workshop on Extensions of Logic Programming
Program separation and definitional higher order programming
Computer Languages
Artificial Intelligence in Medicine
| Hi-index | 0.00 |
In 1995, the MedView project, based on a co-operation between computing science and clinical medicine was initiated. The overall aim of the project is to develop models, methods, and tools to support clinicians in their diagnostic work. Today, the system is in daily use at several clinics and the knowledge base created contains more than 2000 examination records from the involved clinics. Knowledge representation and reasoning within MedView uses a declarative model based on a theory of definitions. In order to be able to model knowledge declaratively and integrate reasoning into applications with GUIs a framework for definitional programming has been developed. We give an overview of the project and of how declarative programming techniques are integrated with industrial strength object-oriented programming tools to facilitate the development of real-world applications.