FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2135026825> ?p ?o ?g. }

• W2135026825 abstract "Answer Set Programming (ASP) is a purely-declarative logic programming language allowing for disjunction and nonmonotonic negation. The evaluation of ASP programs is traditionally carried out in two steps. In the first step an input program P undergoes the so-called instantiation (or grounding) process, which produces a program P' semantically equivalent to P, but not containing any variable; in turn, P' is evaluated by using a backtracking search algorithm in the second step. It is well-known that instantiation is important for the efficiency of the whole evaluation, might becomes a bottleneck in common situations, and is particularly crucial when huge input data has to be dealt with. In the last few years, several instantiators have been proposed but none of them is able to take advantage from the latest hardware offering SMP (Symmetric MultiProcessing) also for entry-level systems and PCs. This paper presents a new parallel version of the instantiator of DLV which is able to exploit the processing power offered by multi-core/multiprocessor SMP machines. In particular, the employed parallelization methods, load-balancing and granularity control heuristics, tailored for parallel ASP instantiation process are described. The results of an experimental analysis are also presented, which confirm that multi-core/multi-processor technology can be efficiently exploited for ASP instantiation." @default.
• W2135026825 created "2016-06-24" @default.
• W2135026825 creator A5013411309 @default.
• W2135026825 creator A5043436919 @default.
• W2135026825 creator A5052577422 @default.
• W2135026825 date "2010-01-01" @default.
• W2135026825 modified "2023-09-23" @default.
• W2135026825 title "A parallel ASP instantiator based on DLV" @default.
• W2135026825 cites W104995561 @default.
• W2135026825 cites W143827961 @default.
• W2135026825 cites W1481719343 @default.
• W2135026825 cites W1503579182 @default.
• W2135026825 cites W1507965739 @default.
• W2135026825 cites W1511336005 @default.
• W2135026825 cites W1512767 @default.
• W2135026825 cites W1520957705 @default.
• W2135026825 cites W1533970988 @default.
• W2135026825 cites W1539763149 @default.
• W2135026825 cites W1540492824 @default.
• W2135026825 cites W1544722557 @default.
• W2135026825 cites W1550517172 @default.
• W2135026825 cites W1552168992 @default.
• W2135026825 cites W1606891084 @default.
• W2135026825 cites W1639901403 @default.
• W2135026825 cites W1645675097 @default.
• W2135026825 cites W1712761282 @default.
• W2135026825 cites W1831966704 @default.
• W2135026825 cites W193474923 @default.
• W2135026825 cites W195976134 @default.
• W2135026825 cites W1967140769 @default.
• W2135026825 cites W1969965298 @default.
• W2135026825 cites W1976055110 @default.
• W2135026825 cites W1985974581 @default.
• W2135026825 cites W1992810975 @default.
• W2135026825 cites W2001029953 @default.
• W2135026825 cites W2004414305 @default.
• W2135026825 cites W2006141176 @default.
• W2135026825 cites W2011124182 @default.
• W2135026825 cites W2014287924 @default.
• W2135026825 cites W2043673291 @default.
• W2135026825 cites W2048746006 @default.
• W2135026825 cites W2056850725 @default.
• W2135026825 cites W2074154477 @default.
• W2135026825 cites W2076698873 @default.
• W2135026825 cites W2085084839 @default.
• W2135026825 cites W2099531973 @default.
• W2135026825 cites W2105869173 @default.
• W2135026825 cites W2115128204 @default.
• W2135026825 cites W2117839162 @default.
• W2135026825 cites W2139861604 @default.
• W2135026825 cites W2156470536 @default.
• W2135026825 cites W2160039748 @default.
• W2135026825 cites W2161955265 @default.
• W2135026825 cites W2162621793 @default.
• W2135026825 cites W2295882966 @default.
• W2135026825 cites W2951494809 @default.
• W2135026825 cites W3121534117 @default.
• W2135026825 cites W3204705986 @default.
• W2135026825 cites W48557582 @default.
• W2135026825 cites W91024833 @default.
• W2135026825 doi "https://doi.org/10.1145/1708046.1708060" @default.
• W2135026825 hasPublicationYear "2010" @default.
• W2135026825 type Work @default.
• W2135026825 sameAs 2135026825 @default.
• W2135026825 citedByCount "6" @default.
• W2135026825 countsByYear W21350268252012 @default.
• W2135026825 countsByYear W21350268252013 @default.
• W2135026825 crossrefType "proceedings-article" @default.
• W2135026825 hasAuthorship W2135026825A5013411309 @default.
• W2135026825 hasAuthorship W2135026825A5043436919 @default.
• W2135026825 hasAuthorship W2135026825A5052577422 @default.
• W2135026825 hasConcept C111919701 @default.
• W2135026825 hasConcept C127705205 @default.
• W2135026825 hasConcept C128838566 @default.
• W2135026825 hasConcept C149635348 @default.
• W2135026825 hasConcept C156884757 @default.
• W2135026825 hasConcept C165696696 @default.
• W2135026825 hasConcept C173608175 @default.
• W2135026825 hasConcept C177774035 @default.
• W2135026825 hasConcept C182620335 @default.
• W2135026825 hasConcept C199360897 @default.
• W2135026825 hasConcept C2780513914 @default.
• W2135026825 hasConcept C38652104 @default.
• W2135026825 hasConcept C41008148 @default.
• W2135026825 hasConcept C4822641 @default.
• W2135026825 hasConceptScore W2135026825C111919701 @default.
• W2135026825 hasConceptScore W2135026825C127705205 @default.
• W2135026825 hasConceptScore W2135026825C128838566 @default.
• W2135026825 hasConceptScore W2135026825C149635348 @default.
• W2135026825 hasConceptScore W2135026825C156884757 @default.
• W2135026825 hasConceptScore W2135026825C165696696 @default.
• W2135026825 hasConceptScore W2135026825C173608175 @default.
• W2135026825 hasConceptScore W2135026825C177774035 @default.
• W2135026825 hasConceptScore W2135026825C182620335 @default.
• W2135026825 hasConceptScore W2135026825C199360897 @default.
• W2135026825 hasConceptScore W2135026825C2780513914 @default.
• W2135026825 hasConceptScore W2135026825C38652104 @default.
• W2135026825 hasConceptScore W2135026825C41008148 @default.
• W2135026825 hasConceptScore W2135026825C4822641 @default.
• W2135026825 hasLocation W21350268251 @default.

• next