1143 search results - page 71 / 229 » Abstract Syntax and Logic Programming |
131
Voted
ILP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Logic Programs with Annotated Disjunctions (LPADs) provide a simple and elegant framework for integrating probabilistic reasoning and logic programming. In this paper we ...
113
click to vote
ILP
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. Inductive Logic Programming (ILP) has been applied to discover rules governing the three-dimensional topology of protein structure. The data-set unifies two sources of in...
134
click to vote
ICML
1989
IEEE
15 years 6 months ago
1989
IEEE
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
108
click to vote
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
146
click to vote
PLILP
1995
Springer
15 years 5 months ago
1995
Springer
Abstract. Using higher-order functions is standard practice in functional programming, but most functional logic programming languages that have been described in the literature la...