7456 search results - page 126 / 1492 » Parallelism in Logic Programming |
89
Voted
IWOMP
2010
Springer
15 years 6 months ago
2010
Springer
128
Voted
TR
2008
15 years 2 months ago
2008
We consider the problem of maximizing the reliability of a series-parallel system given cost and weight constraints on the system. The number of components in each subsystem and th...
145
Voted
ASP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. We integrate an expressive class of description logics (DLs) and answer set programming by extending the latter to support inverted predicates and infinite domains, feat...
138
click to vote
ECSQARU
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
141
Voted
SOFTWARE
2011
14 years 9 months ago
2011
—In the multicore era, a major programming task will be to make programs more parallel. This is tedious because it requires changing many lines of code, and it is error-prone and...