648 search results - page 27 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
107
Voted
GECCO
2007
Springer
15 years 7 months ago
2007
Springer
The bin packing problem (BPP) is a real-world problem that arises in different industrial applications related to minimization of space or time. The aim of this research is to au...
126
click to vote
IJHIS
2007
15 years 1 months ago
2007
This paper describes a new hybrid method based on the application of the Population Training Algorithm (PTA) and linear programming (LP) for generation of schedules for drivers in...
136
Voted
RULEML
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We extend Answer Set Programming with, possibly infinite, open domains. Since this leads, in general, to undecidable reasoning, we restrict the syntax of programs, while...
116
click to vote
COR
2011
14 years 8 months ago
2011
The task of scheduling communications between satellites and ground control stations is getting more and more critical since an increasing number of satellites must be controlled ...
102
click to vote
CLIMA
2004
15 years 2 months ago
2004
In this paper we extend the Revision Programming framework--a logic-based framework to express and maintain constraints on knowledge bases-with different forms of preferences. Pref...