3385 search results - page 465 / 677 » Language, Logic, and the Brain |
123
click to vote
PADL
2001
Springer
15 years 11 months ago
2001
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...
158
click to vote
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
This paper explores the question of when two propagationbased constraint systems have the same behaviour, in terms of search space. We categorise the behaviour of domain and bound...
159
click to vote
OORASE
1999
Springer
15 years 10 months ago
1999
Springer
This paper presents OpenJava, which is a macro system that we have developed for Java. With traditional macro systems designed for non object-oriented languages, it is difficult to...
169
click to vote
PADL
1999
Springer
15 years 10 months ago
1999
Springer
Abstract. One important advantage of logic programming is that it allows the implicit exploitation of parallelism. Towards this goal, we suggest that or-parallelism can be efficien...
167
click to vote
SCCC
1998
IEEE
15 years 10 months ago
1998
IEEE
The last few years have seen a renewal of interest in the consideration of dynamic programming in compiler technology. This is due to the compactness of the representations, which...