3481 search results - page 17 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
EPIA
2005
Springer
14 years 1 months ago
2005
Springer
The paper studies reductions of propositional theories in equilibrium logic to logic programs under answer set semantics. Specifically we are concerned with the question of how to...
AGP
2010
IEEE
14 years 19 days ago
2010
IEEE
Constraint Logic Programming (CLP) is one of the most successful branches of Logic Programming; it attracts the interest of theoreticians and practitioners, and it is currently use...
ECAI
1998
Springer
13 years 11 months ago
1998
Springer
We present probabilistic logic programming under inheritance with overriding. This approach is based on new notions of entailment for reasoning with conditional constraints, which...
ERSHOV
2006
Springer
13 years 11 months ago
2006
Springer
We integrate a logic programming language into Meta-S, a flexible and extendable constraint solver cooperation system, by treating resolution as constraint solver. This new approac...
ICLP
2009
Springer
14 years 8 months ago
2009
Springer
