2084 search results - page 19 / 417 » Set Constraints in Logic Programming |
177
Voted
AMAI
1999
Springer
15 years 3 months ago
1999
Springer
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
106
Voted
ICALP
1991
Springer
15 years 7 months ago
1991
Springer
114
Voted
SAS
2005
Springer
15 years 9 months ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
167
Voted
ASP
2003
Springer
15 years 9 months ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
155
Voted
APLAS
2003
ACM
15 years 9 months ago
2003
ACM
We describe origami programming methodology based on constraint functional logic programming. The basic operations of origami are reduced to solving systems of equations which desc...