648 search results - page 60 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
150
click to vote
AI
2011
Springer
14 years 8 months ago
2011
Springer
This paper describes our methodology for building conformant planners, which is based on recent advances in the theory of action and change and answer set programming. The develop...
127
click to vote
EOR
2010
15 years 1 months ago
2010
Abstract: Probabilistically constrained problems, in which the random variables are finitely distributed, are nonconvex in general and hard to solve. The p-efficiency concept has b...
137
click to vote
JAR
2007
15 years 1 months ago
2007
As applications of description logics proliferate, efficient reasoning with knowledge bases containing many assertions becomes ever more important. For such cases, we developed a n...
127
click to vote
WORDS
2003
IEEE
15 years 6 months ago
2003
IEEE
Despite of the proliferation of object-oriented and component technology, their application to real-time operating systems (RTOS) has been limited since most design concerns in RT...
GECCO
2008
Springer
15 years 2 months ago
2008
Springer
We introduce potential fitness, a variant of fitness function that operates in the space of schemata and is applicable to tree-based genetic programing. The proposed evaluation ...