4370 search results - page 614 / 874 » Algebra of Logic Programming |
127
click to vote
FLOPS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper, we propose more flexible applicability conditions for the folding rule that increase the power of existing unfold/fold systems for normal logic programs. O...
132
Voted
IJCAI
2007
15 years 6 months ago
2007
In this paper we prove that the well-known correspondence between the forward-backward algorithm for hidden Markov models (HMMs) and belief propagation (BP) applied to HMMs can be...
157
click to vote
LANMR
2004
15 years 6 months ago
2004
In this paper some theoretical results in ASP are discussed in the context of application development. An application of ASP in collaborative learning is presented as a motivation....
120
click to vote
IJCAI
1993
15 years 5 months ago
1993
We study multiple predicate learning in an empirical setting. Problems with existing inductive logic programming approaches in this setting are sketched and an empirical ILP syste...
122
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract The Little-Hopfield neural network programmed with Horn clauses is studied. We argue that the energy landscape of the system, corresponding to the inconsistency function f...