4370 search results - page 134 / 874 » Algebra of Logic Programming |
CORR
2010
Springer
13 years 10 months 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...
ENTCS
2006
13 years 10 months ago
2006
It is a well-known fact that algorithms are often hidden inside mathematical proofs. If these proofs are formalized inside a proof assistant, then a mechanism called extraction ca...
CADE
2001
Springer
14 years 10 months ago
2001
Springer
AAAI
1990
13 years 11 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...
ICTAI
2007
IEEE
14 years 4 months ago
2007
IEEE
In this paper we consider the consistency problem of temporal or spatial qualitive constraint networks. A new encoding making it possible to represent and solve this problem in th...