648 search results - page 54 / 130 » Using Criticalities as a Heuristic for Answer Set Programmin... |
198
click to vote
JELIA
2010
Springer
15 years 4 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...
259
click to vote
POPL
2008
ACM
16 years 6 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...
197
click to vote
ALIFE
1999
15 years 5 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 ...
140
click to vote
BPM
2004
Springer
15 years 11 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...
136
click to vote
AICCSA
2006
IEEE
16 years 2 days 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...