648 search results - page 22 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
115
click to vote
EPIA
2007
Springer
15 years 7 months ago
2007
Springer
Research in the field of examination timetabling has developed in two directions. The first looks at applying various methodologies to induce examination timetables. The second tak...
134
click to vote
AI
2011
Springer
14 years 8 months ago
2011
Springer
The concept of a stable model provided a declarative semantics for Prolog programs with negation as failure and became a starting point for the development of answer set programmi...
152
click to vote
ICLP
1994
Springer
15 years 5 months ago
1994
Springer
In many cases, a logic program can be divided into two parts, so that one of them, the \bottom" part, does not refer to the predicates de ned in the \top" part. The \bot...
125
click to vote
CCE
2004
15 years 1 months ago
2004
The Resource-Constrained Project Scheduling Problem(RCPSP) is a significant challenge in highly regulated industries, such as pharmaceuticals and agrochemicals, where a large numb...
122
click to vote
IJCAI
2007
15 years 2 months ago
2007
The definition of a stable model has provided a declarative semantics for Prolog programs with negation as failure and has led to the development of answer set programming. In th...