3973 search results - page 4 / 795 » Records for Logic Programming |
129
click to vote
ILP
2007
Springer
15 years 7 months ago
2007
Springer
In this chapter, we describe a view of statistical learning in the inductive logic programming setting based on kernel methods. The relational representation of data and background...
113
click to vote
SAS
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
109
Voted
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
A replay tool aiming to reproduce a program's execution interposes itself at an appropriate replay interface between the program and the environment. During recording, it log...
64
Voted
ASPLOS
2006
ACM
15 years 7 months ago
2006
ACM
84
Voted
ERLANG
2007
ACM
15 years 5 months ago
2007
ACM
