Skip to search formSkip to main contentSkip to account menu

Domain theory

Known as: Domain, Way-below relation 
Domain theory is a branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called domains. Consequently, domain… 
Wikipedia (opens in a new tab)

Related topics

Related topics

30 relations
Actor modelActor model and process calculiCategory theoryComputer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Adolescent and adult reasoning about gender roles and fairness in Benin, West Africa
2006
2006
Interplay of cost and adoption of tele-medicine in Sub-Saharan Africa: The case of tele-cardiology in Ethiopia
Abstract...the barriers to diffusion of Tele-Medicine are not entirely technical. Cost has to simultaneously satisfy a number of… 
2000
2000
Building Decision Support Systems in Discretionary Legal Domains
The construction of intelligent legal decision support systems in discretionary domains will enhance consistent decision-making… 
1996
1996
Application of Formal Concept Analysis to Information Retrieval Using a Hierarchically Structured Thesaurus
Our trial uses a set of 9,000 patient medical discharge summaries from the Thorasic unit at the Royal Adelaide Hospital. The… 
Highly Cited
1995
Highly Cited
1995
A formal analysis of parametric design problem solving
A formal analysis of the problem of parametric design is given on the basis of the competence-theory approach to problem solving… 
1994
1994
Learning Explanation-Based Search Control Rules for Partial Order Planning
This paper presents SNLP+EBL, the first implementation of explanation based learning techniques for a partial order planner. We… 
1992
1992
An object-oriented refinement calculus with modular reasoning
In this thesis, the refinement calculus is extended to support a variety of object-oriented programming styles. The late binding… 
1991
1991
Abstract interpretation of functional languages: from theory to practice
Interpretation of Functional Languages: From Theory to Practice 
1989
1989
Using Determinations in EBL: A Solution to the incomplete Theory Problem
1989
1989
Program Derivation Using Analogy
We present a methodology for using analogy to derive programs based on a derivational transformation method. The derived programs… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)