648 search results - page 38 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
109
click to vote
AAAI
2004
15 years 2 months ago
2004
In this paper we introduce the language Golog+HTNT I for specifying control using procedural and HTN-based constructs together with deadlines and time restrictions. Our language s...
109
click to vote
CASCON
2004
15 years 2 months ago
2004
For several reasons a database may not satisfy certain integrity constraints (ICs), for example, when it is the result of integrating several independent data sources. However, mo...
115
click to vote
HM
2007
Springer
15 years 5 months ago
2007
Springer
Optimization in sports is a field of increasing interest. A novel problem in sports management is the Referee Assignment Problem, in which a limited number of referees with differe...
128
click to vote
IJCAI
2001
15 years 2 months ago
2001
We are interested in semantical underpinnings for existing approaches to preference handling in extended logic programming (within the framework of answer set programming). As a s...
DISOPT
2007
15 years 1 months ago
2007
Finding a feasible solution of a given Mixed-Integer Programming (MIP) model is a very important (NP-complete) problem that can be extremely hard in practice. Very recently, Fisch...