Results 301 to 310 of about 6,301,735 (343)
Some of the next articles are maybe not open access.
Induction as the Basis for Program Verification
IEEE Transactions on Software Engineering, 1976We will consider the inductive mechanisms in five techniques for verifying iterative/recursive program structures: inductive assertion, predicate transformers, subgoal induction, computation induction, and structural induction. We will discover that all five techniques can be justified by a single theorem about inductive proof techniques.
Reynolds, Charles, Yeh, Raymond T.
openaire +2 more sources
DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning
ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2021We present a system for inductive program synthesis called DreamCoder, which inputs a corpus of synthesis problems each specified by one or a few examples, and automatically derives a library of program components and a neural search policy that can be ...
Kevin Ellis +8 more
semanticscholar +1 more source
Inductive Synthesis of Logic Programs and Inductive Logic Programming
1994Inductive Logic Programming deals with the problem of generating logic programs from examples, normally given as ground atoms. We briefly survey older methods (Shapiro’s MIS and Plotkin’s least general generalizations) which have set the foundations of the field and inspired more recent top-down and bottom-up approaches, respectively.
Francesco Bergadano, Daniele Gunetti
openaire +1 more source
Phonotactics in Inductive Logic Programming
2004We examine the results of applying inductive logic programming (ILP) to a relatively simple linguistic task, that of recognizing monosyllables in one language. ILP is suited to linguistic problems given linguists' preference for formulating their theories in discrete rules, and because of ILP's ability to incorporate various background theories. But it
Nerbonne, J., Konstantopoulos, S.
openaire +2 more sources
Phi Delta Kappan, 2009
Universities working in collaboration with school districts have created programs that benefit both, as well as supporting novice teachers.
Carol Gilles +2 more
openaire +1 more source
Universities working in collaboration with school districts have created programs that benefit both, as well as supporting novice teachers.
Carol Gilles +2 more
openaire +1 more source
Bayesian Inductive Logic Programming
Proceedings of the seventh annual conference on Computational learning theory - COLT '94, 1994Inductive Logic Programming (ILP) involves the construction of first-order definite clause theories from examples and background knowledge. Unlike both traditional Machine Learning and Computational Learning Theory, ILP is based on lock-step development of Theory, Implementations and Applications.
openaire +1 more source
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
The Effectiveness of Induction Programs
Kappa Delta Pi Record, 1989(1989). The Effectiveness of Induction Programs. Kappa Delta Pi Record: Vol. 25, No. 4, pp. 117-119.
openaire +1 more source
Programming with Inductive and Co-Inductive Types
1992We look at programming with inductive and co-inductive datatypes, which are inspired theoretically by initial algebras and final co-algebras, respectively. A predicative calculus which incorporates these datatypes as primitive constructs is presented. This calculus allows reduction sequences which are significantly more efficient for two dual classes ...
openaire +1 more source