Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"Logical Theory"”.
-
Logical presentations of domains
… combines a fairly general overview of domain theory with a detailed examination of recent work which establishes a connection between domain theory and logic. To start with, the theory of domains is developed with such issues as the semantics of recursion and iteration; the solution of …
-
An efficient projected minimal conflict generator for projected prime implicate and implicant generation
… compactly represent the consequences of a logical theory. Projection eliminates model variables and their associated prime implicates or implicants that do not contribute to the particular task. This elimination process reduces the size and number of variables appearing in the model and …
-
Eniatype: Transdisciplinary Practice for Methodologies of Communication
… of methodologies of communication through ecological design. Human communication and ecological accountability are inextricably linked in architectural design: the current global ecological crisis underscores this fundamental connection. Within architectural practice the communication from …
-
Practical Rewriting Techniques for Warded Ontology-Mediated Queries
… formalism for specifying ontologies, i.e., logical descriptions of a domain of interest. One of the main tasks in this context is Ontology-Mediated Query (OMQ) Answering. That is, given an Ontology-Mediated Query O = (q, Σ), comprising a TGD-based ontology Σ and a query q (usually a …