Sciweavers

2974 search results - page 23 / 595
» Model-Driven Constraint Programming
Sort
View
AMAI
2008
Springer
15 years 2 months ago
Integrating answer set programming and constraint logic programming
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...
Veena S. Mellarkod, Michael Gelfond, Yuanlin Zhang
ICLP
2010
Springer
15 years 6 months ago
Constraint Answer Set Programming Systems
Abstract. We present an integration of answer set programming and constraint processing as an interesting approach to constraint logic programming. Although our research is in a ve...
Christian Drescher
96
Voted
IPCO
2007
101views Optimization» more  IPCO 2007»
15 years 3 months ago
An Integer Programming Approach for Linear Programs with Probabilistic Constraints
James Luedtke, Shabbir Ahmed, George L. Nemhauser
OOPSLA
2004
Springer
15 years 7 months ago
C-SAW and genAWeave: a two-level aspect weaving toolsuite
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
Jeffrey G. Gray, Jing Zhang, Suman Roychoudhury, I...