Results 311 to 320 of about 6,127,131 (339)

Inductive Synthesis of Logic Programs and Inductive Logic Programming [PDF]

, 1994
Inductive 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

Some of the next articles are maybe not open access.

Related searches:

Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502)

Dagstuhl Reports, 2013
This report documents the program and the outcomes of Dagstuhl Seminar 13502 "Approaches and Applications of Inductive Programming". After a short introduction to inductive programming research, an overview of the talks and the outcomes of discussion ...
Sumit Gulwani, E. Kitzelmann, Ute Schmid
semanticscholar   +1 more source

DreamCoder: bootstrapping inductive program synthesis with wake-sleep library learning

ACM-SIGPLAN Symposium on Programming Language Design and Implementation, 2021
We 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, Catherine Wong, Maxwell Nye, Mathias Sablé-Meyer, Lucas Morales, Luke B. Hewitt, Luc Cary, Armando Solar-Lezama, J. Tenenbaum   +8 more
semanticscholar   +1 more source

Induction Programs That Work

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, Barbara Davis, Sheryl McGlamery   +2 more
openaire   +2 more sources

Inductive Logic Programming

2016
Proceedings of the 24th International Conference on Inductive Logic Programming, Nancy, France, September 14-16, 2014.
Davis, Jesse, Ramon, Jan
  +7 more sources

Cautious induction in inductive logic programming

1997
Many 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   +2 more sources

Grammar Induction as Substructural Inductive Logic Programming

2000
In this chapter we describe an approach to grammar induction based on categorial grammars: the EMILE algorithm. Categorial grammars are equivalent to context-free grammars. They were introduced by Ajduciewicz and formalised by Lambek. Technically they can be seen as a variant of the propositional calculus without structural rules.
de Haas, E., Adriaans, P.W.
openaire   +3 more sources

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   +2 more sources

QuickFOIL: Scalable Inductive Logic Programming

Proceedings of the VLDB Endowment, 2014
Inductive Logic Programming (ILP) is a classic machine learning technique that learns first-order rules from relational-structured data. However, to-date most ILP systems can only be applied to small datasets (tens of thousands of examples).
Qiang Zeng, J. Patel, David Page
semanticscholar   +1 more source

Inductive logic programming

New Generation Computing, 1991
A new research area, Inductive Logic Programming, is presently emerging. While inheriting various positive characteristics of the parent subjects of Logic Programming and Machine Learning, it is hoped that the new area will overcome many of the limitations of its forebears.
openaire   +2 more sources