4370 search results - page 134 / 874 » Algebra of Logic Programming |
105
Voted
CORR
2010
Springer
15 years 17 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...
135
Voted
ENTCS
2006
15 years 14 days 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...
123
Voted
CADE
2001
Springer
16 years 23 days ago
2001
Springer
98
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...
98
Voted
ICTAI
2007
IEEE
15 years 6 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...