1445 search results - page 83 / 289 » Abstract Interpretation of Logic Programs |
111
click to vote
TGC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...
117
click to vote
LPNMR
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We present a declarative language, PP, for the specification of preferences between possible solutions (or trajectories) of a planning problem. This novel language allow...
128
click to vote
INTERSENSE
2006
ACM
15 years 9 months ago
2006
ACM
— Wireless sensor network (WSN) architectures often feature a (single) base station in charge of coordinating the application functionality. Although this assumption simplified ...
141
click to vote
EUROGP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we propose an approach to Genetic Programming based on code reuse and we test it in the design of combinational logic circuits at the gate-level. The circui...
119
click to vote
ECAI
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Most existing work on knowledge representation and reasoning assumes that the updating of beliefs is performed off-line, and that reasoning from the beliefs is performed ...