There are three domains in domain theory. The first is the personal domain.
The third and final domain in domain theory is the conventional domain.
Gunter and Scott  is a recent exposition of Scott's domain theory. It contains a section on powerdomains, which were originally published in .
 combine domain theory with the causality structure of Petri nets.
Applied to the development of verbal disputes and justifications, these three lines would predict that (1) different types of verbal disputes would reflect different domains of knowledge, and therefore may have different developmental stories (domain theory); (2) children's strategies for justifications may be affected by changes in children's understanding of how the mind works between 3 and 5 (theory of mind); and (3) verbal disputes and justifications with adults may be at a higher developmental stage than verbal disputes and justifications with peers (zone of proximal development).
This classification was also motivated out of the concerns of the domain theory of cognitive and moral development (Turiel & Davidson, 1986).
In step 2, this domain mapping is used to initialize the target domain theory. For each source equation schema in the domain mapping, domain transfer via analogy replaces its types, predicates, and quantities with the corresponding expressions from the domain mapping.
In the nontransfer condition, after failing to solve a target problem, the equation schemas necessary to solve that problem were added directly to the system's target domain theory. Two experiments were performed: one with linear kinematics as the source and rotational kinematics as the target, and vice versa.
Is it always possible to automatically determine the profile for a class using only the domain theory
associated with elements of the class?
Heuristics reducing redundancy by eliminating synonyms: If an attribute is found in the feature set that is synonymous (as either discovered by HAMB or stated in the domain theory
) with another attribute in the feature set, the attribute with the lesser estimated interestingness is removed from the feature set.
Learning and Improving Domain Theory
Automated planning implies the presence of a domain theory--the descriptions of the actions available to the planner.
Most CBR approaches to planning that do not assume the existence of a complete domain theory
use transformational analogy for plan adaptation, although derivational analogy can also be used.