648 search results - page 54 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
138
click to vote
JELIA
2010
Springer
14 years 12 months ago
2010
Springer
In previous work, the so-called Temporal Equilibrium Logic (TEL) was introduced. This formalism provides an extension of the Answer Set semantics for logic programs to arbirary the...
197
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
This paper presents a demand-driven, flow-insensitive analysis algorithm for answering may-alias queries. We formulate the computation of alias queries as a CFL-reachability probl...
149
click to vote
ALIFE
1999
15 years 1 months ago
1999
A novel machine language genetic programming system that uses one-dimensional core memories is proposed and simulated. The core is compared to a biochemical reaction space, and in ...
101
click to vote
BPM
2004
Springer
15 years 6 months ago
2004
Springer
Workflow designers experience considerable freedom in designing the smaller steps (or activities) within a process. An operational notion of activity cohesion and coupling may help...
AICCSA
2006
IEEE
15 years 7 months ago
2006
IEEE
The problem of optimally deploying a heterogeneous set of sensing devices in environments with differential surveillance requirements is presented. The problem is formulated in th...