1613 search results - page 12 / 323 » Functional and Constraint Logic Programming |
ICLP
1999
Springer
15 years 2 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
JAIR
2006
14 years 9 months ago
2006
We study properties of programs with monotone and convex constraints. We extend to these formalisms concepts and results from normal logic programming. They include the notions of...
PADL
1999
Springer
15 years 2 months ago
1999
Springer
PPDP
2000
Springer
15 years 1 months ago
2000
Springer
AAAI
2008
15 years 4 days ago
2008
We formulate loop formulas for logic programs with arbitrary constraint atoms, for the semantics based on conditional satisfaction. This provides a method for answer set computati...