87 search results - page 2 / 18 » Analyzing Logic Programs with Dynamic Scheduling |
TOCL
2008
13 years 6 months ago
2008
ICLP
1997
Springer
13 years 11 months ago
1997
Springer
ICLP
2004
Springer
14 years 11 days ago
2004
Springer
Abstract. We study termination of logic programs with dynamic scheduling, as it can be realised using delay declarations. Following previous work, our minimum assumption is that de...
LOPSTR
2004
Springer
14 years 10 days ago
2004
Springer
Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been i...
WSC
2007
13 years 9 months ago
2007
There has long been a competition between simulation and optimization in the modeling of problems in transportation and logistics, machine scheduling and similar highdimensional p...