Sciweavers

3973 search results - page 4 / 795
» Records for Logic Programming
Sort
View
ILP
2007
Springer
15 years 3 months ago
Learning with Kernels and Logical Representations
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...
Paolo Frasconi
SAS
2001
Springer
117views Formal Methods» more  SAS 2001»
15 years 1 months ago
Finite-Tree Analysis for Constraint Logic-Based Languages
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...
Roberto Bagnara, Roberta Gori, Patricia M. Hill, E...
SIGSOFT
2010
ACM
14 years 7 months ago
Language-based replay via data flow cut
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...
Ming Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Li...
ERLANG
2007
ACM
15 years 1 months ago
Introducing records by refactoring
László Lövei, Zoltán Hor...