2263 search results - page 30 / 453 » The Use of Functional and Logic Languages in Machine Learnin... |
ICML
2010
IEEE
15 years 2 months ago
2010
IEEE
Markov logic networks (MLNs) use firstorder formulas to define features of Markov networks. Current MLN structure learners can only learn short clauses (4-5 literals) due to extre...
157
click to vote
CORR
2004
Springer
15 years 1 months ago
2004
Springer
Many functional logic languages are based on narrowing, a unification-based goal-solving mechanism which subsumes the reduction mechanism of functional languages and the resolutio...
AAAI
1998
15 years 2 months ago
1998
A key problem in text summarization is finding a salience function which determines what information in the source should be included in the summary. This paper describes the use ...
ICFP
2002
ACM
16 years 1 months ago
2002
ACM
Motivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and equivalence checker for the -calculus with products, sums...
CORR
2007
Springer
15 years 1 months ago
2007
Springer
This paper describes experiments on learning Dutch phonotactic rules using Inductive Logic Programming, a machine learning approach based on the notion of inverting resolution. Di...