3441 search results - page 237 / 689 » Parallel Logic Programming Systems |
125
Voted
KI
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We compare three systems for the task of synthesising functional recursive programs, namely Adate, an approach through evolutionary computation, the classification learn...
161
Voted
ASP
2005
Springer
15 years 9 months ago
2005
Springer
Answer Set Programming (ASP) and propositional satisfiability (SAT) are closely related. In some recent work we have shown that, on a wide set of logic programs called “tight”...
111
click to vote
IEEEPACT
2007
IEEE
15 years 9 months ago
2007
IEEE
Continued scaling of CMOS technology to smaller transistor sizes makes modern processors more susceptible to both transient and permanent hardware faults. Circuitlevel techniques ...
154
click to vote
RTA
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. Declarative debugging is a semi-automatic technique that starts from an incorrect computation and locates a program fragment responsible for the error by building a tree ...
146
click to vote
ENTCS
2006
15 years 3 months ago
2006
This paper has the purpose of reviewing some of the established relationships between logic and concurrency, and of exploring new ones. Concurrent and distributed systems are noto...