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 20 of 544 for “"deductive"”.
-
Negation in logic and deductive databases
This thesis studies negation in logic and deductive databases. Among other things, two kinds of negation are discussed in detail: strong negation and nonmonotonic negation. In the logic part, we have constructed a first-order logic CF 0 of strong negation with bounded quantifiers. The logic is …
-
Automated deductive verification of systems software
… importance. This thesis explores automated deductive verification for increasing reliability and security of systems software. The thesis is comprised of the three main threads. The first thread describes how the state-of-the art deductive verification techniques can help in developing more …
-
DJ: Bridging Java and Deductive Databases
… These trends revitalized the interest in deductive databases and highlighted the need for column-oriented data storage. However, programming technologies for enterprise computing were designed for the relational data management model (i.e., row-oriented data storage). Therefore, developers …
-
Inductive and Deductive Synthesis for Database Applications
Program synthesis is a promising method for building efficient, flexible software by deriving low-level implementations from high-level specifications. In this thesis, I use programming-languages techniques to develop systems for synthesizing high-performance, specialized software and to build …
-
Towards a generalized theory of deductive databases with uncertainty
Uncertainty management is identified as a challenging issue in databases [SSU91]. Logic database programming, with its declarative advantage and its powerful top-down and bottom-up query processing techniques has attracted the attention of researchers, and numerous logic frameworks with uncertainty …
-
Agent problem solving by inductive and deductive program synthesis
… at AI program synthesis have taken a purely deductive approach to building provably corrent programs. This approach requires many axioms and non-trivial interaction with a human programmer. In contrast, this thesis introduces a new approach called SSGP (Sample Solve Generalize Prove), which …
-
Modelling a Fractionated System of Deductive Reasoning over Categorical Syllogisms
The study of deductive reasoning has been a major research paradigm in psychology for decades. Recent additions to this literature have focused heavily on neuropsychological evidence. Such a practice is useful for identifying regions associated with particular functions, but fails to clearly define …
-
The comparison of inductive and deductive methods of teaching high school chemistry
Thesis (Ed.D.)--Boston University
-
Bottom-up evaluation of HiLog in the context of deductive database systems
… of Horn-clause HiLog as a query language for deductive databases by investigating the feasibility of adapting well-established Datalog evaluation algorithms for the evaluation of HiLog programs. Each of the evaluation algorithms examined in the work is formally described and verified in terms …
-
Formal verification of analog and mixed signal circuits using deductive and bounded approaches
… Lock Loop (PLL) circuit are presented: mixed deductivebounded and deductive-only verification approaches. The deductive-bounded approach uses Lyapunov-like certificates with bounded advection of sets to verify the inevitability of phase locking. The deductive-only technique uses a combination …
-
How Primary School Students' Arguments Develop: Taking Initial Steps in a Deductive Discourse
… use definitions and axioms and take logical, deductive steps to reach generalised conclusions. While expecting young students to provide formal proofs might be inappropriate, some research has shown that moving students beyond using empirical arguments to prove universal statements is …
-
Knowledge-based learning: Integration of deductive and inductive learning for knowledge base completion
To learn effectively, a system needs to use all the knowledge that is available. Explanation-based learning and similarity-based learning operate over a domain theory and a set of examples, respectively, but neither approach makes extensive use of both forms of knowledge. Many problems in …
-
Integration of Abductive and Deductive Inference Diagnosis Model and Its Application in Intelligent Tutoring System
… a diagnosis model, Integration of Abductive and Deductive Inference diagnosis model (IADI), in the light of the cognitive processes of human diagnosticians. In contrast with other diagnosis models, that are based on enumerating, tracking and classifying approaches, the IADI diagnosis model relies …
-
A Study in the Use of an Inductive-Deductive Audio-Lingual Approach to Teaching Standard English Usage
<p>If an aspect of the English teacher's job is to teach the non-standard speaker a different language (in part, at least), perhaps teachers should examine the process through which the child first learns his language. It would seem logical that this same process be followed as nearly as possible …
-
The Performance of Children With and Without Language Disorders on Perceptual, Inductive Reasoning, and Deductive Reasoning Cognitive Tasks
… solving skills required: inductive reasoning, deductive reasoning, and perceptual. The children without language disorders performed significantly better than the children with language disorders on each of the individual tasks. The group differences were greatest on the inductive tasks, …
-
The Teaching of The Limit and Derivative Concepts in Beginning Calculus by Combinations of Inductive and Deductive Approaches
Made available in DSpace on 2014-12-08T21:24:57Z (GMT). No. of bitstreams: 1 6901378.pdf: 8877627 bytes, checksum: 654ffe593f273af7aa88166b0520f2b0 (MD5) Previous issue date: 1968
-
Logic and the limits of explanation: the justification of deduction, Carrollian regress, logical validity and deductive inferential knowledge
… of deduction, Carrollian regress, and deductive inferential knowledge. Also, it is considered whether Lewis Carroll's tale of what the tortoise said to Achilles can be interpreted as suggesting an argument against the possibility of logically valid argument. Such an argument is …
Page 1 of 28