Results 261 to 270 of about 3,897,984 (301)
Some of the next articles are maybe not open access.
Cautious induction in inductive logic programming
1997Many top-down Inductive Logic Programming systems use a greedy, covering approach to construct hypotheses. This paper presents an alternative, cautious approach, known as cautious induction. We conjecture that cautious induction can allow better hypotheses to be found, with respect to some hypothesis quality criteria.
Simon Anthony, Alan M. Frisch
openaire +1 more source
Inductive knowledge acquisition and induction methodologies
Knowledge-Based Systems, 1989Knowledge acquisition will always remains a key problem in the development of knowledge-based systems. With this motivation, a divergent number of methodologies and associated issues are appearing in the literature. This paper looks at how certain induction theories and methodologies conform to the requirements of knowledge acquisition from the light ...
openaire +1 more source
Inductive Decidability Using Implicit Induction
2006Decision procedures are widely used in automated reasoning tools in order to reason about data structures. In applications, many conjectures fall outside the theory handled by a decision procedure. Often, reasoning about user-defined functions on those data structures is needed. For this, inductive reasoning has to be employed. In this work, classes of
Stephan Falke 0001, Deepak Kapur
openaire +1 more source
Inductive and non-inductive methods of clustering
2012 IEEE International Conference on Granular Computing, 2012This paper aims to overview a variety of methods of clustering by introducing the concepts of inductive and non-inductive clustering. These concepts are in parallel with the concepts of inductive and transductive learning in the studies of semi-supervised classification.
openaire +1 more source
Induction and Complete Induction
2015Induction and complete induction are defined and are related to each other. Examples are presented including formulas for sums and the proof that every positive integer can be represented as a product of powers of primes. The relationship between induction and the well-ordering of natural numbers is discussed. The binomial theorem is proven.
openaire +1 more source
Inductance and mutual inductance
1996The inductor is one of the basic building blocks upon which electrical and electronic circuits are founded, and form a springboard to important branches of the subject. The reader will gain confidence in dealing with problems relating to inductive circuits as he/she reads through this chapter.
openaire +1 more source