599 search results - page 45 / 120 » Integrating answer set programming and constraint logic prog... |
217
Voted
ICLP
2009
Springer
16 years 4 months ago
2009
Springer
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
145
Voted
LISP
2007
15 years 3 months ago
2007
In this paper we propose a new generic scheme CFLP(D ), intended as a logical and semantic framework for lazy Constraint Functional Logic Programming over a parametrically given co...
121
Voted
AMAI
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Recently, notions of equivalence for Answer Set Programming have been studied intensively and were shown to be beneficial for modular programming and automated optimizati...
121
click to vote
AI
2010
Springer
15 years 3 months ago
2010
Springer
Combining constraints using logical connectives such as disjunction is ubiquitous in constraint programming, because it adds considerable expressive power to a constraint language...
126
click to vote
CORR
2007
Springer
15 years 3 months ago
2007
Springer
In this paper we show that an arbitrary propositional theory, when interpreted under the answer sets semantics (called Equilibrium Logic for this general syntax), can always be re...