6554 search results - page 905 / 1311 » Constraint Logic Programming |
169
click to vote
PPDP
2005
Springer
16 years 7 days ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
154
click to vote
ECAI
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. This paper presents a framework that integrates three aspects of agency: planning, for proactive behaviour, negotiation, for social behaviour and resource achievement, an...
177
click to vote
LOPSTR
2004
Springer
16 years 4 days ago
2004
Springer
We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the mos...
167
click to vote
TPHOL
2003
IEEE
16 years 1 days ago
2003
IEEE
Abstract. Polytypic functions have mainly been studied in the context of functional programming languages. In that setting, applications of polytypism include elegant treatments of...
163
click to vote
ICLP
2003
Springer
15 years 12 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...