599 search results - page 24 / 120 » Integrating answer set programming and constraint logic prog... |
158
click to vote
CC
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. Flow logic offers a compact and versatile notation for expressing the acceptability of solutions to program analysis problems. In contrast to previous logical formulation...
142
click to vote
PADL
2005
Springer
15 years 8 months ago
2005
Springer
We describe the design of the OLPS system, an implementation of the preferred answer set semantics for ordered logic programs. The basic algorithm we propose computes the extended ...
132
Voted
ICLP
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
119
click to vote
AAAI
2004
15 years 4 months ago
2004
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance boo...
159
click to vote
NMR
2004
Springer
15 years 8 months ago
2004
Springer
The relation between answer set programming (ASP) and propositional satisfiability (SAT) is at the center of many research papers, partly because of the tremendous performance bo...