6554 search results - page 130 / 1311 » Constraint Logic Programming |
164
click to vote
EMO
2009
Springer
16 years 27 days ago
2009
Springer
To model combinatorial decision problems involving uncertainty and probability, we introduce stochastic constraint programming. Stochastic constraint programs contain both decision...
173
click to vote
OWLED
2007
15 years 7 months ago
2007
The use of background knowledge and the adoption of Horn clausal logic as a knowledge representation and reasoning framework are the distinguishing features of Inductive Logic Prog...
174
click to vote
CORR
2007
Springer
15 years 6 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...
173
click to vote
VMCAI
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Logics that involve collections (sets, multisets), and cardinality constraints are useful for reasoning about unbounded data structures and concurrent processes. To make ...
130
click to vote
EPIA
1995
Springer
15 years 10 months ago
1995
Springer
We provide a nine-valued logic to characterize the models of logic programs under a paraconsistent well-founded semantics with explicit negation WFSX p. We define a truth-function...