257 search results - page 22 / 52 » The Connectionist Inductive Learning and Logic Programming S... |
114
click to vote
JIIS
2008
15 years 2 months ago
2008
An ever greater range of applications call for learning from sequences. Grammar induction is one prominent tool for sequence learning, it is therefore important to know its proper...
126
click to vote
IEAAIE
2004
Springer
15 years 7 months ago
2004
Springer
This work presents the application of a first-order logic incremental learning system, INTHELEX, to learn rules for the automatic identification of a wide range of significant docu...
156
click to vote
CADE
1992
Springer
15 years 6 months ago
1992
Springer
Abstract. We exhibit a methodology for formulating and verifying metatheorems about deductive systems in the Elf language, an implementation of the LF Logical Framework with an ope...
115
click to vote
ICML
2000
IEEE
16 years 3 months ago
2000
IEEE
This paper introduces a foundation for inductive learning based on the use of higher-order logic for knowledge representation. In particular, the paper (i) provides a systematic i...
110
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
A concept learning framework for terminological representations is introduced. It is grounded on a method for inducing logic decision trees as an adaptation of the classic tree in...