Searching for "Domain Theory and Integration" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Domain Theory and Integration
- …Domain Theory and Integration Abbas Edalat Department of Computing Imperial College of Science…
- Cited by 51 (10 self) – Add To MetaCart
-
Complexity of Power Default Reasoning
- … propositional default logic. The key technique for our results is the use of Scott's domain theory to integrate…
- Cited by 10 (7 self) – Add To MetaCart
-
Defining and Building Domain-Oriented Software Development Environments
- … oriented software development environments, ontology, domain theory, software development environments…
- Add To MetaCart
-
Representation and Validation of Mechanically Generated Proofs Final Report
- … prover. The formalisation used the inverse limit construction of domain theory. The integration of set…
- Add To MetaCart
-
Controlling Water Reservoirs Using A Hybrid Intelligent Architecture
- … of the domain theory and incorporate it in its topology. At the end of the training phase, the final…
- Cited by 4 (3 self) – Add To MetaCart
-
Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems
- …, that generates efficient decision procedures for subtheories of the domain theory and then integrates them with a…
- Cited by 1 (0 self) – Add To MetaCart
-
Using Decision Procedures to Build Domain-Specific Deductive Synthesis Systems
- … for subtheories of the domain theory and then integrates them through an interface to a generalpurpose refutation…
- Cited by 2 (2 self) – Add To MetaCart
-
Applications of High-Performance Knowledge-Based Technology
- … the interoperability of many knowledge-based critiquers. The shared domain theories of the integrated system also…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 8.
