1097 search results - page 26 / 220 » Revision Programming = Logic Programming Integrity Constra... |
119
click to vote
LPNMR
2004
Springer
15 years 8 months ago
2004
Springer
We investigate a generalization of weight-constraint programs with stable semantics, as implemented in the ASP solver smodels. Our programs admit atoms of the form X, F where X is ...
135
click to vote
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...
104
Voted
ISMB
1994
15 years 3 months ago
1994
Thispaperdescribesthe applicationof the Inductive Logic Programming0LP) program GOLEMto the discoveryof constraintsin the packingof beta-sheets in alpha/betaproteins. Theseconstra...
124
click to vote
DATE
1997
IEEE
15 years 6 months ago
1997
IEEE
In modern computer systems the performance is dominated by the memory performance. Currently, there is neither a systematic design methodology nor a tool for the design of memory ...
126
Voted
ICLP
1995
Springer
15 years 6 months ago
1995
Springer
The semantics of constraint logic programming languages with coroutining facilities (\freeze," suspension, residuation, etc.) cannot be fully declarative; thus, an operationa...