3513 search results - page 478 / 703 » Super Logic Programs |
163
click to vote
ICLP
2003
Springer
15 years 10 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
110
click to vote
PADL
2001
Springer
15 years 10 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...
142
click to vote
PPDP
2001
Springer
15 years 10 months ago
2001
Springer
We define a transformation from a left-linear constructor-based conditional rewrite system into an overlapping inductively sequential rewrite system. This transformation is sound...
154
click to vote
TPHOL
1999
IEEE
15 years 9 months ago
1999
IEEE
Combining theorem proving and model checking o ers the tantalizing possibility of e ciently reasoning about large circuits at high levels of abstraction. We have constructed a syst...
149
click to vote
PADL
1999
Springer
15 years 9 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...