7167 search results - page 821 / 1434 » Answer Set Programming |
186
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
150
click to vote
PPDP
2005
Springer
15 years 12 months ago
2005
Springer
Type checking and type inference are fundamentally similar problems. However, the algorithms for performing the two operations, on the same type system, often differ significant...
154
click to vote
VMCAI
2005
Springer
15 years 12 months ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
168
Voted
CC
2004
Springer
15 years 11 months ago
2004
Springer
In theory, increasing alias analysis precision should improve compiler optimizations on C programs. This paper compares alias analysis algorithms on scalar optimizations, including...
203
click to vote
NMR
2004
Springer
15 years 11 months ago
2004
Springer
The BDI model provides what it is possibly one of the most promising architectures for the development of intelligent agents, and has become one of the most studied and well known...