1613 search results - page 12 / 323 » Functional and Constraint Logic Programming |
140
click to vote
ICLP
1999
Springer
15 years 6 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...
122
Voted
JAIR
2006
15 years 2 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...
103
Voted
PADL
1999
Springer
15 years 6 months ago
1999
Springer
93
Voted
PPDP
2000
Springer
15 years 6 months ago
2000
Springer
121
Voted
AAAI
2008
15 years 4 months 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...