3691 search results - page 63 / 739 » Bayesian Logic Programs |
115
Voted
EUROCAST
1994
Springer
15 years 4 months ago
1994
Springer
Logistic systems analysts use a wide array of modeling systems such as algebraic and logic programs. Two simple examples show how they mesh as Constraint Logic programs, emphasizin...
109
Voted
CORR
2010
Springer
15 years 21 days ago
2010
Springer
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...
125
Voted
CADE
2001
Springer
16 years 28 days ago
2001
Springer
101
Voted
AAAI
1990
15 years 1 months ago
1990
An equational approach to the synthesis of functional and logic programs is taken. Typically, a target program contains equations that are only true in the standard model of the g...
CADE
2001
Springer
16 years 28 days ago
2001
Springer
Abstract. Nontrivial meta-complexity theorems, proved once for a programming language as a whole, facilitate the presentation and analysis of particular algorithms. This paper give...