Results 321 to 330 of about 6,127,131 (339)

Phonotactics in Inductive Logic Programming

2004
We 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
John Nerbonne, Stasinos Konstantopoulos
openaire   +3 more sources

Programming with Inductive and Co-Inductive Types

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

Bayesian Inductive Logic Programming

Proceedings of the seventh annual conference on Computational learning theory - COLT '94, 1994
Inductive 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   +3 more sources

Support Vector Inductive Logic Programming [PDF]

, 2005
In this paper we explore a topic which is at the intersection of two areas of Machine Learning: namely Support Vector Machines (SVMs) and Inductive Logic Programming (ILP). We propose a general method for constructing kernels for Support Vector Inductive Logic Programming (SVILP).
Huma Lodhi, Stephen Muggleton, Ata Amini, Michael J.E. Sternberg   +3 more
openaire   +1 more source

Inductive methods for proving properties of programs

ACM SIGPLAN Notices, 1972
We have two main purposes in this paper. First, we clarify and extend known results about computation of recursive programs, emphasizing the difference between the theoretical and practical approaches. Secondly, we present and examine various known methods for proving properties of recursive programs. We discuss in detail two powerful inductive methods,
Jean Vuillemin, Zohar Manna, Stephen Ness   +2 more
openaire   +3 more sources

Inductive Programming

Encyclopedia of Machine Learning and Data Mining, 2017
P. Flener, Ute Schmid
semanticscholar   +1 more source

A Perspective on Inductive Logic Programming

1999
The state-of-the-art in inductive logic programming is surveyed by analyzing the approach taken by this field over the past 8 years. The analysis investigates the roles of 1) logic programming and machine learning, 2) theory, techniques and applications, and 3) various technical problems addressed within inductive logic programming.
openaire   +2 more sources

Logic Programming and Co-inductive Definitions

2000
This paper aims to define a complete semantics for a class of non-terminating logic programs. Standard approaches to deal with this problem consist in concentrating on programs where infinite derivations can be seen as computing, in the limit, some ”infinite object”. This is usually done by extending the domain of computation with infinite elements and
openaire   +2 more sources

Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers

Approaches and Applications of Inductive Programming, 2010
Ute Schmid, E. Kitzelmann, R. Plasmeijer, J. Hernández-Orallo   +3 more
semanticscholar   +1 more source

Programming by induction

Information Processing Letters, 1972
openaire   +2 more sources